An integrated technique for developing real-time systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1995, Pages 236-243

  Hooman, J ^a   Vain, J ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITIONAL VERIFICATION; CONCEPTUAL MODEL; FORMAL SPECIFICATION; INTEGRATED TECHNIQUES; META MODEL; MINE PUMPS; REAL TIME SPECIFICATIONS; REFINEMENT STEP;

INTERACTIVE COMPUTER SYSTEMS; SPECIFICATION LANGUAGES;

REAL TIME SYSTEMS;

EID: 84884634007     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1995.514317     Document Type: Conference Paper

References (11)

1. A. Burns and A.M. Lister. A framework for building dependable systems. The Computer Journal, 34(2):173-181, 1991.
2. J. Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558, Springer-Verlag, 1991.
3. J. Hooman. A compositional approach to the design of hybrid systems. In Workshop on Theory of Hybrid Systems, pages 121-148. LNCS 736, 1993.
4. J. Hooman. Compositional verification of a distributed real-time arbitration protocol. Real-Time Systems, 6:173-205, 1994.
5. J. Hooman. Correctness of real time systems by construction. In Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 19-40. LNCS 863, 1994.
6. J. Hooman. Extending Hoare logic to real-time. Formal Aspects of Computing, 6(6A):801-825, 1994.
7. M. Jaffe, N.Leveson, M. Heimdahl, and B. Melhart. Software requirements analysis for real-time process control systems. Trans. on Software Engineering, 17(3):241-258, 1991.
8. H. Kangassalo. On the concept of concept for conceptual modeling and concept detection. In S. Ohsuga, editor, Information Modeling and Knowledge Bases III, pages 17-58. IOs Press, 1992.
9. R. Kurki-Suonio, K. Systa, and J. Vain. Real-time specification and modeling with joint actions. Science of Computer Programming, 20:113-140, 1993. (Pubitemid 23672081)
10. M. Littover, M. Kaaramees, I. Randvee, and J. Vain. Towards integrated modeling techniques. Research report, Institute of Cybernetics, Estonian Academy of Sciences, 1993.
11. E. R. Olderog. Process theory: semantics, specification and verification. In ESPRIT/LPC Advanced School on Current Trends in Concurrency, pages 509-519. LNCS 194, Springer-Verlag, 1985.