DocumentCode
3348612
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
fYear
2009
fDate
10-12 Dec. 2009
Firstpage
1
Lastpage
6
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Embedded and Multimedia Computing, 2009. EM-Com 2009. 4th International Conference on
Conference_Location
Jeju
Print_ISBN
978-1-4244-4995-8
Type
conf
DOI
10.1109/EM-COM.2009.5402988
Filename
5402988
Link To Document