Specification and verification of mobile real-time systems

dc.contributor.author	Schäfer, Andreas
dc.contributor.editor	Wagner, Dorothea
dc.date.accessioned	2017-09-22T20:43:30Z
dc.date.available	2017-09-22T20:43:30Z
dc.date.issued	2007
dc.description.abstract	In dieser Arbeit wird eine formale Methode, die Logik Shape Calculus, zur Beschreibung und Verifikation von Systemen vorgestellt, deren Beschreibung sowohl Aussagen über den zeitlichen Ablauf als auch die räumliche Konfiguration der Komponenten erfordert. Es wird gezeigt, dass die Logik im Allgemeinen unentscheidbar ist. Es werden zwei entscheidbare Teilklassen angeben. Eine Teilklasse wird durch Einschränkung auf endliche diskrete Räume gewonnen. Die zweite Teilklasse durch syntaktische Einschränkung der Formelklasse. Für die erste Teilklasse existiert ein automatisches Verifikationswerkzeug. Die Anwendung dieses Werkzeugs wird anhand eines Fallbeispiels demonstriert, das mit Methoden, die nur die zeitlichen Aspekte betrachten nicht untersucht werden kann.	de
dc.identifier.isbn	978-3-88579-411-0
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/4546
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2006
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-7
dc.title	Specification and verification of mobile real-time systems	de
gi.citation.endPage	178
gi.citation.publisherPlace	Bonn
gi.citation.startPage	169

Dateien

1 - 1 von 1