A dependability profile within MARTE

Software and Systems Modeling

Volumn 10, Issue 3, 2011, Pages 313-336

  Bernardi, Simona ^a   Merseguer, J ^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

DEPENDABILITY ANALYSIS; DIFFERENT DOMAINS; ENGINEERING COMMUNITY; FAILURE MODE AND EFFECT ANALYSIS; FAULT-TREES; MESSAGE SERVICE; MODELING AND ANALYSIS; NON FUNCTIONAL PROPERTIES; PERFORMANCE ANALYSIS; QUALITATIVE EVALUATIONS; QUANTITATIVE EVALUATION; REAL-TIME AND EMBEDDED SYSTEMS; SCHEDULABILITY; SOFTWARE LIFE CYCLES; STOCHASTIC PETRI NETS;

DAMS; EMBEDDED SYSTEMS; PETRI NETS; RANDOM ACCESS STORAGE; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; UNIFIED MODELING LANGUAGE;

QUALITY CONTROL;

EID: 79959729904     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-009-0128-1     Document Type: Article

References (45)

1. Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: Proceedings of International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5209-5214. IEEE CS. October (2004).
2. Addouche, N., Antoine, C., Montmain, J.: Methodology for UML modeling and formal verification of real-time systems. In: International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p. 17. IEEE Computer Society (2006).
3. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1995).
4. Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, pp. 132-145, London, UK. Springer-Verlag (1987).
5. 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 (2001).
6. ArgoSPE. http://argospe.tigris.org. University of Zaragoza (2006).
7. Avizienis A. et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11-33 (2004).
8. Bernardi, S., Donatelli, S., Dondossola, G.: Methodology for the generation of the modeling scenarios starting from the requisite specifications and its application to the collected requirements. IST Project 25434 DepAuDE-Deliverable D1.3b (2002).
9. Bernardi, S., Donatelli, S., Dondossola, G.: A class diagram framework for collecting dependability requirements in automation systems. In: Proceedings of 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus, October (2004).
10. Bernardi S., Merseguer J.: QoS assessment via stochastic analysis. IEEE Internet Comput. 10, 32-42 (2006).
11. Bernardi, S., Merseguer, J., Petriu, D.: A 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.
12. Bernardi S., Merseguer J., Petriu D. C.: Adding dependability analysis capabilities to the MARTE Profile. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds) Proceedings of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), volume 5301 of Lecture Notes in Computer Sciences, Toulouse, France, pp. 736-750. Springer, New York (2008).
13. Bobbio A., Ciancamerla E., Franceschinis G., Gaeta R., Minichino M., Portinale L.: Sequential application of heterogeneous models for the safety analysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81, 269-280 (2003).
14. Bondavalli A. et al.: Dependability analysis in the early phases of UML-based system design. Int. J. Comput. Syst. Sci. Eng. 16(5), 265-275 (2001).
15. 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'04), pp. 197-206. January (2004).
16. Dal Cin, M.: Extending UML towards a useful OO-Language for modeling dependability features. In: Proceedings of 9th International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 325-330, Capri Island, Italy, October 2003. IEEE CS (2003).
17. D'Ambrogio, A., Iazeolla, G., Mirandola, R.: A method for the prediction of software reliability. In: Proceedings of the 6th IASTED Software Engineering and Applications Conference (SEA2002), Cambridge, MA, USA. November (2002).
18. Denning P. J., Buzen J. P.: The operational analysis of queueing network models. ACM Comput. Surv. 10(3), 225-261 (1978).
19. Evans M., Hastings N., Peacock B.: Statistical Distributions. Wiley, New York (2000).
20. Goseva-Popstojanova K. et al.: Architectural-level risk analysis using UML. IEEE Trans. Softw. Eng. 29(10), 946-960 (2003).
21. Grassi, V., Mirandola, R., Sabetta, A.: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP'05), pp. 25-36. July (2005).
22. Grassi V., Mirandola R., Sabetta A.: Filling the gap between design and performance/reliability models of component-based systems: a model-driven approach. J. Syst. Softw. 80(4), 528-558 (2007).
23. GreatSPN.: http://www.di.unito.it/~greatspn. University of Torino (2002).
24. Hassan, A., Goseva-Popstojanova, K., Ammar, H.: UML based severity analysis methodology. In: Proceedings of Annual Reliability and Maintainability Symposium (RAMS 2005), Alexandria, VA. January (2005).
25. International Electrotechnical Commission. IEC-60300-3-1 standard: Dependability management.
26. International Electrotechnical Commission. IEC-61508 standard: Functional Safety of Electrical/Electronic/Programmable Electronic safety related problems.
27. Jürjens J., Wagner S.: Component-based development of dependable systems with UML. In: Atkinson, et al. (eds) Component-Based Software Development, volume 3778 of LNCS, pp. 320-344. Springer-Verlag, New York (2005).
28. Jürjens, J.: Developing safety-critical systems with UML. In: Proceedings of UML 2003, San Francisco, volume 2863 of LNCS, pp. 360-372. Springer-Verlag, New York. October (2003).
29. Lagarde, F., et al.: Improving UML profile design practices by leveraging conceptual domain models. In: 22nd International Conference on Automated Software Engineering, Atlanta (USA), pp. 445-448. ACM, November (2007).
30. Leveson N. G.: Safeware. Addison-Wesley, Reading (1995).
31. Lyu, M. R. (eds.): Handbook of Software Reliability Engineering. IEEE Computer Society Press (1996).
32. Lyu M. R.: Software Fault Tolerance. Wiley, New York (1995).
33. MagicDraw. http://www.magicdraw.com/. No Magic, Inc. (2009).
34. Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic dependability analysis of system architecture based on UML models. In: Architecting Dependable Systems, LNCS 2677, pp. 219-244. Springer-Verlag, New York (2003).
35. Merseguer, J., Bernardi, S., Campos, J., Donatelli, S.: A compositional semantics for UML State Machines aimed at performance evaluation. In: Silva, M., Giua, A., Colom, J. M. (eds.) WODES02: 6th International Workshop on Discrete Event Systems, pp. 295-302, Zaragoza, Spain, October 2002. IEEE Computer Society (2002).
36. Mustafiz S., Sun X., Kienzle J., Vangheluwe H.: Model-driven assessment of system dependability. J. Softw. Syst. Model. 7(4), 487-502 (2008).
37. Object Management Group.: UML Profile for Schedulability, Performance and Time Specification. January 2005. V1. 1, f/05-01-02 (2005).
38. 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 (2007).
39. Object Management Group.: UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms, April 2008. V1. 1, f/08-04-05 (2008).
40. Pai, G. J., Dugan, J. B.: Automatic synthesis of dynamic fault trees from UML system models. In: Proceedings of 13th International Symposium on Software Reliability Engineering, pp. 243-256, Annapolis, MD, USA, November 2002. IEEE CS (2002).
41. Pataricza, A.: From the general resource model to a general fault modelling paradigm? Workshop on Critical Systems, held within UML'2000 (2000).
42. Pataricza, A., et al.: UML-based design and formal analysis of a safety-critical railway control software module. In: Tarnai, G., Schnieder, E. (eds.) Proceedings of FORMS'03, pp. 125-132, Budapest (Hungary). May (2003).
43. Sahner, R. A., Trivedi, K. S., Puliafito, A.: Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, Dordrecht (1996).
44. Selic, B.: A systematic approach to domain-specific language design using UML. In: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp. 2-9 (2007).
45. Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software. In: Proceedings of Models 2007, volume 4735 of LNCS, pp. 574-588. Springer-Verlag, New York (2007).