Skip to main content
SpringerLink
Log in

Ada and timed automata

  • Conference paper
  • First Online:
Ada in Europe (Ada-Europe 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1031))

Included in the following conference series:

Abstract

The relation between the Ada tasking model and the formal model timed automatonis described. Guidelines fortranslatingAdatasking constructs into timed automata and vice versa are given, along with important differences and similarities in tasking semantics between Ada task and timed automata. A case study shows how a previously verified audio control protocol is translated to Ada.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Hennessy and T. Regan, ”A process algebra for timed systems”, Technical Report 5/91, Dept. of Computer Science, University of Sussex, UK, 1991.

    Google Scholar 

  2. X. Nicollin, J. L. Richier, J. Sifakis, and J. Voiron, ”ATP: an algebra for timed processes”, In Proceedings IFIP Working Group Conference on Programming Concepts and Methods, pages 402–429, 1990.

    Google Scholar 

  3. Wang Yi, ”CCS + time = an interleaving model for real time systems”, In Proceedings of ICALP'91, LNCS 510, Springer Verlag, 1991.

    Google Scholar 

  4. R. Alur and D. Dill, ”Automata for Modeling Real-Time Systems”, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, volume 443, Springer Verlag, 1990.

    Google Scholar 

  5. B. Berthomieu and Michael Diaz, ”Modeling and verification of time dependent systems using time petri nets”, IEEE Transactions on Software Engineering, 17(3):259–273, March 1991.

    Google Scholar 

  6. W. Yi, P. Pettersson, M. Daniels, ”Automatic Verification of Real-Time Communication Systems by Constraint-Solving”, Proceedings of the 7th International Conference on Formal Description Techniques, Berne, Switzerland, October, 1994.

    Google Scholar 

  7. K.G. Larsen, P. Pettersson, and W. Yi, ”Diagnostic Model-Checking for Real-Time Systems”, Accepted for DIMACS'95.

    Google Scholar 

  8. K.G. Larsen, P. Pettersson, and W. Yi, ”Compositional and Symbolic Model-Checking of Real-Time Systems”, Accepted for IEEE RTSS'95.

    Google Scholar 

  9. L. Björnfot, K. Lundqvist, G. Wall, and L. Asplund, ”Distribution of Tasks Within a Centrally Scheduled Local Area Network”, Proceedings from the First Symposium’ Ada in Europe', Copenhagen Denmark, September 1994.

    Google Scholar 

  10. J.C. Corbett, ”Modeling and Analysis of Real-Time Ada Tasking Programs”, In proceedings RTSS'94

    Google Scholar 

  11. A. Hutcheon, ”Safe Nucleus Formal Specification”, Project Reference CI/ GNSR/27: The Design and Development of Safety Kernels, Aug 1994.

    Google Scholar 

  12. J.E. Hopcroft and J.D. Ullman, ”Introduction to Automata Theory, Languages and Computation”, ISBN 0-201-02988-X, 1979, Addison-Wesley

    Google Scholar 

  13. G. Wall, L. Asplund, L. Björnfot and K. Lundqvist, ”Performance Expectations on Ada Programs”,LNCS 688, pp. 227–239, 1993, Springer-Verlag.

    Google Scholar 

  14. D. Bosscher, I. Polak, and F. Vaandrager, ”Verification of an Audio-Control Protocol”, In Proceedings of FTRTFT'94, LNCS 0863, pp 170–192, Springer Verlag, 1994.

    Google Scholar 

  15. P-H. Ho and H. Wong-Toi, ”Automated Analysis of an Audio Control Protocol”, In Proceedings of CAV'95, volume 939, Springer Verlag, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Systems, Uppsala University, P.O. Box 325, S-751 05, Uppsala, Sweden

    Lars Björnfot

Authors
  1. Lars Björnfot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marcel Toussaint

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Björnfot, L. (1996). Ada and timed automata. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1995. Lecture Notes in Computer Science, vol 1031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015510

Download citation

  • DOI: https://doi.org/10.1007/BFb0015510

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60757-1

  • Online ISBN: 978-3-540-49362-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation