elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Verifikation von SPS-Programmen mit Kleene-Algebra

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

[img] PDF - Nur DLR-intern zugänglich
603kB
[img] 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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Ertel, Jessicaertel-jessica (at) hotmail.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2017
Referierte Publikation:Nein
Open Access:Nein
Seitenanzahl:61
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.