FPTC: Automated Safety Analysis for Domain-Specific Languages

Richard F. Paige; Louis M. Rose; Xiaocheng Ge; Dimitrios S. Kolovos; Phillip J. Brooke

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

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 proceeding › Conference contribution › peer-review

12 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 language	English
Title of host publication	Models in Software Engineering
Subtitle of host publication	Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Editors	Michael R. V. Chaudron
Publisher	Springer-Verlag Berlin Heidelberg
Pages	229-242
Number of pages	14
Volume	LNCS 5421
Edition	1
ISBN (Electronic)	9783642016486
ISBN (Print)	9783642016479
DOIs	https://doi.org/10.1007/978-3-642-01648-6_25
Publication status	Published - 2009
Externally published	Yes
Event	11th International Conference on Model Driven Engineering Languages and Systems - Toulouse, France Duration: 28 Sep 2008 → 3 Oct 2008 Conference number: 11 http://www.modelsconference.org/

Publication series

Name	Lecture Notes in Computer Science (Programming and Software Engineering)
Publisher	Springer
Volume	5421
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Conference on Model Driven Engineering Languages and Systems
Abbreviated title	MODELS 2008
Country/Territory	France
City	Toulouse
Period	28/09/08 → 3/10/08
Internet address	http://www.modelsconference.org/

Access to Document

10.1007/978-3-642-01648-6_25Licence: Unspecified

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

Paige, Richard F. ; Rose, Louis M. ; Ge, Xiaocheng et al. / FPTC : Automated Safety Analysis for Domain-Specific Languages. Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. editor / Michael R. V. Chaudron. Vol. LNCS 5421 1. ed. Springer-Verlag Berlin Heidelberg, 2009. pp. 229-242 (Lecture Notes in Computer Science (Programming and Software Engineering)).

@inproceedings{5cad506ce6be42ccbdfe296c9f5a53e8,

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

keywords = "Modelling Language, Failure Analysis, Safety Analysis, Object Constraint Language, Failure Behaviour",

author = "Paige, {Richard F.} and Rose, {Louis M.} and Xiaocheng Ge and Kolovos, {Dimitrios S.} and Brooke, {Phillip J.}",

year = "2009",

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

language = "English",

isbn = "9783642016479",

volume = "LNCS 5421",

series = "Lecture Notes in Computer Science (Programming and Software Engineering)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "229--242",

editor = "Chaudron, {Michael R. V.}",

booktitle = "Models in Software Engineering",

address = "Germany",

edition = "1",

note = "11th International Conference on Model Driven Engineering Languages and Systems, MODELS 2008 ; Conference date: 28-09-2008 Through 03-10-2008",

url = "http://www.modelsconference.org/",

}

Paige, RF, Rose, LM, Ge, X, Kolovos, DS & Brooke, PJ 2009, FPTC: Automated Safety Analysis for Domain-Specific Languages. in MRV 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 edn, vol. LNCS 5421, Lecture Notes in Computer Science (Programming and Software Engineering), vol. 5421, Springer-Verlag Berlin Heidelberg, pp. 229-242, 11th International Conference on Model Driven Engineering Languages and Systems, Toulouse, France, 28/09/08. https://doi.org/10.1007/978-3-642-01648-6_25

FPTC : Automated Safety Analysis for Domain-Specific Languages. / Paige, Richard F.; Rose, Louis M.; Ge, Xiaocheng et al.

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. ed. / Michael R. V. Chaudron. Vol. LNCS 5421 1. ed. Springer-Verlag Berlin Heidelberg, 2009. p. 229-242 (Lecture Notes in Computer Science (Programming and Software Engineering); Vol. 5421).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - FPTC

T2 - 11th International Conference on Model Driven Engineering Languages and Systems

AU - Paige, Richard F.

AU - Rose, Louis M.

AU - Ge, Xiaocheng

AU - Kolovos, Dimitrios S.

AU - Brooke, Phillip J.

N1 - Conference code: 11

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.

KW - Modelling Language

KW - Failure Analysis

KW - Safety Analysis

KW - Object Constraint Language

KW - Failure Behaviour

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 - Conference contribution

AN - SCOPUS:67650128691

SN - 9783642016479

VL - LNCS 5421

T3 - Lecture Notes in Computer Science (Programming and Software Engineering)

SP - 229

EP - 242

BT - Models in Software Engineering

A2 - Chaudron, Michael R. V.

PB - Springer-Verlag Berlin Heidelberg

Y2 - 28 September 2008 through 3 October 2008

ER -

Paige RF, Rose LM, Ge X, Kolovos DS, Brooke PJ. FPTC: Automated Safety Analysis for Domain-Specific Languages. In Chaudron MRV, editor, 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. Springer-Verlag Berlin Heidelberg. 2009. p. 229-242. (Lecture Notes in Computer Science (Programming and Software Engineering)). doi: 10.1007/978-3-642-01648-6_25

FPTC: Automated Safety Analysis for Domain-Specific Languages

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this