FPTC: Automated Safety Analysis for Domain-Specific Languages

Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

12 Citations (Scopus)


Critical systems must be shown to be acceptably safe to deploy and use in their environment. The size, scale, heterogeneity, and distributed nature of these increasingly complex systems makes them difficult to verify and analyse. Additionally, domain experts use a variety of languages to model and build their systems. We present an automated safety analysis technique, Fault Propagation and Transformation Analysis, and explain how it can be used for automatically calculating the failure behaviour of an entire system from the failure behaviours of its components. We outline an implementation of the technique in the Epsilon model management platform, allowing it to be used with state-of-the-art model management languages and tools, and making it applicable to a variety of different domain-specific modelling languages.

Original languageEnglish
Title of host publicationModels in Software Engineering
Subtitle of host publicationWorkshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
EditorsMichael R. V. Chaudron
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages14
VolumeLNCS 5421
ISBN (Electronic)9783642016486
ISBN (Print)9783642016479
Publication statusPublished - 2009
Externally publishedYes
Event11th International Conference on Model Driven Engineering Languages and Systems - Toulouse, France
Duration: 28 Sep 20083 Oct 2008
Conference number: 11

Publication series

NameLecture Notes in Computer Science (Programming and Software Engineering)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th International Conference on Model Driven Engineering Languages and Systems
Abbreviated titleMODELS 2008
Internet address


Dive into the research topics of 'FPTC: Automated Safety Analysis for Domain-Specific Languages'. Together they form a unique fingerprint.

Cite this