Versenden
Drucken
Ertel, Jessica (2017) Verifikation von SPS-Programmen mit Kleene-Algebra. Masterarbeit, Universität Augsburg.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Nur DLR-intern zugänglich
603kB |
![[img]](https://elib.dlr.de/style/images/fileicons/other.png) |
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: |
| ||||||||
| 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
