Environment for the Development and Specification of Real-Time Ada Programs
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.
KeywordsGraphical Interface Coordination Mechanism Periodic Task Sporadic Task Input Place
Unable to display preview. Download preview PDF.
- 2.Baresi L., Orso A, and Pezzè M., (1997) Introducing Formal Specification Methods in Industrial Practice,. Proceedins of the First KIT125 Workshop Formal Methods for the Design of Real-Time Systems, Italy.Google Scholar
- 5.Burns A. and Wellings A, (1995) Concurrency in Ada,. Cambrige University Press.Google Scholar
- 6.ARTEAWG, (1993) Ada Run-Time Environment Working Group. Catalogue of Interface Features and Options for the Ada Runtime Environment. ACM, Draft Release.Google Scholar
- 7.Fernández L. (1997) Arquitectura Software Genérica para Sistemas de Tiempo Real, Tesis Doctoral.Google Scholar
- 8.Miguel Cabello M. A. De (1997), Diseño de Sistemas de Tiempo Real mediante Objetos Ejecutables, Tesis Doctoral.Google Scholar
- 9.Pulli P. and Elmstrom. R. (1993) IPTES: A concurrent engineering approach for real-time software development. Real-Time Systems. Vol 5, No 2/3Google Scholar
- 10.León G., Dueñas J.C., de la Puente J.A.. (1993) The IPTES Enviroment: Support for incremental heterogeneous and distributed prototyping. Real-Time Systems. Vol 5, No 2/3Google Scholar
- 11.de la Puente J.A.., Alonso A., León G., Dueñas J.C., (1993) Distributed execution of specifications. Real-Time Systems. Vol 5, No 2/3Google Scholar
- 12.Burns A. Wellings A.J. (1994) HRT_HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems. Vol 6, No 1.Google Scholar
- 13.Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, And Mauro Pezzè. A Unified High-Level Petri Net Formalism for Time-Critical Systems IEEE Transactions On Software Engineering, Vol. 17 No. 2 February 1991.Google Scholar
- 14.Crespo A., García A., Angulo H., González A., (1996) A practical exercise on the use of Ada 95 for proces control developments. Workshop on Real-Time Programming WRTP’96. Gramado, Brasil.Google Scholar