Advertisement

Software Engineering for Real-Time Systems

  • H. Kopetz
Conference paper

Abstract

A hard real-time system has to produce the correct results at the intended points in time. In such a system a failure in the time domain can be as critical as a failure in the value domain. In this paper it is claimed that an engineering approach to the design of the application software for a hard real-time system is only possible if the run-time architecture is based on the time triggered paradigm.

Keywords

Control Object Triple Modular Redundancy Action Grid Fault Scenario Load Hypothesis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kopetz, H., Zainlinger, R., Fohler, G., Kantz, H., Puschner, P, and Schutz, W. The design of real-time systems: From specification to implementation and verification, Software Engineering Journal, May, 1991, p. 72–82Google Scholar
  2. 2.
    Kopetz, H., Kim, K., Temporal Uncertainties in Interactions among Real-Time Objects, Proc. of the 9th IEEE Symp. on Reliable Distributed Systems, Huntsville, Al, Oct. 1990Google Scholar
  3. 3.
    Lawson, H.W., Cy-Clone: An Approach to the Engineering of Resource Adequate Cyclic Real-Time Systems, Journal of Real-Time System, Vol. 4, 1992, pp. 55–83CrossRefGoogle Scholar
  4. 4.
    Mok, A.K., Fundamental design problems of distributed systems for the hard real-time environment, Ph.D. dissertation, M.I.T., 1983Google Scholar
  5. 5.
    Specification and Design for Dependability, Esprit Project Nr. 3092 (PDCS: Predictably Dependable Computing Systems), Ist Year Report, LAAS, Toulouse, 1990Google Scholar
  6. 6.
    Powell, D., Fault Assumptions and Assumption Coverage, PDCS report RB4 (2nd year deliverable 1991) and Report LAAS, Toulouse Nr. 90. 074, Dec. 1990Google Scholar
  7. 7.
    Sha, L., Rajkumar, R., Lehoczky, J.P., Priority Inheritence Protocols: An Approach to Real-Time Synchronization, IEEE Transactions on Computers, Vol. 39, No. 9, Sept. 1990, pp. 1175–1185MathSciNetCrossRefGoogle Scholar
  8. 8.
    F.B. Schneider, Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial, ACM Computing Surveys, Vol 22, Nr. 4, December 1990, pp. 299–320CrossRefGoogle Scholar

Copyright information

© Springer-Verlag/Wien 1992

Authors and Affiliations

  • H. Kopetz
    • 1
  1. 1.Technical University of ViennaAustria

Personalised recommendations