Software Design Methods for Real-Time Systems

Abstract : This module describes the concepts and methods used in the software design of real time systems. It outlines the characteristics of real time systems, describes the role of software design in real time system development, surveys and compares some software design methods for real-time systems, and outlines techniques for the verification and validation of real time designs. For each design method treated, its emphasis, concepts on which it is based, steps used in its application, and an assessment of the method are provided.

[1]  David Budgen,et al.  Introduction to Software Design , 1989 .

[2]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[3]  A. Nico Habermann,et al.  Software Development Environments , 1987, Computer.

[4]  Pamela Zave,et al.  The operational versus the conventional approach to software development , 1984, CACM.

[5]  Boris Beizer,et al.  Software System Testing and Quality Assurance , 1984 .

[6]  Glenford J. Myers,et al.  Composite/structured design , 1978 .

[7]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[8]  Per Brinch Hansen,et al.  Operating System Principles , 1973 .

[9]  Victor R. Basili,et al.  Iterative enhancement: A practical technique for software development , 1975, IEEE Transactions on Software Engineering.

[10]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

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

[12]  Michael Jackson,et al.  Principles of program design , 1975 .

[13]  Richard E. Fairley,et al.  Software engineering concepts , 1985, McGraw-Hill series in software engineering and technology.

[14]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[15]  David Harel,et al.  On visual formalisms , 1988, CACM.

[16]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[17]  Lawrence Robinson.  Specification techniques , 1976, DAC '76.

[18]  Narain H. Gehani,et al.  Ada: Concurrent Programming , 1984 .

[19]  Krithi Ramamritham,et al.  Hard Real-Time Systems , 1988 .

[20]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[21]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[22]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[23]  Ruben Prieto-Diaz,et al.  Domain analysis for reusability , 1988 .

[24]  Hassan Gomaa,et al.  Prototyping as a tool in the specification of user requirements , 1981, ICSE '81.

[25]  Hassan Gomaa,et al.  A software design method for real-time systems , 1984, CACM.

[26]  John R. Cameron,et al.  An overview of JSD , 1986, IEEE Transactions on Software Engineering.

[27]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[28]  Glenford J. Myers,et al.  Structured Design , 1974, IBM Syst. J..

[29]  Alan R. Hevner,et al.  Box Structured Information Systems , 1987, IBM Syst. J..

[30]  Robert L. Glass,et al.  Real-Time Software , 1983 .

[31]  R. S. D'Ippolito,et al.  Software development using models , 1989, IWSSD '89.