Object Oriented Petri Net Approach to Embedded System Design
Robert Esser, "Object Oriented Petri Net Approach to Embedded System Design"
English | 1996 | ISBN: 3728124168 | PDF | pages: 210 | 2,1 mb
English | 1996 | ISBN: 3728124168 | PDF | pages: 210 | 2,1 mb
A methodology is described for the automated design of complex systems that are embedded in a technical environment and are subject to real time constraints. The functionality of such systems is typically implemented in the form of mixed hardware and software subsystems where the partitioning of an implementation into various hardware and software based devices is dependent on various constraints such as cost, performance, power con-sumption, area and maintainability.
The proposed methodology is built upon a formal kernel language consist-ing of a class of high level timed Petri nets, augmented by object-oriented mechanisms:
• formal model enables unambiguous specification and supports a high level of analysis;
• homogeneous language (does not rely on an external implementation lan-guage) is general enough to support other more specialised formalisms, such as finite state machines and data flow graphs;
• modelling of real time requirements is supported, where certain time rela-tionships between particular inputs and outputs are prescribed.
My Links
No mirrors please!
No mirrors please!