© 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.

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

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)

 

Ältere Eclipse Update Seiten

 

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.

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