Adding Dependability Analysis Capabilities to the MARTE Profile
暂无分享,去创建一个
[1] Rogério de Lemos,et al. Architecting dependable systems , 2003, J. Syst. Softw..
[2] Mario Dal Cin. Extending UML towards a Useful OO-Language for Modeling Dependability Features , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.
[3] Luiz Fernando Capretz,et al. Component-based software development , 2001, IECON'01. 27th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.37243).
[4] Vincenzo Grassi,et al. Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach , 2007, J. Syst. Softw..
[5] K. Goseva-Popstojanova,et al. UML based severity analysis methodology , 2005, Annual Reliability and Maintainability Symposium, 2005. Proceedings..
[6] Simona Bernardi,et al. A UML profile for dependability analysis of real-time embedded systems , 2007, WOSP '07.
[7] Bran Selic,et al. A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).
[8] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[9] Simona Bernardi,et al. An UML profile for dependability analysis and modeling of software systems , 2008 .
[10] Jacky Montmain,et al. UML models for dependability analysis of real-time systems , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).
[11] András Pataricza,et al. UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY-CRITICAL RAILWAY CONTROL SOFTWARE MODULE , 2003 .
[12] Hany H. Ammar,et al. Architectural-Level Risk Analysis Using UML , 2003, IEEE Trans. Software Eng..
[13] Gregory Zoughbi,et al. A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.
[14] Jan Jürjens,et al. Component-Based Development of Dependable Systems with UML , 2005, Component-Based Software Development for Embedded Systems.
[15] Joanne Bechta Dugan,et al. Automatic synthesis of dynamic fault trees from UML system models , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..
[16] Vittorio Cortellessa,et al. Towards a UML profile for QoS: a contribution in the reliability domain , 2004, WOSP '04.
[17] Susanna Donatelli,et al. A class Diagram framework for collecting dependability requirements in automation systems , 2004, ISoLA.
[18] Andrea Bondavalli,et al. Stochastic Dependability Analysis of System Architecture Based on UML Models , 2002, WADS.
[19] Michael R. Lyu,et al. Handbook of software reliability engineering , 1996 .
[20] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .
[21] Michael R. Lyu. Software Fault Tolerance , 1995 .
[22] Jan Jürjens,et al. Developing Safety-Critical Systems with UML , 2003, UML.
[23] Christian Bunse,et al. Component-Based Software Development for Embedded Systems - An Overview of Current Research Trends , 2005, Component-Based Software Development for Embedded Systems.
[24] Simona Bernardi,et al. QoS assessment via stochastic analysis , 2006, IEEE Internet Computing.
[25] Sébastien Gérard,et al. Improving uml profile design practices by leveraging conceptual domain models , 2007, ASE.
[26] Tim Kelly,et al. Deriving safety requirements using scenarios , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.