Compositional specification of real time embedded systems by priority time Petri Nets

Authors:
Adel Mahfoudhi;Yessine Hadj Kacem;Walid Karamti;Mohamed Abid
Affiliations:
CES Laboratory, University of Sfax, Sfax, Tunisia;CES Laboratory, University of Sfax, Sfax, Tunisia;CES Laboratory, University of Sfax, Sfax, Tunisia;CES Laboratory, University of Sfax, Sfax, Tunisia
Venue:
The Journal of Supercomputing
Year:
2012

Citing 15
Cited 0

Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
TIMES - A Tool for Modelling and Implementation of Embedded Systems

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
MAST: Modeling and Analysis Suite for Real Time Applications

ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
A study of the recoverability of computing systems.

A study of the recoverability of computing systems.
Real Time Scheduling Theory: A Historical Perspective

Real-Time Systems
Cheddar: a flexible real time scheduling framework

Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets

RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Guest Editor's Introduction: Model-Driven Engineering

Computer
Time Petri Nets Analysis with TINA

QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Formal verification of real-time systems with preemptive scheduling

Real-Time Systems
Bridging the gap between timed automata and bounded time petri nets

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Romeo: a tool for analyzing time petri nets

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Compositional schedulability analysis of real-time systems using time Petri nets

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

An important key challenge in Embedded Real Time Systems (ERTS) analysis is to provide a seamless scheduling strategy. Formal methods for checking the temporal characteristics and timing constraints at a high abstraction level have proven to be useful for making the development process reliable. In this paper, we present a Petri Net modeling formalism and an analysis technique which supports not only systems scheduling analysis but also the compositional specification of real time systems. The proposed Priority Time Petri Net gives determinism aspect to the model and accelerates its execution. Indeed, a compositional specification of a PTPN for complex application and multiprocessor architecture that solves the problem of hierarchy is presented.