Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

FTRTFT 1992: Formal Techniques in Real-Time and Fault-Tolerant Systems pp 21–32Cite as

Duration specifications for shared processors

  • Session 1
  • Conference paper
  • First Online:

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

Abstract

We present a specification oriented real-time semantics for real-time programs consisting of communicating sequential processes running on a shared processor configuration. The semantics, which is given in Duration Calculus [7], separates properties of a (compiled) program from properties attributable to a scheduling strategy. This gives a clear division of concerns when a given program under a given scheduling strategy has to be proven correct wrt. hard real-time constraints.

on leave from Institute of Software, Academia Sinica, Beijing, China

This work is partially funded by ProCoS ESPRIT BRA 3104.

This work is partially funded by the Danish Technical Research Counsil under project RapID.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K.M. Hansen, A.P. Ravn, and H. Rischel, Specifying and Verifying Requirements for Critical Systems, to appear in ACM SIGSOFT'91 Conference on software for Critical Systems, New Orleans, Louisianna, December, 1991.

    Google Scholar 

  2. M.R. Hansen and Zhou Chaochen, A note on Completeness of the Duration Calculus, ProCoS Techn. Rep. ID/DTH MRH 6/1, ESPRIT BRA 3104, 1991.

    Google Scholar 

  3. J. Hooman, A Denotational Real-Time Semantics for Shared Processors, in PARLE'91 Parallel Architectures and Languages Europe, vol. II, LNCS 506, Springer-Verlag 1991, pp. 185–201.

    Google Scholar 

  4. INMOS Limited, occam 2 Reference Manual, Prentice Hall 1988.

    Google Scholar 

  5. R. Koymans, R.K. Shyamasundar, W.-P. de Roever, R. Gerth, and S. Arun-Kumar, Compositional Semantics for Real-Time Distributed Computing, Information and Computation, 79(3), 1988, pp. 210–256.

    Google Scholar 

  6. G. Reed and A. Roscoe, Metric spaces as models for real-time concurrency, in Proc. Workshop on Mathematical Foundations of Programming Language Semantics, LNCS 298, Springer-Verlag 1987, pp. 331–343.

    Google Scholar 

  7. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn, A Calculus of Durations, to appear in Information Processing Letters.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technical University of Denmark, Denmark

    Zhou Chaochen, Michael R. Hansen, Anders P. Ravn & Hans Rischel

  2. Programming Research Group, Oxford University, England

    Zhou Chaochen

Authors
  1. Zhou Chaochen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael R. Hansen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Anders P. Ravn
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hans Rischel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan Vytopil

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chaochen, Z., Hansen, M.R., Ravn, A.P., Rischel, H. (1991). Duration specifications for shared processors. In: Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1992. Lecture Notes in Computer Science, vol 571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55092-5_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-55092-5_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46692-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation