Advertisement

Environment for the Development and Specification of Real-Time Ada Programs

  • Apolinar González
  • Alfons Crespo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)

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.

Keywords

Graphical Interface Coordination Mechanism Periodic Task Sporadic Task Input Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bucci G., Campanai M., Nesi P., (1995) Tools for Specifying Real-Time Systems. Real-Time Systems, Vol 8, Number 2/3. pp 117–172.CrossRefGoogle Scholar
  2. 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
  3. 4.
    Fernández J. L., (1997) A Taxonomy of Coordination Mechanisms Used by Real-Time Processes, ACM Ada LETTERS, Volume XVII, Number 2, pp 29–54CrossRefGoogle Scholar
  4. 5.
    Burns A. and Wellings A, (1995) Concurrency in Ada,. Cambrige University Press.Google Scholar
  5. 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
  6. 7.
    Fernández L. (1997) Arquitectura Software Genérica para Sistemas de Tiempo Real, Tesis Doctoral.Google Scholar
  7. 8.
    Miguel Cabello M. A. De (1997), Diseño de Sistemas de Tiempo Real mediante Objetos Ejecutables, Tesis Doctoral.Google Scholar
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Apolinar González
    • 1
  • Alfons Crespo
    • 2
  1. 1.Universidad del ValleCalíColombia
  2. 2.Universidad Politécnica de ValenciaValenciaSpain

Personalised recommendations