Software Engineering for Real-Time Systems
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.
KeywordsControl Object Triple Modular Redundancy Action Grid Fault Scenario Load Hypothesis
Unable to display preview. Download preview PDF.
- 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.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
- 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.Specification and Design for Dependability, Esprit Project Nr. 3092 (PDCS: Predictably Dependable Computing Systems), Ist Year Report, LAAS, Toulouse, 1990Google Scholar
- 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