Adding dependability analysis capabilities to the MARTE profile

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 736-750

  Bernardi, Simona ^a   Merseguer, José ^b   Petriu, Dorina C ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

^c CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; MODEL STRUCTURES; MODELS; QUERY LANGUAGES; UNIFIED MODELING LANGUAGE;

AND MODELING; DEPENDABILITY ANALYSES; DEPENDABILITY MODELS; DEPTH ANALYSIS; DO-MAINS; DOMAIN MODELS; FUNCTIONAL PROPERTIES; INFORMATION REQUIREMENTS; LIFE-CYCLE; QUANTITATIVE ANALYSES; SYSTEM MODELS; UML EXTENSIONS; UML PROFILES;

MODAL ANALYSIS;

EID: 56849095781     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_51     Document Type: Conference Paper

References (30)

1. Avizienis, A., et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing 1(1), 11 - 33 (2004)
2. Object Management Group: UML Profile for Schedulability, Performance and Time Specification. (January 2005) V1.1, f/05-01-02
3. Object Management Group: A UML profile for Modeling and Analysis of Real Time Embedded Systems, Beta 1. (August 2007) Adopted Spec, ptc/07-08-04
4. Object Management Group: UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms. (April 2008) V1.1, f/08-04-05
5. Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: Proc. of WOSP, February 2007, pp. 115-124. ACM, New York (2007)
6. Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE Int.l Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), pp. 2-9 (2007)
7. Lagarde, F., et al.: Improving UML profile design practices by leveraging conceptual domain models. In: 22nd Int.l Conf. on Automated Software Engineering, Atlanta (USA), November 2007, pp. 445-448. ACM, New York (2007)
8. Leveson, N.: Safeware. Addison-Wesley, Reading (1995)
9. Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. IEEE Computer Society Press, Los Alamitos (1996)
10. Lyu, M.: Software Fault Tolerance. John Wiley & Sons, Ltd., Chichester (1995)
11. Commission, I.E.: IEC-60300-3-1 standard: Dependability management
12. Commission, I.E.: IEC-61508 standard: Functional Safety of Electrical/ Electronic/ Programmable Electronic safety related problems
13. Bernardi, S., Merseguer, J., Petriu, D.: An UML profile for Dependability Analysis and Modeling of Software Systems. Technical Report RR-08-05, Universidad de Zaragoza, Spain (2008), http://www.di.unito.it/∼bernardi/ DAMreport08.pdf
14. Pataricza, A.: From the General Resource Model to a General Fault Modelling Paradigm? In: Workshop on Critical Systems, held within UML 2000 (2000)
15. Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: Proc. International Conference on Systems, Man and Cybernetics, October 2004, vol. 6, pp. 5209-5214. IEEE Computer Society, Los Alamitos (2004)
16. st Int.l Symposium on Leveraging Applications of Formal Methods, Cyprus (October 2004)
17. Bernardi, S., Merseguer, J.: QoS Assessment via Stochastic Analysis. IEEE Internet Computing, 32-42 (May-June 2006)
18. Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: Architecting Dependable Systems. LNCS, vol. 2677, pp. 219-244. Springer, Heidelberg (2003)
19. Dal Cin, M.: Extending UML towards a Useful OO-Language for Modeling Dependability Features. In: Proc. of 9th Int.l Workshop on Object-Oriented Real-Time Dependable Systems, Capri Island, Italy, October 2003, pp. 325-330. IEEE Computer Society, Los Alamitos (2003)
20. Pai, G., Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML system models. In: Proc. of 13th Int. Symposium on Software Reliability Engineering, Annapolis, MD, USA, November 2002, pp. 243-256. IEEE Computer Society, Los Alamitos (2002)
21. D'Ambrogio, A., Iazeolla, G., Mirandola, R.: A method for the prediction of software reliability. In: Proe. of the 6-th LASTED Software Engineering and Applications Conference (SEA 2002), Cambridge, MA, USA (November 2002)
22. Cortellessa, V., Pompei, A.: Towards a UML Profile for QoS: a contribution in the reliability domain. In: Proceedings of the Fourth International Workshop on Software and Performance (WOSP 2004), pp. 197-206 (January 2004)
23. Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach. Journal of Systems and Software 80(4), 528-558 (2007)
24. Jiirjens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 360-372. Springer, Heidelberg (2003)
25. Jiirjens, J., Wagner, S.: Component-based Development of Dependable Systems with UML. In: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (eds.) Component-Based Software Development for Embedded Systems. LNCS, vol. 3778, pp. 320-344. Springer, Heidelberg (2005)
26. Pataricza, A., et al.: UML-based design and formal analysis of a safety-critical railway control software module. In: Tarnai, G., Schnieder, E. (eds.) Proc. of FORMS 2003, Budapest (Hungary), pp. 125-132 (May 2003)
27. Goseva-Popstojanova, K., et al.: Architectural-level risk analysis using UML. IEEE Transactions on Software Engineering 29(10), 946-960 (2003)
28. Hassan, A., Goseva-Popstojanova, K., Ammar, H.: UML Based Severity Analysis Methodology. In: Proc. of Annual Reliability and Maintainability Symposium (RAMS 2005), Alexandria, VA (January 2005)
29. Allenby, K., Kelly, T.: Deriving safety requirements using scenarios. In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), pp. 228-235. IEEE Computer Society, Los Alamitos (2001)
30. Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 574-588. Springer, Heidelberg (2007)