Conference paper
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
| Language: | English |
|---|---|
| Publisher: | IEEE |
| Year: | 1997 |
| Pages: | 121-127 |
| Proceedings: | Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on |
| ISBN: | 0818680342 and 9780818680342 |
| ISSN: | 21593817 and 10683070 |
| Types: | Conference paper |
| DOI: | 10.1109/EMWRTS.1997.613772 |
Belts CSP style processes Design methodology Feeds Production Cell case study Production systems Prototypes Real time systems Robots Safety Synchronization Testing communicating sequential processes event based systems formal techniques functional language CML functional languages production control program verification rapid prototype real time systems prototyping real-time systems software prototyping systematic design verification
