Design and prototyping of real-time systems using CSP and CML

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1997, Pages 121-127

  Rischel, H ^a   Sun, Hongyan ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT-BASED SYSTEM; FORMAL TECHNIQUES; FUNCTIONAL LANGUAGES; PRODUCTION CELLS; SYSTEMATIC DESIGNS;

INTERACTIVE COMPUTER SYSTEMS;

REAL TIME SYSTEMS;

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

References (13)

1. C. A. R. Hoare. Communicating Sequential Processes, Computer Science Series, Prentice Hall, 1985.
2. Robin Milner. Communication and Concurrency, Computer Science Series, Prentice Hall, 1989.
3. Formal Systems Ltd. Failures Divergence Refinement - User Manual and Tutorial, Version 1.4, Formal Systems (Europe) Ltd., 1994.
4. M. Joseph (Ed). Real-Time Systems: Specification, Verification and Analysis, Computer Science Series, Prentice Hall, 1996.
5. C. Heitmeyer and D. Mandrioli (Eds). Formal Techniques In Real-Time Systems, Trends in Software-Engineering Series, Wiley, 1996.
6. J. Hooman and J. Vain. An Integrated Technique for Developing Real-Time Systems, Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, Odense, Denmark, June 14-16, 1995, pp236-243.
7. N. Nissanke. Towards Refinement in Realtime Programming, Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, Odense, Denmark, June 14-16, 1995, pp244-251.
8. John H. Reppy. Concurrent Programming with Events - The Concurrent ML Manual, Version 0.9.8, AT&T Bell Lab., February 1, 1993.
9. L. C. Paulson. ML for the Working Programmer, Cambridge University Press, 1991.
10. Anders P. Ravn, Hans Rischel and Hans Henrik Loøvengreen. A Design Method for Embedded Software Systems, BIT 28, 1988, pp427-438.
11. Hans Henrik Løvengreen, Anders P. Ravn and Hans Rischel. Design of Embedded, Real-time Systems: Developing a Method for Practical Software Engineering, COMPEURO 90, Tel-Aviv, Israel May 7-9, 1990.
12. Claus Lewerentz and Thomas Lindner (Eds). Formal Development of Reactive Systems: Case Study Production Cell, LNCS 891, Springer-Verlag, 1995.
13. R. Milner, M. Tofte and R. Harper. The Definition of Standard ML, The MIT Press, 1990.