Skip to main content
SpringerLink
Log in

A specification language for reliable real-time systems

  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1988)

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

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. H. P. Barendregt, M. van Leeuwen: Functional Programming and the Language TALE, in: Current Trends in Concurrency (J.W. de Bakker et al., eds.), LNCS 224, Berlin 1985

    Google Scholar 

  2. A. Birolini: Qualität und Zuverlässigkeit technischer Systeme, Berlin, New York, Tokyo 1985

    Google Scholar 

  3. L. Cardelli, P. Wegner: On Understanding Types, Data Abstraction, and Polymorphism, ACM Comp. Surv. 17 (1985), Nr. 4, pp. 471–522

    Article  Google Scholar 

  4. E. W. Dijkstra: A Discipline of Programming, Englewood Cliffs, N.J. 1976

    Google Scholar 

  5. R. Koymans, R. K. Shyamasundar, W. P. de Roever, R. Gerth, S. Arun-Kumar: Compositional Semantics for Real-Time Distributed Computing, Report No. 68 (1985), Sectie Informatica, Kath. Univ. Nijmegen, 1985

    Google Scholar 

  6. Nancy G. Leveson: Software safety: Why, What, and How, Comp. Surv., 18, No. 2, June 1986, pp.125–163

    Article  Google Scholar 

  7. B. Nordström, J. M. Smith: Proposition, Types, and Specifications of Programs in Martin-Löf's Type Theory, BIT 24 (1984), pp. 288–301

    Google Scholar 

  8. D. C. Parnas: Software Aspects of Strategic Defense Systems, C.ACM 28 (1985), No. 12

    Google Scholar 

  9. K. Petersson, J. M. Smith: Program Derivation in Type Theory: A Partitioning Problem, Comput. Lang. 11, No. 3/4 (1986), pp. 161–172

    Article  Google Scholar 

  10. D. A. Turner: Functional Programs as Executable Specifications, Phil. Trans. R. Soc. Lond. A 312 (1984), pp. 363–388

    MathSciNet  Google Scholar 

  11. D. A. Turner: Miranda: A non-strict functional language with polymorphic types, Proc. Conf. in Fun. Lang. and Comp. Arch., Nancy, Sept. 85

    Google Scholar 

  12. H. Wupper, J. Vytopil, M. Wieczorek, D. de Reus: A Simple Language with Static Typing of Hard Real-Time Constraints, Rep. no. 88-3 (1988), Informatica, Kath. Univ. Nijmegen

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science and Technical Applications, Catholic University Nijmegen Toernooiveld, 6525 ED, Nijmegen, The Netherlands

    Hanno Wupper & Jan Vytopil

Authors
  1. Hanno Wupper
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Vytopil
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Joseph

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wupper, H., Vytopil, J. (1988). A specification language for reliable real-time systems. In: Joseph, M. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1988. Lecture Notes in Computer Science, vol 331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50302-1_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-50302-1_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50302-6

  • Online ISBN: 978-3-540-45965-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation