FPTC: Automated Safety Analysis for Domain-Specific Languages

R.F. Paige; L.M. Rose; X. Ge; D.S. Kolovos; P.J. Brooke

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

FPTC: Automated Safety Analysis for Domain-Specific Languages

R.F. Paige, L.M. Rose, X. Ge, D.S. Kolovos, P.J. Brooke

Computer Science

Research output: Contribution to conference › Paper › peer-review

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 language	Undefined/Unknown
Pages	229-242
DOIs	https://doi.org/10.1007/978-3-642-01648-6_25
Publication status	Published - 2009

Access to Document

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

http://dx.doi.org/10.1007/978-3-642-01648-6_25

Cite this

@conference{905fe32ed538422eb0ff90e654766d3a,

title = "FPTC: Automated Safety Analysis for Domain-Specific Languages",

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. ",

author = "R.F. Paige and L.M. Rose and X. Ge and D.S. Kolovos and P.J. Brooke",

year = "2009",

doi = "10.1007/978-3-642-01648-6_25",

language = "Undefined/Unknown",

pages = "229--242",

}

TY - CONF

T1 - FPTC: Automated Safety Analysis for Domain-Specific Languages

AU - Paige, R.F.

AU - Rose, L.M.

AU - Ge, X.

AU - Kolovos, D.S.

AU - Brooke, P.J.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=67650128691&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-01648-6_25

DO - 10.1007/978-3-642-01648-6_25

M3 - Paper

SP - 229

EP - 242

ER -

FPTC: Automated Safety Analysis for Domain-Specific Languages

Abstract

Access to Document

Other files and links

Cite this