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 proceedingChapter

    Abstract

    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
    PublisherSpringer Berlin
    Pages229-242
    DOIs
    Publication statusPublished - Apr 2009
    EventSymposia at MODELS - Toulouse, France
    Duration: 28 Sep 20083 Oct 2008

    Publication series

    NameModels in Software Engineering
    Volume5421
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    ConferenceSymposia at MODELS
    CountryFrance
    CityToulouse
    Period28/09/083/10/08

    Fingerprint Dive into the research topics of 'FPTC: automated safety analysis for domain-specific languages'. Together they form a unique fingerprint.

  • Cite this

    Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S., & Brooke, P. J. (2009). FPTC: automated safety analysis for domain-specific languages. In Models in Software Engineering (pp. 229-242). (Models in Software Engineering; Vol. 5421). Springer Berlin. https://doi.org/10.1007/978-3-642-01648-6