By the same authors

From the same journal

From the same journal

Automated safety analysis for domain-specific languages

Research output: Contribution to journalConference article

Author(s)

Department/unit(s)

Publication details

JournalCEUR Workshop Proceedings
DatePublished - 1 Dec 2008
Volume394
Original languageEnglish

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations