FPTC: Automated Safety Analysis for Domain-Specific Languages

Authors:
Richard F. Paige;Louis M. Rose;Xiaocheng Ge;Dimitrios S. Kolovos;Phillip J. Brooke
Affiliations:
Department of Computer Science, University of York, UK and School of Computing, University of Teesside, UK;Department of Computer Science, University of York, UK and School of Computing, University of Teesside, UK;Department of Computer Science, University of York, UK and School of Computing, University of Teesside, UK;Department of Computer Science, University of York, UK and School of Computing, University of Teesside, UK;Department of Computer Science, University of York, UK and School of Computing, University of Teesside, UK
Venue:
Models in Software Engineering
Year:
2009

Citing 9
Cited 0

The Mascot method

Software Engineering Journal - Special issue on Mascot 3
An integrated tool set for software safety analysis

Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications

IEEE Transactions on Software Engineering
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Challenges when using Model Driven Architecture in the development of Safety Critical Software

MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
The Epsilon Transformation Language

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Modular Architectural Representation and Analysis of Fault Propagation and Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards an integration of standard component-based safety evaluation techniques with SaveCCM

QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
The epsilon object language (EOL)

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

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.