elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Verifikation von SPS-Programmen mit Kleene-Algebra

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

[img] PDF - Registered users only
603kB
[img] Other (zip-Archiv eines KIV-Projektes) - Registered users only
5MB

Abstract

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.

Item URL in elib:https://elib.dlr.de/116046/
Document Type:Thesis (Master's)
Title:Verifikation von SPS-Programmen mit Kleene-Algebra
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Ertel, Jessicaertel-jessica (at) hotmail.deUNSPECIFIED
Date:2017
Refereed publication:No
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Number of Pages:61
Status:Unpublished
Keywords:Programmverifikation, Kleene Algebra, SPS
Institution:Universität Augsburg
Department:Fakultät für angewandte Informatik
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:other
DLR - Research area:Aeronautics
DLR - Program:L - no assignment
DLR - Research theme (Project):L - no assignment
Location: Augsburg
Institutes and Institutions:Institute of Structures and Design > Flexible Automation Systems
Deposited By: Glück, Dr. Roland
Deposited On:11 Dec 2017 12:06
Last Modified:11 Dec 2017 12:06

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.