Academia.eduAcademia.edu

Outline

Title
Abstract
Introduction
Conclusions
References
All Topics
Engineering
Mechanical Engineering

Time concepts in real-time software

Profile image of Leo MotusLeo Motus

1993, Control Engineering Practice

https://doi.org/10.1016/0967-0661(93)92099-P
visibility

…

description

10 pages

link

1 file

Abstract

An attempt is made to systematize the variety of time-bound tenns. understandings and theories used for describing. analysing and verifying the properties of real-time (embedded) software. Time concepts usable in real-time software are projected to the background of those used in other fields of science and technology. This topic has not been too widely discussed earlier. Recently some interest to the essence of time as used in programming has been shown by Hoogeboom and Halang (1991). Motus (1992). Motus and Rodd (1992). The conclusion has been reached that real-time computing in a wide sense-i.e. including specification. design. implementation and maintenance-actually makes use of at least three different philosophical time concepts within one system.

Related papers

Software engineering aspects of real-time programming concepts
Erwin Schoitsch

Computer Physics Communications, 1986

Real-time programming is a discipline of great importance not only in process control, but also in fields like communication, office automation, interactive databases, interactive graphics and operating systems development.

View PDFchevron_right
Requirements specification of real-time systems: temporal parameters and timing-constraints
Tereza Kirner

Information & Software Technology, 1996

The development of high-quality real-time systems depends on their correct requirements specification, which includes the analysis and specification of timing issues. This paper focuses on requirements specification of real-time systems, presenting a set of temporal parameters and timing-constraints related to the execution of systems processes. Timing-constraints are expressed by formulas, being useful for defining, representing, and validating the system temporal

View PDFchevron_right
Timing analysis of real-time software L. MOTUS and MG RODD; Pergamon Press; Oxford, UK; 1994; xii+ 212 pp.; $125; ISBN: 0-08-042026-5 (soft cover $46; ISBN 0-08-042025-7)
Janusz Zalewski

A Practitioner's Handbook for Real-Time Analysis, by Mark H. KLEIN et al.; Kluwer Academic Publishers; Boston, MA, USA; 1993; xiii + 694 pp.; $95; ISBN: 0-7923-9361-9 iRAT -The introspect Real-Time Analysis Tool,

View PDFchevron_right
Specification and Validation of Real Time Systems
Anita Walkowiak

Applications for Flexibility and Agility, 2011

View PDFchevron_right
Building models of real-time systems from application software
J. Sifakis

Proceedings of the IEEE, 2003

We present a methodology for building timed models of real-time systems by adding time constraints to their application software. The applied constraints take into account execution times of atomic statements, the behavior of the system's external environment, and scheduling policies. The timed models of the application obtained in this manner can be analyzed by using time analysis techniques to check relevant real-time properties. We show an instance of the methodology developed in the TAXYS project for the modeling and analysis of real-time systems programmed in the Esterel language. This language has been extended to describe, by using pragmas, time constraints characterizing the execution platform and the external environment. An analyzable timed model of the real-time system is produced by composing instrumented C-code generated by the compiler. The latter has been re-engineered in order to take into account the pragmas. Finally, we report on applications of TAXYS to several nontrivial examples.

View PDFchevron_right
Time Interval Semantics and Implementation of a Real-Time Programming Language
Jonathan Bowen

def

View PDFchevron_right
Avoiding timing problems in real-time software
Raimund Kirner

Software Technologies for Future …, 2003

View PDFchevron_right
Eliminating the ‘hard’/‘soft’ real-time dichotomy
E. Douglas Jensen

Computing and control engineering journal, 1997

View PDFchevron_right
Towards composable timing for real-time software
Raimund Kirner

Proc. 1st International Workshop on …, 2009

View PDFchevron_right
Calculation of Execution Times in Object-oriented Real-time Software: A Study Focused on RealTimeTalk
Jan Gustafsson

1994

This thesis describes the calculation of execution times in the object-oriented language RealTimeTalk (RTT). RTT is an object-oriented language for hard real-time systems. Hard real-time systems are systems where all tasks must fulfil the specified time requirements.

View PDFchevron_right

References (18)

  1. J.F.Allen "Towards a general theory of Action and Time" --Artificial Intelligence. vo1.23. no .2. 123-154 Benthem (1991) J . van Benthem "The logic of time. A model- theoretic investigation into the varieties of temporal ontology and temporal discourse" .-Kluwer Academic Publishers. 280 pp. Corsetti and colleagues (1991) E.Corsetti. E.Crivelli . D.Mandrioli.
  2. A.Montanari. A.C . Morzenti. P.San Pietro. E. Ratto " Dealing with different time scales in formal specifications" --Proc . 6th Int. Workshop on software specification and design. Como. 92-101 Denbigh (1981)
  3. K.G . Denbigh "Three concepts of time" Springer Veriag. 1981. 180 pp. Caspl and Halbwachs (1982) P.Caspl and N. Halbwachs "Algebra of events : A model for parallel ami real-time systems" -- Proc . Int. Con ference on Parallel Processing. 150- 159 Caspi and Halbwachs (1986) P. Caspl and N . Halbwachs "A functional model for describing and reasoning about time behaviour of computing syslems" --Acta Informatlca. vol. 22. 595-627 Emerson and Halpern (1986) E. A.Emerson and 1.Y.Halpern •"Sometimes• and "Not never" reVisited: On branching versus linear time temporal logic" --J.of the ACM. vol.33. no. 1. 151-178
  4. Halbwachs (1992)
  5. N.Halbwachs •Synchronous programming of real-time systems . The language LUSTRE" School on Formal techniques in real-time and fault- tolerant systems. Univ . of Nijmegen. The Netherlands Henzinger. Manna. Pnueli (1992)
  6. T . A.Henzinger. Z.Manna. A.Pnueli "Temporal proof methodologies for real-time systems" -- School on Formal techniques in real-time and fault- tolerant systems. Univ.of Nijmegen. The Netherlands Hoogeboom and Halang (1991) B.Hoogeboom and W . A.Halang " The concept of time in software engineering for real time systems" --3rd International Conference on Software Engineering for Real Time Systems. lEE Conference Publication no . 344. 156 -163
  7. Hooman (1992)
  8. Hooman •Compositional Verification of Distributed Real-time Systems" --School on Formal techniques in real-time and fault-tolerant systems. Univ . of Nijmegen. The Netherlands lefferson (1983) D .Jefferson •Virtual time" -Proc .
  9. International Conference on Parallel Processing. Silver Spring. Md .. 384-394
  10. Kopetz (1984) H.Kopetz "Real time in distributed real-time system.~•.- Proc. 5th IFAC Workshop on Distributed Computer Control Systems. Pergamon Press . 11-15
  11. Kopetz ( 1990)
  12. H . Kopetz. K. H. Kim "Temporal uncertainties in Interactions among real-time objects" -Institut fUr Technlsche Informatlk. T echnische Universitat Wien. Austria. Res.rep. no. 10 /90. 30 pp. Kurki-Suonio (1991) R. Kurkl-Suonlo "Some thoughts for the Real- time Session m the Como Workshop (6th Int. Workshop on software speCification and design)" -- privale communication
  13. Kurkl-Suonio. Systii. Vam (1991) R.Kurki-Suonio. K.Systii. J . Vam " Real-time Specificallon and Modeling with Joint Actions" -- Proc . 6th Int. Workshop on software specification and design. Como . 84-91
  14. Ledru (1991) Y. Ledru "Developing reactive systems in YDM framework" --Proc . 6th Int. Workshop on software specification and design. Como. 130-139 Motus (1983) L.Motus and K.Kaaramees "A model based design of distributed computer control system software" --Proc. 4th IFAC Workshop on distributed computer control systems, Pergamon Press, 93-101
  15. Motus (1992) L.Motus "Time concepts in software" - Concise Encyclopedia of Software Engineering, Pergamon Press, to be publisbed in 1992 Motus and Rodd (1992) L.Motus and M.G.Rodd "Specification of embedded real-time software". Prentice-Hall. to be published in 1992
  16. Ostroff (1989) J.Ostroff "Temporal logic for Real -time Systems " .-Research Studies Press/ John Wiley and Sons Inc. 209 pp. 10 Quirk and Gilbert (1977)
  17. W.J.Quirk and R.Gilbert "The formal specification of the requirements of complex real- time systems" --AERE, Harwell, UK. rep.no 8602,57 pp. Sbobam (1988) Y.Sbobam "Reasoning about Change. Time and Causation from the standpoint of Artificial Intelligence" -MIT Press, 200 pp. Sifakis (1979)
  18. J .Sifakis "Use of Petri nets for performance evaluation".-Acta Cybemetica, vol.4 . no.2. 185- 202 Stankovic (1988) J.A.Stankovic "Misconceptions about real-time computing: a serious problem for next generation systems" -IEEE Computer. vo1.21. no . l0. 10-19.

Related papers

Timing constraints of real-time systems: Constructs for expressing them
Balakrishnan Dasarathy

IEEE Transactions on Software Engineering, 1985

This paper examines timing constraints as features of realtime systems. It investigates the various constructs required in requirements languages to express timing constraints and considers how automatic test systems can validate systems that include timing constraints. Specifically, features needed in test languages to validate timing constraints are discussed. One of the distinguishing aspects of three tools developed at GTE Laboratories for real-time systems specification and testing is in their extensive ability to handle timing constraints. Thus, the paper highlights the timing constraint features of these tools. , until 1980, when he joined GTE Laboratories, where he has been a Prinicpal Investigator of projects on requirements-based testing, requirements analysis, and design aids for distributed real-time systems. He is currently Department Manager, Software Engineering Environments, at GTE Laboratories. His publications are in the areas of graph theory, analysis of algorithms, operations research, software requirements engineering, and real-time system design. His present research interests include sofware engineering environments and tools, and aids for engineering performance into the design of real-time systems.

View PDFchevron_right
Rigorous implementation of real-time systems – from theory to application
J. Sifakis

Mathematical Structures in Computer Science, 2013

The correct and efficient implementation of general real-time applications remains very much an open problem. A key issue is meeting timing constraints whose satisfaction depends on features of the execution platform, in particular its speed. Existing rigorous implementation techniques are applicable to specific classes of systems, for example, with periodic tasks or time-deterministic systems.We present a general model-based implementation method for real-time systems based on the use of two models: •An abstract model representing the behaviour of real-time software as a timed automaton, which describes user-defined platform-independent timing constraints. Its transitions are timeless and correspond to the execution of statements of the real-time software.•A physical model representing the behaviour of the real-time software running on a given platform. It is obtained by assigning execution times to the transitions of the abstract model. A necessary condition for implementability i...

View PDFchevron_right
Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes
Kristina Lundqvist

International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007), 2007

In this paper, we present some of the issues encountered when trying to apply model-driven approaches to the engineering of real-time systems. In real-time systems, quantitative values of time, as reflected through the duration of actions, are central to the system's correctness. We review basic time concepts and explain how time is handled in different modeling languages. We expose the inherent paradox of incorporating quantitative time-dependent behavior in high-level models. High-level models are typically built before the system is implemented, which makes quantitative time metrics difficult to predict since these metrics depend heavily on implementation details. We provide some possible answers to this paradox and explain how the Timed Abstract State Machine (TASM) language helps address some of these issues.

View PDFchevron_right
Real-Time: Theory in Practice
Willem-Paul de Roever

Lecture Notes in Computer Science, 1992

View PDFchevron_right
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
Balakrishnan Dasarathy

IEEE Transactions on Software Engineering, 1982

This paper examines timing constraints as features of realtime systems. It investigates the various constructs required in requirements languages to express timing constraints and considers how automatic test systems can validate systems that include timing constraints. Specifically, features needed in test languages to validate timing constraints are discussed. One of the distinguishing aspects of three tools developed at GTE Laboratories for real-time systems specification and testing is in their extensive ability to handle timing constraints. Thus, the paper highlights the timing constraint features of these tools.

View PDFchevron_right

Related topics

  • Mechanical Engineering
  • Applied Mathematics
  • Computer Science
  • Software
  • Electrical and Electronic Engine...
    • 580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved