A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Tools for specifying real-time systems
Real-Time Systems - Special issue: history of real-time systems
Concurrency in Ada
A taxonomy of coordination mechanisms used by real-time processes
ACM SIGAda Ada Letters
Hi-index | 0.00 |
The use of formal methods for real-time system provides an analysis and a validation of the accomplished specifications, however, the complexity encumbers their interest in the industrial developments. This causes a gap between the real needs of the practical users (industrial) and the scientific community. The design based on components emerges as a design technique to reduce the complexity and the validation process of software development. Moreover, in the real-time system design where the object oriented design has demonstrate its validity, the use of predefined components can strongly improve and reduce the design, implementation and validation phases. In this paper we present an tool to design real-time control systems from a set of specific components. The tool provides a graphical interface to define component levels. Each component has associated a High Level Time Petri Net and an Ada code which are composed to build a prototype and a design specification.