Executable Models to Support Automated Software FMEA
暂无分享,去创建一个
Andrea Bondavalli | Paolo Lollini | Leonardo Montecchi | András Pataricza | Francesco Rossi | Valentina Bonfiglio
[1] Simona Bernardi,et al. Dependability modeling and analysis of software systems specified with UML , 2012, CSUR.
[2] András Pataricza,et al. UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY-CRITICAL RAILWAY CONTROL SOFTWARE MODULE , 2003 .
[3] Zhang Hong,et al. Application of Software Safety Analysis Using Event-B , 2013, 2013 IEEE Seventh International Conference on Software Security and Reliability Companion.
[4] John A. McDermid,et al. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..
[5] Andrea Bondavalli,et al. On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262 , 2013, CARS@SAFECOMP.
[6] Henrik Eriksson,et al. Model-Implemented Fault Injection for Hardware Fault Simulation , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.
[7] Andrea Bondavalli,et al. Towards a MDE Transformation Workflow for Dependability Analysis , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
[8] Bran Selic,et al. Papyrus: A UML2 Tool for Domain-Specific Language Modeling , 2007, Model-Based Engineering of Embedded Real-Time Systems.
[9] Federico Ciccozzi,et al. Towards Translational Execution of Action Language for Foundational UML , 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.
[10] Torsten Dittel,et al. How to "Survive" a Safety Case According to ISO 26262 , 2010, SAFECOMP.
[11] Malcolm Wallace,et al. Modular Architectural Representation and Analysis of Fault Propagation and Transformation , 2005, FESCA@ETAPS.
[12] Bernhard Rumpe,et al. Modellierung mit UML - Sprache, Konzepte und Methodik , 2004, Xpert.press.
[13] Martin Schindler,et al. Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P , 2012, Aachener Informatik-Berichte, Software Engineering.
[14] Sébastien Gérard,et al. Extending the Standard Execution Model of UML for Real-Time Systems , 2010, DIPES/BICC.
[15] James R. Armstrong,et al. Behavioral fault simulation in VHDL , 1991, DAC '90.
[16] Marco Vieira,et al. On the emulation of software faults by software fault injection , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
[17] Diego Latella,et al. Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..
[18] Zoltán Micskei,et al. The many meanings of UML 2 Sequence Diagrams: a survey , 2011, Software & Systems Modeling.
[19] Tullio Vardanega,et al. CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems , 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
[20] Tanja Mayerhofer,et al. Moliz: a model execution framework for UML models , 2012, MW '12.
[21] Horst Schubotz. Experience with ISO WD 26262 in Automotive Safety Projects , 2008 .
[22] Robert L. Nord,et al. Describing Software Architecture with UML , 1999, WICSA.