FPTC: automated safety analysis for domain-specific languages

Hdl Handle:
http://hdl.handle.net/10149/93913
Title:
FPTC: automated safety analysis for domain-specific languages
Book Title:
Models in software engineering
Authors:
Paige, R. F. (Richard); Rose, L. M. (Louis); Ge, X. (Xiaocheng); Kolovos, D. S. (Dimitrios); Brooke, P. J. (Phillip)
Editors:
Chaudron, M. R. V. (Michel)
Affiliation:
University of Teesside. School of Computing.
Citation:
Paige, R. F. et al. (2009) 'FPTC: automated safety analysis for domain-specific languages', Symposia at MODELS, Toulouse, France, September 28 - October 3, in Chaudron, R. V. (ed) Models in software engineering, Lecture notes in computer science. Heidelberg: Springer Berlin, pp.229-242.
Publisher:
Springer Berlin
Conference:
Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008
Issue Date:
Apr-2009
URI:
http://hdl.handle.net/10149/93913
DOI:
10.1007/978-3-642-01648-6
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.
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
domain; languages; systems; automated safety analysis; fault propagation; transformation analysis; transformation analysis; Epsilon model
Series/Report no.:
Lecture notes in computer science; 5421
ISSN:
0302-9743; 1611-3349
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 09/03/2010]
Citation Count:
0 [Scopus, 09/03/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorPaige, R. F. (Richard)en
dc.contributor.authorRose, L. M. (Louis)en
dc.contributor.authorGe, X. (Xiaocheng)en
dc.contributor.authorKolovos, D. S. (Dimitrios)en
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.contributor.editorChaudron, M. R. V. (Michel)en
dc.date.accessioned2010-03-09T09:10:32Z-
dc.date.available2010-03-09T09:10:32Z-
dc.date.issued2009-04-
dc.identifier.issn0302-9743-
dc.identifier.issn1611-3349-
dc.identifier.doi10.1007/978-3-642-01648-6-
dc.identifier.urihttp://hdl.handle.net/10149/93913-
dc.description.abstractCritical 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.en
dc.language.isoenen
dc.publisherSpringer Berlinen
dc.relation.ispartofseriesLecture notes in computer science-
dc.relation.ispartofseries5421-
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 09/03/2010]en
dc.subjectdomainen
dc.subjectlanguagesen
dc.subjectsystemsen
dc.subjectautomated safety analysisen
dc.subjectfault propagationen
dc.subjecttransformation analysisen
dc.subjecttransformation analysisen
dc.subjectEpsilon modelen
dc.titleFPTC: automated safety analysis for domain-specific languagesen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookModels in software engineeringen
dc.identifier.conferenceSymposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008en
ref.citationcount0 [Scopus, 09/03/2010]en
or.citation.harvardPaige, R. F. et al. (2009) 'FPTC: automated safety analysis for domain-specific languages', Symposia at MODELS, Toulouse, France, September 28 - October 3, in Chaudron, R. V. (ed) Models in software engineering, Lecture notes in computer science. Heidelberg: Springer Berlin, pp.229-242.-
prism.startingPage229-
prism.endingPage242-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.