In: Lecture Notes in Computer Science, Vol. 1622: Reliable Software Technologies, Ada-Europe'99, pages 124-135. Springer-Verlag, 1999.
Abstract: The use of formal methods for real-time systems provides an analysis and a validation of the accomplished specifications, however, the complexity encumbers the interest in the industrial development. This causes a gap between the real needs of 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 demonstrated its validity, the use of predefined components can strongly improve and reduce the design, implementation and validation phases. This paper presents a 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.
Keywords: ADA, component composition, high-level Petri nets, program specification, program validation, real-time programming, time Petri nets.
Back to the Petri Nets Bibliography