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

Towards Interactive Verification of Programmable Logic Controllers using Modal Kleene Algebra and KIV

Glück, Roland (2017) Towards Interactive Verification of Programmable Logic Controllers using Modal Kleene Algebra and KIV. Logic and Theoretical Computer Science, 2017-11-30, Bern, Schweiz. (nicht veröffentlicht)

[img] PDF
906kB

Kurzfassung

This talk introduces an approach to interactive verification of programmable logic controllers which often serve as controllers in safety critical systems and hence need thorough verification. It gives first a short introduction to programmable logic controllers, afterwards an introduction to the framework of modal Kleene Algebra and a short view of the interactive proving system KIV. Finally, it is shown how Kleene Algebra can be used to verify LTL properties of programmable logic controllers using the KIV system.

elib-URL des Eintrags:https://elib.dlr.de/117312/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Towards Interactive Verification of Programmable Logic Controllers using Modal Kleene Algebra and KIV
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Glück, Rolandroland.glueck (at) dlr.dehttps://orcid.org/0000-0001-7909-1942NICHT SPEZIFIZIERT
Datum:2017
Referierte Publikation:Nein
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Status:nicht veröffentlicht
Stichwörter:Verification Programmable Logic Controllers Modal Kleene Algebra
Veranstaltungstitel:Logic and Theoretical Computer Science
Veranstaltungsort:Bern, Schweiz
Veranstaltungsart:Andere
Veranstaltungsdatum:30 November 2017
Veranstalter :Universität Bern
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Flugzeuge
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L AR - Aircraft Research
DLR - Teilgebiet (Projekt, Vorhaben):L - Strukturen und Werkstoffe (alt)
Standort: Augsburg
Institute & Einrichtungen:Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie
Hinterlegt von: Glück, Dr. Roland
Hinterlegt am:21 Dez 2017 12:01
Letzte Änderung:24 Apr 2024 20:21

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.