A balancing act : analyzing a distributed lift system

J.F. Groote, J. Pang, A.G. Wouters

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

46 Downloads (Pure)

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 languageEnglish
Title of host publicationProceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001)
EditorsF. Karelse
Place of PublicationUtrecht
PublisherSTW Technology Foundation
Pages59-66
ISBN (Print)90-73461-26-X
Publication statusPublished - 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.