elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] 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, 30.11.2017, Bern, Schweiz. (Unpublished)

[img] PDF
906kB

Abstract

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.

Item URL in elib:https://elib.dlr.de/117312/
Document Type:Conference or Workshop Item (Speech)
Title:Towards Interactive Verification of Programmable Logic Controllers using Modal Kleene Algebra and KIV
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Glück, Rolandroland.glueck (at) dlr.dehttps://orcid.org/0000-0001-7909-1942
Date:2017
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Unpublished
Keywords:Verification Programmable Logic Controllers Modal Kleene Algebra
Event Title:Logic and Theoretical Computer Science
Event Location:Bern, Schweiz
Event Type:Other
Event Dates:30.11.2017
Organizer:Universität Bern
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:fixed-wing aircraft
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Structures and Materials
Location: Augsburg
Institutes and Institutions:Institute of Structures and Design > Automation and Production Technology
Deposited By: Glück, Dr. Roland
Deposited On:21 Dec 2017 12:01
Last Modified:31 Jul 2019 20:14

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.