Skip to main content
SpringerLink
Log in

Automata timing specification

  • The Automata Theoretic Approach
  • Conference paper
  • First Online:
11th International Conference on Analysis and Optimization of Systems Discrete Event Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 199))

  • 325 Accesses

Abstract

We have presented in this paper some procedures of an algorithm which provide from the requirements a syntactic expression representing the temporal behavior of a specification. This expression can be used as a syntactic analyzer, to recognize valid traces. The composition process allows also to reject incompatible traces.

A software tool supporting this work is being implemented. The perspective of the present work is to develop a formal basis for every type of constraints that will allow to build automatically a language acceptor for valid temporal constraints. All this part is used to extend actual software engineering method as SA-RT and Statecharts for the specification of reactive systems.

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. B. Dasarathy. Timing constraints of real_time systems: construct for expressing them, methods of validating them. IEEE transaction Software Engineering, 11:80–86, 1985.

    Google Scholar 

  2. D. Delfieu and A.E.K Sahraoui. Expression and verification of temporal constraints for real-time systems. In 7th Annual European Computer Conference. IEEE, 1993.

    Google Scholar 

  3. J. E. Hopcroft and J. D. Ullman. Introduction to automata theory, languages and computation. Addison Wesley, 1979.

    Google Scholar 

  4. C. Miguel, A. Fernandez, and L. Vidaller. Extended lotos towards performance evaluation. In FORTE'92, 1992.

    Google Scholar 

  5. R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, 1980.

    Google Scholar 

  6. J. Quemada et al. Introduction to lotos. Comett Alice, may 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Automatique et d'Analyse des Systèmes du C.N.R.S., 7, avenue du colonel Roche, 31077, Toulouse Cedex, France

    D. Delfieu & A. E. K. Sahraoui

  2. École Nationale d'Ingénieurs de Tarbes, chemin d'Azereix, 65016, Tarbes, France

    A. E. K. Sahraoui

Authors
  1. D. Delfieu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. E. K. Sahraoui
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cohen Jean-Pierre Quadrat

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag London Limited

About this paper

Cite this paper

Delfieu, D., Sahraoui, A.E.K. (1994). Automata timing specification. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033540

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19896-3

  • Online ISBN: 978-3-540-39345-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation