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ženo v:

Podrobná bibliografie
Vydáno v:	2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications s. 57 - 64
Hlavní autoři:	Cicirelli, F., Furfaro, A., Nigro, L., Pupo, F.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.10.2012
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!