|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Synthesis and Stochastic Assessment of Schedules for Lacquer Production
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
| ASCII Text | x | ||
| H. C. Bohnenkamp, H. Hermanns, R. Klaren, A. Mader, Y. S. Usenko, "Synthesis and Stochastic Assessment of Schedules for Lacquer Production," Quantitative Evaluation of Systems, International Conference on, pp. 28-37, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004. | |||
| BibTex | x | ||
| @article{ 10.1109/QEST.2004.10042, author = {H. C. Bohnenkamp and H. Hermanns and R. Klaren and A. Mader and Y. S. Usenko}, title = {Synthesis and Stochastic Assessment of Schedules for Lacquer Production}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2004}, isbn = {0-7695-2185-1}, pages = {28-37}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10042}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Quantitative Evaluation of Systems, International Conference on TI - Synthesis and Stochastic Assessment of Schedules for Lacquer Production SN - 0-7695-2185-1 SP28 EP37 A1 - H. C. Bohnenkamp, A1 - H. Hermanns, A1 - R. Klaren, A1 - A. Mader, A1 - Y. S. Usenko, PY - 2004 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER - | |||
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 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 M?bius. 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.
Citation:
H. C. Bohnenkamp, H. Hermanns, R. Klaren, A. Mader, Y. S. Usenko, "Synthesis and Stochastic Assessment of Schedules for Lacquer Production," qest, pp.28-37, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.
