Skip to main content
SpringerLink
Log in

Modelling real-time systems: Issues and challenges

  • Special Issue On Parallel And Distributed Computing
  • Published:
Sadhana Aims and scope Submit manuscript

Abstract

In this paper, we discuss the issues and challenges that lie in the specification, development, and verification of real-time systems. In our presentation, we emphasize on the issues underlying modelling of real-time distributed concurrency.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Abramsky S 1987 Observation equivalence as a testing equivalence.Theor. Comput. Sci. 53: 225–241

    Article  MATH  MathSciNet  Google Scholar 

  • Abramsky S 1989 Tutorial on concurrency, Unpublished lectures at the Principles of Programming Languages

  • Abramsky S, Vickers S 1991Observational logics and process semantics (forthcoming)

  • Baeten J C M, Weijland W P 1990Process algebra (Cambridge: University Press)

    Google Scholar 

  • Bloom S, Istrail S, Meyer A R 1988 Bisimulation can’t be traced: Preliminary Report, 15th acm Annual Symposium on Principles of Programming Languages, San Diego, pp. 229–239

  • Berry G 1989 Real-time programming: Special purpose or general purpose languages.Information Processing’89 (ed.) G X Ritter (IFIP, North-Holland Publishing Co.) pp. 11–17

  • Brookes S D, Hoare C A R, Roscoe A W 1984 A theory of communicating processes.J. Assoc. Comput. Mach. 31: 560–599

    MATH  MathSciNet  Google Scholar 

  • Fitzwater D R, Zave P 1977 The use of formal asynchronous process specifications in a system development process.Proc. 6th Texas Conf. Computer Systems, University of Texas at Austin, 2B-21:2B-30

  • Van Glabbeek R J, Weijland W P 1989 Branching time and abstraction in bisimulation semantics.Int. Fed. Inf. Process. Congress’89 pp. 613–618

  • Groote J F 1988 Tutorial on ACP, Unpublished lectures at the Workshop on Logic and Models of Concurrency, Bangalore

  • Groote J F, Vaandrager F 1989 Structured operational semantics and bisimulation as congruence.ICALP’89 Lecture Notes in Computer Science. Vol. 352 (Berlin: Springer Verlag) pp. 423–438

    Google Scholar 

  • Harel D, Pnueli A 1985 On the development of reactive systems. InLogic and models of concurrent systems (ed.) K R Apt, Nato ASI Series (Berlin: Springer-Verlag)

    Google Scholar 

  • Hoare C A R 1988 Communicating sequential processes.Commun. acm 21: 666–677

    Article  Google Scholar 

  • Koymans R, Shyamasundar R K, de Roever W P, Gerth R, Arun-Kumar S 1988 Compositional semantics for real-time distributed computing.Inf. Comput. 79: 210–256

    Article  Google Scholar 

  • Larsen K G, Skou A 1989 Bisimulation through probabilistic testing.acm Symposium on Principles of Programming Languages, Austin (New York: acm Press) pp. 344–353

    Google Scholar 

  • Lelann G 1983 On real-time distributed computing.Int. Fed. Inf. Process ’83 pp. 741–753

  • Lewis H R 1990A logic of concrete time intervals. LICS Vol. 90 pp. 380–389

  • Liu L Y 1989Paradigms for the specification, design and verification of real-time distributed systems, PhD thesis, Pennsylvania State University

  • Liu L Y, Shyamasundar R K 1989 rt-cdl: A real-time design language and its semantics.Int. Fed. Inf. Process ’89 pp. 21–26

  • Liu L Y, Shyamasundar R K 1990 Static analysis of real-time distributed systems.ieee Trans. Software Eng. SE-16: 373–388

    Article  Google Scholar 

  • Milner R 1980A calculus of communicating systems. Lecture Notes in Computer Science. Vol. 92 (Berlin: Springer Verlag)

    Google Scholar 

  • Milner R 1988Communication and concurrency (New York: Prentice Hall International)

    Google Scholar 

  • Salwicki A, Muldner T 1981On the algorithmic properties of concurrent programs. Lecture Notes in Computer Science. Vol. 125 (Berlin: Springer Verlag)

    Google Scholar 

  • Stankovic A 1988 Real-time computing systems: The next generation, coins tr, University of Massachussetts

  • Shyamasundar R K 1991a Real-time programming languages: A survey, Lecture Notes, Workshop on Real-Time Embedded Computing Systems, Bangalore

  • Shyamasundar R K 1991b Specification and verification of real-time systems, Lecture Notes, Workshop on Real-Time Embedded Computing Systems, Bangalore

  • Shyamasundar R K, Narayana K T, Pitssi T 1987 Semantics of nondeterministic asynchronous broadcast networks,ICALP’87

  • Shyamasundar R K, Patterson A, Agha G 1991 An actor-based framework for concurrent object oriented programming,Proceedings of Baastad Workshop on Concurrency, Sweden

  • Wirth N 1977 Towards a discipline of real-time programming.Commun. acm 20: 577–583

    Article  MATH  Google Scholar 

  • Zwiers J 1988Compositionality, concurrency and partial correctness: Proof theories of processes and their connection, Ph D thesis, Eindhoven University of Technology, Eindhoven

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay, India

    R K Shyamasundar & S Ramesh

  2. Department of Computer Science and Engineering, Indian Institute of Technology, 400 076, Powai, Bombay, India

    S Ramesh

Authors
  1. R K Shyamasundar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S Ramesh
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Partial support by the Indo-French Centre for the Promotion of Advanced Research/Centre Franco-Indien Pour la Promotion de la Recherche Advancee as part of the project “Formal Specification and Development of Real-Time Reactive Programs” is gratefully acknowledged.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shyamasundar, R.K., Ramesh, S. Modelling real-time systems: Issues and challenges. Sadhana 17, 1–28 (1992). https://doi.org/10.1007/BF02811337

Download citation

  • Issue Date:

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

Keywords

Search

Navigation