Title :
A TPN Based Framework for the Specification of Real Time Embedded Systems
Author :
Abdelli, A. ; Hammal, Y.
Author_Institution :
Comput. Sci. Dept., USTHB Univ., Algiers, Algeria
Abstract :
We propose in this paper a new modular framework to specify real time embedded systems. This model allows to express the behavior of a system through a specification that composes time Petri nets with algebraic operators. We provide its formal semantics and show how it can be used to capture the behavior of many complex real time systems.
Keywords :
Petri nets; algebra; embedded systems; formal specification; mathematical operators; TPN based framework; algebraic operators; complex real time systems; formal semantics; real time embedded systems; time Petri nets; Computer science; Discrete event systems; Embedded system; Laboratories; Large scale integration; Petri nets; Real time systems; Safety; Software systems; Time factors;
Conference_Titel :
Embedded and Multimedia Computing, 2009. EM-Com 2009. 4th International Conference on
Conference_Location :
Jeju
Print_ISBN :
978-1-4244-4995-8
DOI :
10.1109/EM-COM.2009.5402988
