FPTC: Automated Safety Analysis for Domain-Specific Languages

  • Richard F. Paige
  • Louis M. Rose
  • Xiaocheng Ge
  • Dimitrios S. Kolovos
  • Phillip J. Brooke
Conference paper

DOI: 10.1007/978-3-642-01648-6_25

Volume 5421 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Paige R.F., Rose L.M., Ge X., Kolovos D.S., Brooke P.J. (2009) FPTC: Automated Safety Analysis for Domain-Specific Languages. In: Chaudron M.R.V. (eds) Models in Software Engineering. MODELS 2008. Lecture Notes in Computer Science, vol 5421. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Richard F. Paige
    • 1
    • 2
  • Louis M. Rose
    • 1
    • 2
  • Xiaocheng Ge
    • 1
    • 2
  • Dimitrios S. Kolovos
    • 1
    • 2
  • Phillip J. Brooke
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkUK
  2. 2.School of ComputingUniversity of TeessideUK