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 contribution

10 Citations (Scopus)

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
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
Pages229-242
Number of pages14
VolumeLNCS 5421
Edition1
ISBN (Electronic)9783642016486
ISBN (Print)9783642016479
DOIs
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
http://www.modelsconference.org/

Publication series

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

Conference

Conference11th International Conference on Model Driven Engineering Languages and Systems
Abbreviated titleMODELS 2008
CountryFrance
CityToulouse
Period28/09/083/10/08
Internet address

    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 M. R. V. Chaudron (Ed.), Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (1 ed., Vol. LNCS 5421, pp. 229-242). (Lecture Notes in Computer Science (Programming and Software Engineering); Vol. 5421). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-01648-6_25