Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study

Authors:
Johannes Kloos;Robert Eschbach
Affiliations:
-;-
Venue:
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Year:
2009

Citing 0
Cited 3

A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A systematic testing approach for autonomousm mobile robots using domain-specific languages

KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

International Journal of Embedded and Real-Time Communication Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this work, we present a results from case study ontesting a highly conﬁgurable, safety-critical system from therailway domain using model-based risk-oriented testing. Inthe construction of the system and test models, we face thefollowing problems: (i) A domain expert will usually not beknowledgeable in the construction of system models, but hasvery detailed knowledge which conﬁgurations of the systemwill be especially critical (e.g., prone to head-on collisions).Thus, a method for the construction of system and testmodels from domain-speciﬁc descriptions is necessary. (ii)The system model shall be validatable against the system’srequirements. (iii) The veriﬁcation of the system modelagainst safety requirements should be possible. We willdemonstrate an approach based on DSLs, compositionalconstruction of Mealy machines and a proof technique asa solution to these three problems.