Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches

This paper proposes an original schedulability framework which is based on preemptive Time Petri Nets (pTPNs) and UPPAAL with stopwatches (UPPAALSW). The realization enables a real-time tasking set, along with precedence constraints in the form of data control, message passing etc., to be uniformly...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications S. 57 - 64
Hauptverfasser:	Cicirelli, F., Furfaro, A., Nigro, L., Pupo, F.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.10.2012
Schlagworte:	Analytical models Automata Clocks Firing modelling Petri nets preemptive time Petri nets Real-time systems Schedulability stopwatches time constraints UPPAAL Upper bound verification
ISBN:	9781467329545, 1467329541
ISSN:	1550-6525
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!