Synthesis and stochastic assessment of schedules for lacquer production

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on the Quantitative Evaluation of Systems, QEST, 27-30 Sept. 2004, Enschede, The Netherlands.

Preview

PDF
307Kb

Abstract:	The MODEST modeling language pairs modeling features from stochastic process algebra and from timed and probabilistic automata with light-weight notations such as exception handling. It is supported by the MOTOR tool, which facilitates the execution and evaluation of MODEST specifications by means of the discrete event simulation engine of the MÖBIUS tool. This paper describes the application of MODEST, MOTOR and MÖBIUS to a highly nontrivial case. We investigate the eect of faulty behavior on a hard real-time scheduling problem from the domain of lacquer production. The scheduling problem is first solved using the timed model-checker UPPAAL. The resulting schedules are then embedded in a MODEST failure model of the lacquer production line, and analyzed with the discrete event simulator of MÖBIUS. This approach allows one to assess the quality of the schedules with respect to timeliness, utilization of resources, and sensitivity to dierent assumptions about the reliability of the production line
Item Type:	Conference or Workshop Item
Copyright:	© 2004 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Robotics and Mechatronics (CE)
Link to this item:	http://purl.utwente.nl/publications/48991
Official URL:	http://dx.doi.org/10.1109/QEST.2004.10042
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 220880