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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications s. 57 - 64
Hlavní autori:	Cicirelli, F., Furfaro, A., Nigro, L., Pupo, F.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.10.2012
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!