By Topic

Synthesis and stochastic assessment of schedules for lacquer production

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Bohnenkamp, H.C. ; Fac. of Electr. Eng., Math. & Comput. Sci., Twente Univ., Enschede, Netherlands ; Hermanns, H. ; Klaren, R. ; Mader, A.
more authors

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 Mobius tool. This paper describes the application of Modest, Motor and Mobius to a highly nontrivial case. We investigate the effect 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 Mobius. This approach allows one to assess the quality of the schedules with respect to timeliness, utilization of resources, and sensitivity to different assumptions about the reliability of the production line.

Published in:

Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the

Date of Conference:

27-30 Sept. 2004