Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bucci G., Campanai M., Nesi P., (1995) Tools for Specifying Real-Time Systems. Real-Time Systems, Vol 8, Number 2/3. pp 117–172.
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.
Fernández J. L., (1997) A Taxonomy of Coordination Mechanisms Used by Real-Time Processes, ACM Ada LETTERS, Volume XVII, Number 2, pp 29–54
Burns A. and Wellings A, (1995) Concurrency in Ada,. Cambrige University Press.
ARTEAWG, (1993) Ada Run-Time Environment Working Group. Catalogue of Interface Features and Options for the Ada Runtime Environment. ACM, Draft Release.
Fernández L. (1997) Arquitectura Software Genérica para Sistemas de Tiempo Real, Tesis Doctoral.
Miguel Cabello M. A. De (1997), Diseño de Sistemas de Tiempo Real mediante Objetos Ejecutables, Tesis Doctoral.
Pulli P. and Elmstrom. R. (1993) IPTES: A concurrent engineering approach for real-time software development. Real-Time Systems. Vol 5, No 2/3
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/3
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/3
Burns A. Wellings A.J. (1994) HRT_HOOD: A Structured Design Method for Hard Real-Time Systems. Real-Time Systems. Vol 6, No 1.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
González, A., Crespo, A. (1999). Environment for the Development and Specification of Real-Time Ada Programs. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_11
Download citation
DOI: https://doi.org/10.1007/3-540-48753-0_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66093-4
Online ISBN: 978-3-540-48753-1
eBook Packages: Springer Book Archive