Automated Safety Analysis for Domain-Specific Languages

1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages

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

Others  :  http://CEUR-WS.org/Vol-394/paper1.pdf
PID  :  25725

来源: CEUR

【 摘 要 】

Critical systems must be shown to be acceptably safe and secure to deploy and use in their environment. But 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 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.