Skip to main content
SpringerLink
Log in

A description language for engineering of complex real-time systems

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

Typical in modern complex real-time applications are (1) integration of lar ge systems, as well as development of new systems and subsystems, (2) complex, often conflicting, functional and non-functional objectives, and (3) a significant degree of distribution and parallelism. The article takes a particular approach to viewing such applications, and describing them in a new language, called CaRT-Spec. While CaRT-Spec addresses many complex application objectives, the focus of our presentation is on functionality and timeliness, i.e. schedulability.

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

  • Auernheimer, B., and Kemmerer, R. A. 1986. RT-ASLAN: A specification language for real-time systems. IEEE Transactions on Software Engineering SE-12(9): 879–889.

    Google Scholar 

  • Berry, G., Moisan, S., and Rigault, J.-P. 1983. Esterel: Towards a synchronous and semantically sound high level language for real-time applications. Proceedings of the IEEE 1983 Real-Time Systems Symposium, December, pp. 30–37.

  • Berthomieu, B., and Diaz, M. 1991. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering 17(3): 259–273.

    Google Scholar 

  • Clarke, E. M., Emerson, E. A., and Sistla, A. P. 1986. Automatic verification of finite state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems 8(2): 244–263.

    Google Scholar 

  • Dasarathy, B. 1985. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering SE-11(1): 80–86.

    Google Scholar 

  • Huizing, C., Gerth, R., and de Roever, W. P. 1987. Full abstraction of a real-time denotational semantics for an Occam-like language. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 223–238. Association for Computing Machinery—SIGPLAN.

  • Jahanian, F., and Stuart, D. 1988. A method for verifying properties of modechart specifications. In Proceedings of the Ninth Real-Time Systems Symposium, pages 12–21. IEEE Computer Society.

  • Kligerman, E., and Stoyenko, A. D. 1986. Real-time euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering SE-12(9): 940–949.

    Google Scholar 

  • Krishnan, P., and Volz, R. 1989. A distributed real-time language and its opertional semantics. Proceedings of the IEEE 1989 Real-Time Systems Symposium pages 41–50, Santa Monica, California.

  • Ostroff, J. S. 1991. Survey of formal methods for the specification and design of real-time systems. In Tutorial on Specifications of Time—Abstractions, Design Methods, Languages edited by K. M. Kavi. IEEE Press.

  • Stoyenko, A. D., Hamacher, V. C., Holt, R. C. 1991. Analyzing hard-real-time programs for guaranteed schedulability, IEEE Transactions on Software Engineering SE-17(8): 737–750.

    Google Scholar 

  • Stoyenko, A. D., and Marlowe, T. J. 1992. Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. Journal of Real-Time Systems 4(4).

  • Stoyenko, A. D., Marlowe, T. J., and Laplante, P. A. 1995. A description language for engineering of complex real-time systems. Computer and Information Science Research Report CIS-95-22, New Jersey Institute of Technology.

Download references

Author information

Authors and Affiliations

  1. The Real-Time Computing Laboratory, Department of Computer and Information Science, New Jersey Institute of Technology, 07102, Newark, NJ, USA

    Alexander D. Stoyenko

  2. Department of Mathematics and Computer Science, Seton Hall University, 07079, South Orange, NJ, USA

    Thomas J. Marlowe

  3. Technology Education Center, Burlington County College/New Jersey Institute of Technology, Mt. Laurel, NJ, USA

    Phillip A. Laplante (Dean of Engineering and Technology)

Authors
  1. Alexander D. Stoyenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas J. Marlowe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Phillip A. Laplante
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work is supported in part by the U.S. ONR Grants N00014-92-J-1367 and N00014-93-I-1047, by the U.S. NSWC Grants N60921-93-M-1912 and N60921-93M-3095, by the NATO Grant CRG-90-1077 and by the AT&T UEDP Grant 91-134.

also research faculty of NJIT RTCL

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stoyenko, A.D., Marlowe, T.J. & Laplante, P.A. A description language for engineering of complex real-time systems. Real-Time Systems 11, 245–263 (1996). https://doi.org/10.1007/BF00337681

Download citation

  • Issue Date:

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

Keywords

Search

Navigation