Abstract
Many hybrid systems are safety critical systems, i.e. the incorrect functioning of the system can have severe consequences. Being able to model and analyse such systems prior to their implementation is viat. Usting thee process algebra µCRLt a case study on a conveyor belt system has been conducted (see[12]). The great complexity allowed for a thorough identification of gaps in the formalism for applications in the area of hybrid systems. The models in this paper are slightly simplified versions of the models in [12].
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 1st PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 13, 2000) |
| Editors | J. P. Veen |
| Place of Publication | Utrecht |
| Publisher | STW Technology Foundation |
| Pages | 165-170 |
| ISBN (Print) | 90-73461-25-1 |
| Publication status | Published - 2000 |