The design of real-time systems: from specification to implementation and verification

Presents an engineering approach to the design of distributed real-time systems, which guarantee hard deadlines and can tolerate a specified set of faults. The methodology covers the stepwise refinement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete design. The testability of the evolving system is considered to be of essential concern. A set of coherent tools for the support of the methodology is described in some detail. The methodology assumes that the runtime architecture is based on static scheduling, and a globally synchronised time-base is available to co-ordinate the system actions in the domain of real time.

[1]  Alan C. Shaw,et al.  Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..

[2]  Richard E. Korf,et al.  Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[3]  H. Kantz,et al.  Modeling of PMS—Structures in Sharpe , 1989 .

[4]  Hugo Simpson,et al.  The Mascot method , 1986, Softw. Eng. J..

[5]  C. Senft.  A computer-aided design environment for distributed realtime systems , 1988, [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.

[6]  W. Schutz,et al.  A test strategy for the distributed real-time system MARS , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

[7]  William E. Howden.  Life-Cycle Software Validation , 1982, Computer.

[8]  Miroslaw Malek,et al.  Survey of software tools for evaluating reliability, availability, and serviceability , 1988, CSUR.

[9]  William E. Howden,et al.  A functional approach to program testing and analysis , 1986, IEEE Transactions on Software Engineering.

[10]  Janusz W. Laski,et al.  Testing in the program development cycle , 1989, Softw. Eng. J..

[11]  Hermann Kopetz,et al.  Tolerating transient faults in MARS , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[12]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[13]  Alexander D. Stoyenko,et al.  A real-time language with a schedulability analyzer , 1988 .

[14]  Hassan Gomaa.  Software development of real-time systems , 1986, CACM.

[15]  Kishor S. Trivedi,et al.  Reliability estimation of fault-tolerant systems: tools and techniques , 1990, Computer.

[16]  Mark Dowson.  ISTAR and the contractual approach , 1987, ICSE '87.

[17]  Dieter Hogrefe,et al.  The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.

[18]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[19]  S K Trivedi,et al.  Dependability Prediction: Comparison of Tools and Techniques , 1986 .

[20]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[21]  John P. Lehoczky,et al.  Task Scheduling In Distributed Real-Time Systems , 1987, Other Conferences.

[22]  Robert L. Glass.  Real-time: the “Lost World” of software debugging and testing , 1980, CACM.

[23]  Kishor S. Trivedi,et al.  Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.

[24]  David Gelperin,et al.  The growth of software testing , 1988, CACM.