Abstract
The process-algebraic language µcrl is used to analyze an existing distributed system for lifting trucks. Four errors were found in the original design. We propose solutions for these problems and show by means of model-checking that the modified system meets the requirements.
| Original language | English |
|---|---|
| Title of host publication | Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001) |
| Editors | F. Karelse |
| Place of Publication | Utrecht |
| Publisher | STW Technology Foundation |
| Pages | 59-66 |
| ISBN (Print) | 90-73461-26-X |
| Publication status | Published - 2001 |
Fingerprint Dive into the research topics of 'A balancing act : analyzing a distributed lift system'. Together they form a unique fingerprint.
Cite this
Groote, J. F., Pang, J., & Wouters, A. G. (2001). A balancing act : analyzing a distributed lift system. In F. Karelse (Ed.), Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001) (pp. 59-66). STW Technology Foundation.