Verifikation von SPS-Programmen mit Kleene-Algebra

Ertel, Jessica (2017) Verifikation von SPS-Programmen mit Kleene-Algebra. Masterarbeit, Universität Augsburg.

	PDF - Nur DLR-intern zugänglich 603kB
	Anderes (zip-Archiv eines KIV-Projektes) - Nur DLR-intern zugänglich 5MB

Kurzfassung

Das Verhalten von SPS-Programmen wird mittels eines Ausdrucks in Kleene-Algebra modelliert. Im interaktiven Beweissystem KIV wurden LTL-Formeln über diesen Ausdrücken verifiziert, um das gewünschte Verhalten eines Systems, hier einer Ampelsteuerung, zu beweisen.

elib-URL des Eintrags:

https://elib.dlr.de/116046/

Dokumentart:

Hochschulschrift (Masterarbeit)

Titel:

Verifikation von SPS-Programmen mit Kleene-Algebra

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Ertel, Jessica	ertel-jessica (at) hotmail.de	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT

Datum:

2017

Referierte Publikation:

Nein

Open Access:

Nein

Seitenanzahl:

Status:

nicht veröffentlicht

Stichwörter:

Programmverifikation, Kleene Algebra, SPS

Institution:

Universität Augsburg

Abteilung:

Fakultät für angewandte Informatik

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Luftfahrt

HGF - Programmthema:

keine Zuordnung

DLR - Schwerpunkt:

Luftfahrt

DLR - Forschungsgebiet:

L - keine Zuordnung

DLR - Teilgebiet (Projekt, Vorhaben):

L - keine Zuordnung

Standort:

Augsburg

Institute & Einrichtungen:

Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie

Hinterlegt von:

Glück, Dr. Roland

Hinterlegt am:

11 Dez 2017 12:06

Letzte Änderung:

22 Jan 2021 21:10

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags