Integrating Different Views to Develop Complex Real-Time Systems

Abstract Views are vehicles for separation of concerns. They allow developer to address only those concerns or criteria that are of interest, ignoring others that are unrelated. For complex real-time systems, there are usually multiple parties involved in system development, which are concerned with different views of a system. This paper discusses a single design methodology that covers all phases of the life cycle, ensuring that specific real-time system requirements of the software will be met. This methodology emphasize the identification of different views on the system under construction. Each of these views can be constructed using common notations and techniques, including structured notations as well as formal specification. The proposed methodology is illustrated by specifying a heater system.

[1]  Jonathan S. Ostroff,et al.  Formal methods for the specification and design of real-time safety critical systems , 1992, J. Syst. Softw..

[2]  B. Dasarathy,et al.  Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them , 1989, IEEE Transactions on Software Engineering.

[3]  David Lorge Parnas,et al.  On satisfying timing constraints in hard-real-time systems , 1991 .

[4]  J. Van Katwijk,et al.  Applying software engineering principles in train control systems , 1994, Proceedings of 2nd IEEE Workshop on Real-Time Applications.

[5]  Wolfgang A. Halang Real-time systems: Another perspective , 1992, J. Syst. Softw..

[6]  Matthew K. Franklin,et al.  Multilevel specification of real time systems , 1991, CACM.

[7]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[8]  Thomas A. Henzinger,et al.  Real-time logics: complexity and expressiveness , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[9]  Lichen Zhang,et al.  Methodology of real-time system design using multiprocessors , 1993, Microprocess. Microsystems.

[10]  W. J. Toetenel Model oriented specification of communicating agents , 1992 .

[11]  Farnam Jahanian,et al.  A Method for Verifying Properties of Modechart Specifications , 1988, RTSS.

[12]  Alistair Sutcliffe,et al.  Jackson System Development , 1988 .

[13]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[14]  Connie U. Smith,et al.  Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives , 1993, IEEE Trans. Software Eng..