STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Specification and verification of VHDL-based system-level hardware designs
Specification and validation methods
Towards a complete design method for embedded systems using predicate/transition-nets
CHDL'97 Proceedings of the IFIP TC10 WG10.5 international conference on Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems: specification, modelling, verification and synthesis of microelectronic systems
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
AutoFocus: A Tool for Distributed Systems Specification
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Integrated Design and Simulation of Hybrid Systems
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
The SEA Language for System Engineering and Animation
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Entwurf von autonomen Systemen mit High Level Petrinetzen
Autonome Mobile Systeme 2000, 16. Fachgespräch
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Obtaining Deadlock-Preserving Skeletons for Coloured Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Zero-overhead Pr/T-Net execution
Proceedings of the 14th European Simulation Multiconference on Simulation and Modelling: Enablers for a Better Quality of Life
The Flux OS Toolkit: Reusable Components for OS Implementation
HOTOS '97 Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HotOS-VI)
CHaRy: the C-LAB hard real-time system to support mechatronical design
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
| Hi-index | 0.00 |
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.