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

Full description

Bibliographic Details

Published in:	2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications pp. 57 - 64
Main Authors:	Cicirelli, F., Furfaro, A., Nigro, L., Pupo, F.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.10.2012
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!