lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Model-driven availability evaluation of railway control systems
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
Show others and affiliations
2011 (English)In: Lect. Notes Comput. Sci., 2011, p. 15-28Conference paper, Published paper (Refereed)
Abstract [en]

Maintenance of real-world systems is a complex task involving several actors, procedures and technologies. Proper approaches are needed in order to evaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper, a model-driven approach is described for the development of formal maintenance and reliability models for the availability evaluation of repairable systems. The approach facilitates the use of formal models which would be otherwise difficult to manage, and provides the basis for automated models construction. Starting from an extension to maintenance aspects of the MARTE-DAM profile for dependability analysis, an automated process based on model-to-model transformations is described. The process is applied to generate a Repairable Fault Trees model from the MARTE-DAM specification of the Radio Block Centre - a modern railway controller. © 2011 Springer-Verlag.

Place, publisher, year, edition, pages
2011. p. 15-28
Keywords [en]
Automated Model Generation, ERTMS/ETCS system, Model Transformation, Repairable Fault Trees, UML profiles, Fault-trees, Model generation, Automation, Formal languages, Hydraulic structures, Maintainability, Plant extracts, Railroads, Reliability, Security of data, Unified Modeling Language, Computer control systems
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73676DOI: 10.1007/978-3-642-24270-0_2Scopus ID: 2-s2.0-80052974180ISBN: 9783642242694 OAI: oai:DiVA.org:lnu-73676DiVA, id: diva2:1213903
Conference
19 September 2011 through 22 September 2011, Naples
Note

Conference code: 86544; Cited By :19; Export Date: 26 April 2018; Conference Paper; Correspondence Address: Bernardi, S.; Centro Universitario de la Defensa, Academia General MilitarSpain; email: simonab@unizar.es; References: Annex E:Error Model (2006) SAE-AS5506/1 Architecture Analysis and Design Language Annex (AADL), 1. , International Society of Automotive Engineers; Bernardi, S., Merseguer, J., Petriu, D.C., A Dependability Profile within MARTE (2009) Journal of Software and Systems Modeling; Bondavalli, A., Latella, D., Dal Cin, M., Pataricza, A., High-Level Integrated Design Environment for Dependability (HIDE) (1999) Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 1999, pp. 87-92. , IEEE Computer Society, Washington, DC, USA; Codetta Raiteri, D., Iacono, M., Franceschinis, G., Vittorini, V., Repairable fault tree for the automatic evaluation of repair policies (2004) Proceedings of the 2004 International Conference on Dependable Systems and Networks, pp. 659-668. , IEEE Computer Society, Washington, DC, USA; D'Ambrogio, A., Iazeolla, G., Mirandola, R., A method for the prediction of software reliability Proc. of the 6-th IASTED Software Engineering and Applications Conference, SEA 2002 (2002); (2008) ERTMS/ETCS System Requirements Specification (SRS), , SUBSET-026, Issue 3.0.0; Avizienis, A., Basic concepts and taxonomy of dependable and secure computing (2004) IEEE Trans. on Dependable and Secure Computing, 1 (1), pp. 11-33; Cancila, D., SOPHIA: A modeling language for model-based safety engineering (2009) 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems, Denver, Colorado, USA, October 6, pp. 11-26. , CEUR; Bozzano, M., Safety, dependability and performance analysis of extended AADL models (2011) The Computer Journal, 54 (5), pp. 754-775; Flammini, F., Mazzocca, N., Iacono, M., Marrone, S., Using repairable fault trees for the evaluation of design choices for critical repairable systems (2005) IEEE International Symposium on High-Assurance Systems Engineering, pp. 163-172; Jouault, F., Kurtev, I., On the architectural alignment of ATL and QVT (2006) Proceedings of the 2006 ACM Symposium on Applied Computing, SAC 2006, pp. 1188-1195. , ACM, New York; Lyu, M.R., (1995) Software Fault Tolerance, , John Wiley & Sons, Ltd., Chichester; Marrone, S., Papa, C., Vittorini, V., Multiformalism and transformation inheritance for dependability analysis of critical systems (2010) LNCS, 6396, pp. 215-228. , Méry, D., Merz, S. (eds.) IFM 2010. Springer, Heidelberg; (2005) MOF Query/Views/Transformations, , Final Adopted Spec., ptc/05-11-01; Pai, G.J., Dugan, J.B., Automatic Synthesis of Dynamic Fault Trees from UML System Models (2002) Proceedings of the 13th International Symposium on Software Reliability Engineering, pp. 243-254. , IEEE CS, Washington, DC, USA; (1998) ERTMS/ETCS RAMS Requirements Specification, , Ref. 96s1266; Rugina, A.-E., Kanoun, K., Kaaniche, M., A system dependability modeling framework using AADL and GSPNs (2007) LNCS, 4615, pp. 14-38. , de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. Springer, Heidelberg; Sendall, S., Kozaczynski, W., Model transformation: The heart and soul of model-driven software development (2003) IEEE Softw., 20, pp. 42-45; Systems Modeling Language, , http://www.sysml.org; (2009) UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE), , Version 1.0, OMG document formal/2009-11-02 November

Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-05

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
By organisation
Department of computer science and media technology (CM)
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 12 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf