1. Universität
  2. Fakultäten
  3. Fakultät für Angewandte Informatik
  4. Institut für Software & Systems Engineering
  5. Software & Tools
  6. Das KIV System

Das KIV System

© Universität Augsburg

KIV ist eine Werkzeug zur formalen Systementwicklung und interaktiven Verifkation. Es kann eingesetzt werden z.B.

  1. für die Entwicklung von sicherheitskritischen Systemen (Safety) von der formalen Anforderungsspezifikation bis hin zu ausführbarem Code, einschließlich der Verifikation von Sicherheit und Korrektheit der Implementierung,
  2. zur semantischen Fundierung von Programmiersprachen von der Spezifikation der Semantik bis zu einem verifizierten Compiler,
  3. für die Definition von Security-Modellen und Architekturmodellen wie sie für die Zertifizierung nach ITSEC oder CC benötigt werden.
Einstieg

Besondere Sorgfalt legt KIV darauf, starke Beweisunterstützung für alle Verifikationsaufgaben zu bieten. KIV unterstützt große formale Modelle mit effizienten Beweistechniken und einer ergonomischen graphischen Benutzeroberfläche. KIV wurde in einer Reihe von industriellen Pilotanwendungen und Forschungsprojekten eingesetzt, ist aber auch nützlich als Werkzeug in Kursen zu formalen Methoden in der Lehre.

 

KIV ist in der Programmiersprache Scala programmiert und als Plugin in die Eclipse-Plattform integriert.

News

Installation in Eclipse

KIV ist ein Eclipse IDE Plugin, das von der unten angegebenen Update Seite installiert werden kann.

 

Installationsschritte

  1. Über die Eclipse Downloadseite ( https://www.eclipse.org/downloads/packages/release/2022-03/r) die Eclipse IDE for Java Developers herunterladen und installieren. Es sollte dabei die Version 2022-03 (4.23) gewählt werden, bei neueren Eclipse Versionen kann es vereinzelt zu Problemen kommen. Sollte es mit der Version 2022-03 (4.23) ebenfalls Probleme geben, kann auch auf die Oxygen Variante zurückgegriffen werden ( https://www.eclipse.org/downloads/packages/release/oxygen/3a).
  2. In Eclipse „Help“ → „Install New Software...“ wählen.
  3. Die Update Seite für KIV für Eclipse https://kiv.isse.de/releases/v10/stable/site angeben und die Features KIV Eclipse Integration und  KIV Standard Library mit allen notwendigen Abhänigkeiten wählen.
  4. Nach dem Neustart von Eclipse kann die KIV-Perspektive unter Window, dann Open Perspective → Other geöffnet werden.
  5. Die Kurzeinführung hilft beim Einstieg.

Für weitere Informationen kann auch die Eclipse Dokumentation "Updating and installing software" nützlich sein.

 

Voraussetzungen

  • Java 1.8 oder neuer
  • Eclipse Oxygen oder neuer (das Plugin wird in der auf Oxygen basierenden ScalaIDE entwickelt, weshalb andere Versionen aktuell weniger getestet sind)

 

Lizenzabkommen

Copyright (c) 2013-present Department of Software Engineering, Augsburg University KIV is copyrighted by University of Augsburg, Formal Methods group of the chair of Software Engineering (Prof. Reif). This license grants the signer a non-transferable and non-exclusive right to use KIV. This license is restricted to noncommercial use. KIV is provided on an "as is" basis, without warranty or liability of any kind. The Licensee agrees not to modify, or disassemble any of the software files KIV consists of. This license is free of charge.

 

Die KIV Installation beinhaltet mehrere Bibliotheken. Während der Installation werden Sie gefragt die jeweiligen Lizenzen ebenfalls zu akzeptieren.

Installation in Visual Studio Code

KIV ist inzwischen auch als Visual Studio Code Extension verfügbar. Diese umfasst allerdings noch nicht alle Features.

 

Installationsschritte

  1. Über die Visual Studio Code Webseite ( https://code.visualstudio.com/) die aktuellste Version herunterladen und installieren.
  2. Unter https://kiv.isse.de/releases/v10/vscode/latest/ die aktuellste Version der KIV Extension "kiv-editor-x.y.z.vsix" und der KIV Library Extension "kiv-library-x.y.z.vsix" herunterladen.
  3. In Visual Studio Code über die Navigationsleiste auf die „Extensions“-View wechseln.
  4. Unter„Views and More Actions...“ → „Install from VSIX...“ wählen und das heruntergeladene Archiv der KIV Extension selektieren (die Installation kann einen Moment dauern).
  5. Den Vorgang für die KIV Library Extension wiederholen.
  6. Nach der Installation sollte in der Navigationsleiste eine neue "KIV"-View angezeigt werden.
  7. Zur Aktivierung des KIV Syntax-Highlightings muss noch ein KIV-Theme aktiviert werden. Dazu „File“ → „Preferences“ → „Theme“ → „Color Theme“ wählen und eines der KIV-Themes ("KIV Light" oder "KIV Dark") selektieren.

 

Voraussetzungen

  • Java 21 (oder neuer)
  • Visual Studio Code

 

Lizenzabkommen

Copyright (c) 2013-present Department of Software Engineering, Augsburg University KIV is copyrighted by University of Augsburg, Formal Methods group of the chair of Software Engineering (Prof. Reif). This license grants the signer a non-transferable and non-exclusive right to use KIV. This license is restricted to noncommercial use. KIV is provided on an "as is" basis, without warranty or liability of any kind. The Licensee agrees not to modify, or disassemble any of the software files KIV consists of. This license is free of charge.

© Institut für Software & Systems Engineering

Institut für Software & Systems Engineering

Das Institut für Software & Systems Engineering, geleitet von Prof. Dr. Wolfgang Reif, ist eine wissenschaftliche Einrichtung in der Fakultät für Angewandte Informatik an der Universität Augsburg. Das Institut unterstützt sowohl Grundlagen- als auch angewandte Forschung in allen Bereichen der Software & Systems Engineering. In der Lehre ermöglicht es die weitere Entwicklung des relevanten Kursangebots von Fakultät und Universität.

Suche