By the same authors

From the same journal

From the same journal

Automated safety analysis for domain-specific languages

Research output: Contribution to journalConference articlepeer-review

Standard

Automated safety analysis for domain-specific languages. / Paige, Richard F.; Rose, Louis M.; Ge, Xiaocheng; Kolovos, Dimitrios S.; Brooke, Phillip J.

In: CEUR Workshop Proceedings, Vol. 394, 01.12.2008.

Research output: Contribution to journalConference articlepeer-review

Harvard

Paige, RF, Rose, LM, Ge, X, Kolovos, DS & Brooke, PJ 2008, 'Automated safety analysis for domain-specific languages', CEUR Workshop Proceedings, vol. 394.

APA

Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S., & Brooke, P. J. (2008). Automated safety analysis for domain-specific languages. CEUR Workshop Proceedings, 394.

Vancouver

Paige RF, Rose LM, Ge X, Kolovos DS, Brooke PJ. Automated safety analysis for domain-specific languages. CEUR Workshop Proceedings. 2008 Dec 1;394.

Author

Paige, Richard F. ; Rose, Louis M. ; Ge, Xiaocheng ; Kolovos, Dimitrios S. ; Brooke, Phillip J. / Automated safety analysis for domain-specific languages. In: CEUR Workshop Proceedings. 2008 ; Vol. 394.

Bibtex - Download

@article{5e6732f205094f4eac4ec06880fe013b,
title = "Automated safety analysis for domain-specific languages",
abstract = "Critical systems must be shown to be acceptably safe and secure to deploy and use in their environment. But the size, scale, het- erogeneity, 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 Trans- formation Analysis, and explain how it can be used for automatically calculating the failure behaviour of an entire system from the failure be- haviours of its components. We outline an implementation of the tech- nique in the Epsilon model management platform, thus allowing it to be used in combination with state-of-the-art model management languages and tools, and making it applicable to a variety of different domain- specific modelling languages.",
author = "Paige, {Richard F.} and Rose, {Louis M.} and Xiaocheng Ge and Kolovos, {Dimitrios S.} and Brooke, {Phillip J.}",
year = "2008",
month = dec,
day = "1",
language = "English",
volume = "394",
journal = "CEUR Workshop Proceedings 1403",
issn = "1613-0073",
publisher = "CEUR-WS",
note = "1st International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages, NFPinDSML 2008 - Affiliated with the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008 ; Conference date: 28-09-2008 Through 28-09-2008",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - Automated safety analysis for domain-specific languages

AU - Paige, Richard F.

AU - Rose, Louis M.

AU - Ge, Xiaocheng

AU - Kolovos, Dimitrios S.

AU - Brooke, Phillip J.

PY - 2008/12/1

Y1 - 2008/12/1

N2 - Critical systems must be shown to be acceptably safe and secure to deploy and use in their environment. But the size, scale, het- erogeneity, 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 Trans- formation Analysis, and explain how it can be used for automatically calculating the failure behaviour of an entire system from the failure be- haviours of its components. We outline an implementation of the tech- nique in the Epsilon model management platform, thus allowing it to be used in combination 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 and secure to deploy and use in their environment. But the size, scale, het- erogeneity, 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 Trans- formation Analysis, and explain how it can be used for automatically calculating the failure behaviour of an entire system from the failure be- haviours of its components. We outline an implementation of the tech- nique in the Epsilon model management platform, thus allowing it to be used in combination 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=84885407224&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84885407224

VL - 394

JO - CEUR Workshop Proceedings 1403

JF - CEUR Workshop Proceedings 1403

SN - 1613-0073

T2 - 1st International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages, NFPinDSML 2008 - Affiliated with the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008

Y2 - 28 September 2008 through 28 September 2008

ER -