Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems

Abstract Dual approaches for real-time systems specification try to integrate in a unique model/language the most interesting features of both operational and denotational approaches. In some cases, the object-oriented paradigm has been used for integrating the above aspects and as a support for covering with a uniform approach the development life-cycle from requirements analysis to application coding, by presenting initially a mainly denotational semantics which changes in operational semantics with the increase of implementation details. For these reasons, traditional development life-cycles are unsuitable, and more specific phases are needed to exploit the potentiality of the approach. In this paper, the authors present the life-cycle defined for a dual approach proposed in the literature—i.e., TOOMS/TROL.

[1]  Paolo Nesi,et al.  Using TILCO for specifying real-time systems , 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).

[2]  Paolo Nesi,et al.  Metric framework for object-oriented real-time systems specification languages , 1996, J. Syst. Softw..

[3]  Pierfrancesco Bellini,et al.  Verification criteria for a compositional model for reactive systems , 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

[4]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

[5]  Bran Selic,et al.  An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems , 1993, CHDL.

[6]  Richard Owens,et al.  Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings , 1995, IJCAI 1995.

[7]  Angelo Morzenti,et al.  Object-oriented logical specification of time-critical systems , 1994, TSEM.

[8]  Brian Henderson-Sellers,et al.  The object-oriented systems life cycle , 1990, CACM.

[9]  Alan C. Shaw,et al.  Communicating Real-Time State Machines , 1992, IEEE Trans. Software Eng..

[10]  Leslie Lamport,et al.  Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .

[11]  Ana Cavalcanti,et al.  Modular Object-oriented Z Specifications , 1990, Z User Workshop.

[12]  Paolo Nesi,et al.  An object-oriented dual language for specifying reactive systems , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[13]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[14]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

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

[16]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[17]  Nancy G. Leveson,et al.  Software Requirements Analysis for Real-Time Process-Control Systems , 1991, IEEE Trans. Software Eng..

[18]  C.A. Vissers,et al.  Formal description techniques , 1983, Proceedings of the IEEE.

[19]  Jonathan S. Ostroff,et al.  Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems , 1987, IEEE Real-Time Systems Symposium.

[20]  Paolo Nesi,et al.  Managing OO Projects Better , 1998, IEEE Softw..

[21]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[22]  John D. Williams.  Managing Iteration in OO Projects , 1996, Computer.

[23]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[24]  Michael Fisher,et al.  An Introduction to Executable Modal and Temporal Logics , 1993, Executable Modal and Temporal Logics.

[25]  Derek Coleman,et al.  Introducing Objectcharts or how to use Statecharts in object-oriented design , 1992 .

[26]  Øystein Haugen,et al.  Engineering real time systems - an object-oriented methodology using SDL (2. pr.) , 1993, BCS practitioner series.

[27]  J. van Katwijk,et al.  VDM++, a formal specification language for object-oriented designs , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.

[28]  Paolo Nesi,et al.  Using TOOMS/TROL for specifying a cellular phone , 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.

[29]  Leslie Lamport,et al.  TLA in Pictures , 1995, IEEE Trans. Software Eng..

[30]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[31]  Pierfrancesco Bellini,et al.  Verification of external specifications of reactive systems , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[32]  S. J. Goldsack,et al.  Discrete event process controller synthesis using VDM/sup ++/ , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[33]  Joseph A. Goguen,et al.  OOZE: An Object Oriented Z Environment , 1991, ECOOP.