Dependability checking with StoCharts: Is train radio reliable enough for trains?

Share/Save/Bookmark

Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004 proceedings.

[img]
Preview
PDF
262Kb
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.
Item Type:Conference or Workshop Item
Research Group:
Link to this item:http://purl.utwente.nl/publications/49759
Official URL:http://eprints.eemcs.utwente.nl/secure/00001297/01/Jansen_DN_Note_title_has_changed.pdf
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 222571