Paper Info
Title
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
Abstract
During the last years we have been working towards a complete design method for distributed embedded real-time systems. The main characteristic of the methodology is that within the critical phases of analysis and synthesis the system under development is available in one unique model, that of extended Pr/T-Nets. Among several other reasons we have chosen a high-level Petri Net model in order to benefit from the multitude of analysis and synthesis methods for Petri Nets. Even though the methodology is based upon one common model, it nevertheless supports the modeling of heterogeneous systems using different specification languages. The methodology was introduced and described in several former publications. In this paper we therefore only give a brief overview and afterwards go into details of our recent work, namely the transformation of proper Pr/T-Net-models into synchronous languages, the partitioning of Pr/T-Nets and an OS-integrated execution engine for Pr/T-Nets.
Year
DOI
Venue
2001
10.1007/3-540-45740-2_20
ICATPN
Keywords
Field
DocType
petri nets,unique model,critical phase,brief overview,extended pr,os-integrated execution engine,common model,proper pr,real-time systems,complete design method,seamless design,synthesis method,petri net,specification language,design method
Specification language,Petri net,Multitude,Computer science,Real-time operating system,Real-time computing,Synchronous language,Distributed computing
Conference
ISBN
Citations 
PageRank 
3-540-42252-8
5
0.90
References 
Authors
17
3
Name
Order
Citations
PageRank
Carsten Rust14910.47
Jürgen Tacken2409.48
Carsten Böke3264.25