Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlo...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Belarbi, M., Babau, J.-P., Schwarz, J.-J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper proposes a method for temporal verification of real-time multitasking applicationproperties based on a communicating timed automata IF language. The properties are divided into two kinds: local properties of application elements like object creation/destruction, object length, task deadlocks and secondly global properties such as data age, deadline, and time interval verification. These properties are represented by observer automata and verified by the IF2C tool exhaustive simulation. The notion of phrase is used to reduce the IF representation graph by partitioning the application on the basis of phases.
ISSN:1550-6525
DOI:10.1109/DS-RT.2004.39