Integrating VDM++ and real-time system design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1212, Issue , 1997, Pages 188-219

  Lano, K ^a   Goldsack, S ^a   Bicarregui, J ^a   Kent, S ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; FORMAL SPECIFICATION; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

FORMAL DESIGN; HARD REAL-TIME SYSTEMS; MINE PUMPS; OBJECT-ORIENTED SPECIFICATIONS; REFINEMENT STEP;

REAL TIME SYSTEMS;

EID: 84947773699     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027290     Document Type: Conference Paper

References (22)

1. M Awad, J Kuusela, and Jurgen Ziegler. Object-oriented Technology for Real-time Systems. Prentice Hall, 1996.
2. P I Barton, E Smith and C C Pantelides. Combined Discrete/Continuous Process Modelling Using gPROMS, 1991 AIChE Annual Meeting: Recent Advances in Process Control, Los Angeles, 1991.
3. P Barton and T Park. Analysis and Control of Combined Discrete/Continuous Systems: Progress and Challenges in the Chemical Processing Industries, in proceedings of Chemical Process Control - V: Assessment and New Directions for Research, January, 1996.
4. A Burns and A Wellings. HRT-HOOD: A structured design method for hard realtime systems. Real-Time Systems, 6(1):73-114, January 1994.
5. D Coleman, P Arnold, S Bodoff, C Dollin, H Gilchrist, F Hayes, and P Jeremaes. Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, 1994.
6. S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Sept 1994.
7. ++. In Proceedings of Real Time 00 Workshop, ECOOP 96, 1996.
8. S M Celiktin. Interval-Based Techniques for the Specification and Analysis of RealTime Requirements, PhD thesis, Catholic University of Louvain, September 1994.
9. S Engell and S Kowalewski. Discrete Events and Hybrid Systems in Process Control, Proceedings of Chemical Process Control - V: Assessment and New Directions for Research, January, 1996.
10. J Fiadeiro and T Maibaum. Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, SpringerVerlag, 1991.
11. F Jahanian and A K Mok. Safety Analysis of Timing Properties in Real-time Systems, IEEE Transactions on Software Engineering, SE-12, pp. 890-904, September 1986.
12. S Kent and K Lano. Axiomatic Semantics for Concurrent Object Systems, AFRODITE Technical Report AFRO/IC/SKKL/SEM/V1, Dept, of Computing, Imperial College, 180 Queens Gate, London SW7 2BZ.
13. ++, FORTE '95 Proceedings, Chapman and Hall, 1995.
14. K Lano, J Bicarregui and S Kent. A Real-time Action Logic of Objects, ECOOP 96 Workshop on Proof Theory of Object-oriented Systems, Linz, Austria, 1996.
15. K Lano. Semantics of Real-Time Action Logic, Technical Report GR/K68783-3, Dept, of Computing, Imperial College, 1996.
16. K Lano, S Goldsack and A Sanchez. Transforming Continuous into Discrete Specifications with VDM++, IEE C8 Colloquium Digest on Hybrid Control for real-time Systems, 1996.
17. ++ and gPROMS, ROOS project report GR/K68783-13, November 1996, Dept, of Computing, Imperial College.
18. G Lowe and H Zedan. Refinement of complex systems: A case study. The Computer Journal, 38(10):785-800, 1995.
19. Z Manna and A Pnueli. Time for concurrency. Technical report, Dept, of Computer Science, Stanford University, 1992.
20. B Mahony and I J Hayes. Using continuous real functions to model timed histories. In P A Bailes, editor, Proceedings of 6th Australian Software Engineering Conference. Australian Computer Society, July 1991.
21. J S Ostroff. Temporal Logic for Real-Time Systems. John Wiley, 1989.
22. A Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In J de Bakker, W P de Roever, and G Rozenberg, editors, Current Trends in Concurrency, LNCS vol. 224, SpringerVerlag, 1986.