Executable Models to Support Automated Software FMEA

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2015-January, Issue January, 2015, Pages 189-196

  Bonfiglio, Valentina ^a   Montecchi, Leonardo ^a   Rossi, Francesco ^b   Lollini, Paolo ^a   Pataricza, Andras ^c   Bondavalli, Andrea ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

^b Consorzio Interuniversitario Nazionale per l'Informatica ^*  (Italy)

^c BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

ALF; component based; executable model; fUML; model implemented fault injection; software safety analysis

Indexed keywords

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; HARDWARE; SAFETY ENGINEERING; SAFETY FACTOR; SOFTWARE ARCHITECTURE; SYSTEMS ENGINEERING;

ALF; COMPONENT BASED; EXECUTABLE MODEL; FAULT INJECTION; FUML; SOFTWARE SAFETY ANALYSIS;

APPLICATION PROGRAMS;

EID: 84936849926     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2015.36     Document Type: Conference Paper

References (29)

1. Bonfiglio, V., et al. "On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262," SAFECOMP 2013-Workshop CARS (2013).
2. Ward, P. and Armstrong, J.: "Behavioral fault simulation in VHDL" in Proc. Design Automation Conference, pp. 586-593, (1990).
3. Wallace, M., "Modular architectural representation and analysis of fault propagation and transformation," Electr. Notes Theor. Comput. Sci., 141(3):53-71 (2005).
4. Papadopoulos, Y. et al. "Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure" Reliability Engineering & System Safety, 71, 229-247 (2001).
5. Hong, Z., Lili X., "Application of Software Safety Analysis Using Event-B," Seventh International Conference on Software Security and Reliability Companion, 18-20, pp. 137-144 (2013).
6. Dittel, T., Aryus, H.-J., "How to "survive" a safety case according to ISO 26262. In: Com-puter Safety, Reliability, and Security," LNCS vol. 6351, Springer, pp. 97-111 (2010).
7. Bernardi, S., Merseguer, J., Petriu, D.C., "Dependability modeling and analysis of software systems specified with UM"L. ACM Comput. Surv. 45, 1, Article 2 (2012
8. Schubotz, H., "Experience with ISO WD 26262 in Automotive Safety Projects," SAE Tech Paper (2008).
9. T. Mayerhofer, P. Langer. Moliz: A Model Execution Framework for UML Models. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering at MODELS 2012 (2012).
10. Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, August. 2011.
11. Object Management Group, "Semantics of a Foundational Subset for Executable UML Models (fUML)", Version 1.1, August 2013.
12. Object Management Group, "Action Language for Foundational UML (Alf)," Version 1.0.1, October 2013.
13. Object Management Group, "UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems," Version 1.1, (2011).
14. ISO 26262 "Road vehicles-Functional safety" (2011).
15. Madeira, H., Vieira, M., "On the Emulation of Software Faults by Software Fault Injection," Dependable Systems and Networks (DSN), pp. 417-426, (2000).
16. Svenningsson, R., Törngren, M., "Model-Implemented Fault Injection for Hardware Fault Simulation," Workshop on Model-Driven Engineering, Verification, and Validation, pp. 31-36, (2010).
17. Montecchi, L., Lollini, P., and Bondavalli, A., "Towards a MDE Transformation Workflow for Dependability Analysis," In Proc. of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), pp.157-166 (2011).
18. fUML Reference Implementation, Accessed at 14/03/2014 http://portal.modeldriven.org/project/foundationalUML.
19. ALF Reference Implementation, http://modeldriven.org/alf/, Accessed 14/03/2014.
20. A. Cicchetti, et al. "CHESS: a Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems", In Proc. 27th International Conference on Automated Software Engineering (ASE 2012).
21. Gérard, S. at al. "Papyrus: A UML2 Tool for Domain-Specific Language Modeling", In Model-Based Engineering of Embedded Real-Time Systems, Springer, 6100, 361-368 (2001).
22. Bondavalli, A. et al. "Dependability analysis in the early phases of UML-based system design." Int. J. Comput. Syst. Sci. Engin. 16, 5, 265-275, 2001.
23. Pataricza, A. et al. "UML-Based design and formal analysis of a safetycritical railway control software module". In Proc. of Symposium Formal Methods for Railway Operation and Control Systems (FORMS03). 125-132, 2003.
24. Rumpe, B., "Modellierung mit UML", Springer Berlin, 2004.
25. Schindler, M. "Eine Werkzeuginfrastruktur zur agilen Entwicklung mitder UML/P," ser. Aachener Informatik-Berichte, Software Engineering, Band 11. Shaker Verlag, 2012.
26. Ciccozzi, F., Cicchetti, A., Sjödin, "Towards Translational Execution of Action Language for Foundational UML", 39th Euromicro Conference Series on Software Engineering and Advanced Applications, 2013.
27. Benyahia, A., et al. "Extending the Standard Execution Model of UML for Real-Time Systems" DIPES/BICC, Springer, 43-54, 2010.
28. C. Hofmeister, R.L. Nord, D. Soni. "Describing Software Architecture with UML", In Software Architecture, IFIP, Vol. 12, pp 145-159 (1999).
29. Z. Micskei and H. Waeselynck: "The many meanings of UML 2 Sequence Diagrams: a survey", Software and Systems Modeling, Vol. 10, Num. 4, pp. 489-514, Springer (2011).