Automated Safety Analysis for Domain-Specific Languages

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

Research output: Contribution to journalConference articlepeer-review

Abstract

Critical systems must be shown to be acceptably safe and secure to deploy and use in their environment. But the size, scale, het- erogeneity, 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 Trans- formation Analysis, and explain how it can be used for automatically calculating the failure behaviour of an entire system from the failure be- haviours of its components. We outline an implementation of the tech- nique in the Epsilon model management platform, thus allowing it to be used in combination 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
Number of pages15
JournalCEUR Workshop Proceedings
Volume394
Early online date24 Sep 2008
Publication statusPublished - 2008
Externally publishedYes
Event1st International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages: Affiliated with the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008) - Toulouse, France
Duration: 28 Sep 200828 Sep 2008
Conference number: 1
http://ceur-ws.org/Vol-394/

Fingerprint

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

Cite this