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

A procedure for systematic design of event based systems is introduced by means of the Production Cell case study. The design is documented by CSP style processes, which allow both verification using formal techniques and also validation of a rapid prototype in the functional language CML.

[1]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[2]  Hans Rischel,et al.  A design method for embedded software systems , 1988, BIT.

[3]  S. R. Searle.  Appendix to "Proof" , 1976 .

[4]  H. Rischel,et al.  Design of embedded, real-time systems: developing a method for practical software engineering , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

[5]  Mathai Joseph,et al.  Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.

[6]  Nimal Nissanke.  Towards refinement in realtime programming , 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.

[7]  Jozef Hooman,et al.  An integrated technique for developing real-time systems , 1995, Proceedings Seventh Euromicro Workshop on Real-Time Systems.

[8]  Lawrence Charles Paulson,et al.  ML for the working programmer , 1991 .

[9]  Robin Milner,et al.  Definition of standard ML , 1990 .

[10]  Claus Lewerentz,et al.  Formal Development of Reactive Systems: Case Study Production Cell , 1995 .

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.