Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | First International Conference on Quantitative Evaluation of Systems (QEST 2004) |
| Place of Publication | Los Alamitos, California |
| Publisher | IEEE Computer Science Press |
| Pages | 28-37 |
| Number of pages | 10 |
| ISBN (Print) | 0-7695-2185-1 |
| DOIs | |
| Publication status | Published - Sep 2004 |
| Event | 1st International Conference on Quantitative Evaluation of Systems, QEST 2004 - University of Twente, Enschede, Netherlands Duration: 27 Sep 2004 → 30 Sep 2004 Conference number: 1 http://www.qest.org/qest2004/ |
Publication series
| Name | |
|---|---|
| Publisher | IEEE Computer Science Press |
Conference
| Conference | 1st International Conference on Quantitative Evaluation of Systems, QEST 2004 |
|---|---|
| Abbreviated title | QEST |
| Country | Netherlands |
| City | Enschede |
| Period | 27/09/04 → 30/09/04 |
| Internet address |
Keywords
- FMT-MC: MODEL CHECKING
- FMT-PM: PROBABILISTIC METHODS
- FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
- IR-48991
- METIS-220880
- EWI-760
Cite this
}
Synthesis and stochastic assessment of schedules for lacquer production. / Bohnenkamp, H.C.; Hermanns, H.; Klaren, J.; Mader, Angelika H.; Usenko, Y.S.
First International Conference on Quantitative Evaluation of Systems (QEST 2004). Los Alamitos, California : IEEE Computer Science Press, 2004. p. 28-37.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Synthesis and stochastic assessment of schedules for lacquer production
AU - Bohnenkamp, H.C.
AU - Hermanns, H.
AU - Klaren, J.
AU - Mader, Angelika H.
AU - Usenko, Y.S.
N1 - Imported from DIES
PY - 2004/9
Y1 - 2004/9
N2 - 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.
AB - 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.
KW - FMT-MC: MODEL CHECKING
KW - FMT-PM: PROBABILISTIC METHODS
KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
KW - IR-48991
KW - METIS-220880
KW - EWI-760
U2 - 10.1109/QEST.2004.10042
DO - 10.1109/QEST.2004.10042
M3 - Conference contribution
SN - 0-7695-2185-1
SP - 28
EP - 37
BT - First International Conference on Quantitative Evaluation of Systems (QEST 2004)
PB - IEEE Computer Science Press
CY - Los Alamitos, California
ER -