Design and prototyping of real-time systems using CSP and CML
- 1 January 1997
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10683070,p. 121-127
- https://doi.org/10.1109/emwrts.1997.613772
Abstract
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.Keywords
This publication has 3 references indexed in Scilit:
- Towards refinement in realtime programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An integrated technique for developing real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A design method for embedded software systemsBIT Numerical Mathematics, 1988