Safety Perspective for Supporting Architectural Design of Safety-Critical Systems
暂无分享,去创建一个
[1] Liming Chen,et al. N-VERSION PROGRAMMINC: A FAULT-TOLERANCE APPROACH TO RELlABlLlTY OF SOFTWARE OPERATlON , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..
[2] András Pataricza,et al. UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY-CRITICAL RAILWAY CONTROL SOFTWARE MODULE , 2003 .
[3] Tim Kelly,et al. Safety tactics for software architecture design , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..
[4] Wilhelm Hasselbring,et al. Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering of Safety-Critical Systems , 2013, Software Engineering.
[5] Eoin Woods,et al. Software Systems Architecture: Working with Stakeholders Using Viewpoints and Perspectives , 2005 .
[6] Yasser Sedaghat,et al. An overview of fault tolerance techniques for real-time operating systems , 2013, ICCKE 2013.
[7] Gang Yu,et al. Model-Based Safety Test Automation of Safety-Critical Software , 2010, 2010 International Conference on Computational Intelligence and Software Engineering.
[8] Eric R. Ziegel,et al. System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.
[9] Alois Knoll,et al. Deriving fault-detection mechanisms from safety requirements , 2011, Computer Science - Research and Development.
[10] Bedir Tekinerdogan,et al. Defining Architectural Viewpoints for Quality Concerns , 2011, ECSA.
[11] Bedir Tekinerdogan,et al. Introducing Recovery Style for Modeling and Analyzing System Recovery , 2008, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008).
[12] David Garlan,et al. Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..
[13] Bedir Tekinerdogan,et al. Optimizing decomposition of software architecture for local recovery , 2013, Software Quality Journal.
[14] Mary Shaw,et al. Software architecture: the next step for object technology (panel) , 1993, OOPSLA '93.