Abstract
Performance, dependability and quality of service (QoS) are prime aspects of the UML modelling domain. To capture these aspects effectively in the design phase, we have recently proposed STOCHARTS, a conservative extension of UML statechart diagrams. In this paper, we apply the STOCHART formalism to a safety critical design problem. We model a part of the European Train Control System specification, focusing on the risks of wireless communication failures in future high-speed cross-European trains. Stochastic model checking with the model checker PROVER enables us to derive constraints under which the central quality requirements are satisfied by the STOCHART model. The paper illustrates the flexibility and maturity of STOCHARTS to model real problems in safety critical system design.
| Original language | Undefined |
|---|---|
| Title of host publication | QEST 2004: first international conference on the quantitative evaluation of systems |
| Place of Publication | Los Alamitos CA |
| Publisher | IEEE |
| Pages | 250-259 |
| Number of pages | 10 |
| ISBN (Print) | 0-7695-2185-1 |
| DOIs | |
| Publication status | Published - Sept 2004 |
| Event | 1st International Conference on Quantitative Evaluation of Systems, QEST 2004 - University of Twente, Enschede, Netherlands Duration: 27 Sept 2004 → 30 Sept 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/Territory | Netherlands |
| City | Enschede |
| Period | 27/09/04 → 30/09/04 |
| Internet address |
Keywords
- IR-49759
- EWI-1297
- METIS-222571