The TTC 2015 train benchmark case for incremental model validation

Gábor Szárnyas, Oszkár Semeráth, István Ráth, D. Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

In model-driven development of safety-critical systems (like automotive, avionics or railways), wellformedness of models is repeatedly validated in order to detect design flaws as early as possible. Validation rules are often implemented by a large amount of imperative model traversal code which makes those rule implementations complicated and hard to maintain. Additionally as models are rapidly increasing in size and complexity, efficient execution of these operations is challenging for the currently available toolchains. However, checking well-formedness constraints can be interpreted as evaluation of model queries, and the operations as model transformations, where the validation task can be specified in a concise way, and executed efficiently. This paper presents a benchmark case and an evaluation framework to systematically assess the scalability of validating and revalidating well-formedness constraints over large models. The benchmark case defines a typical well-formedness validation scenario in the railway domain including the metamodel, an instance model generator, and a set of well-formedness constraints captured by queries and repair operations (imitating the work of systems engineers by model transformations). The benchmark case focuses on the execution time of the query evaluations with a special emphasis on reevaluations, as well as simple repair transformations.

Original languageEnglish
Title of host publicationCEUR Workshop Proceedings
PublisherCEUR-WS
Pages129-141
Number of pages13
Volume1524
Publication statusPublished - 2015
Event8th Transformation Tool Contest, TTC 2015 - A part of the Software Technologies: Applications and Foundations, STAF 2015 - L'Aquila, Italy
Duration: Jul 24 2015 → …

Other

Other8th Transformation Tool Contest, TTC 2015 - A part of the Software Technologies: Applications and Foundations, STAF 2015
CountryItaly
CityL'Aquila
Period7/24/15 → …

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'The TTC 2015 train benchmark case for incremental model validation'. Together they form a unique fingerprint.

  • Cite this

    Szárnyas, G., Semeráth, O., Ráth, I., & Varró, D. (2015). The TTC 2015 train benchmark case for incremental model validation. In CEUR Workshop Proceedings (Vol. 1524, pp. 129-141). CEUR-WS.