Towards a MDE transformation workflow for dependability analysis

Proceedings - 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011

Volumn , Issue , 2011, Pages 157-166

  Montecchi, Leonardo ^a   Lollini, Paolo ^a   Bondavalli, Andrea ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

CHESS; Dependability analysis; Intermediate model; Model driven engineering; Transformation workflow; UML

Indexed keywords

CHESS; DEPENDABILITY ANALYSIS; INTERMEDIATE MODEL; MODEL DRIVEN ENGINEERING; TRANSFORMATION WORKFLOW; UML;

INDUSTRIAL RESEARCH; NETWORK SECURITY; QUALITY OF SERVICE;

MODELS;

EID: 79960529846     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2011.23     Document Type: Conference Paper

References (24)

1. D. C. Schmidt, "Guest Editor's Introduction: Model-Driven Engineering", IEEE Computer, vol. 39, no. 2, pp. 25-31, Feb. 2006.
2. Object Management Group, "UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms", version 1.0, February 2008. http://www.omg.org/spec/QFTP/1.0/.
3. ARTEMIS-JU-100022 CHESS - Composition with guarantees for High-integrity Embedded Software components aSsembly. http://www.chess-project.org.
4. th IASTED Software Engineering and Applications Conference (SEA'02), 2002.
5. V. Cortellessa, H. Singh, B. Cukic. "Early reliability assessment of UML based software models", In WOSP '02: Proceedings of the 3rd international workshop on Software and performance, pages 302-309, New York, NY, USA, 2002. ACM.
6. M. Kovacs, P. Lollini, I. Majzik, A. Bondavalli. "An integrated framework for the dependability evaluation of distributed mobile applications", In SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, pages 29-38, New York, NY, USA, 2008. ACM.
7. A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza and G. Savoia, "Dependability Analysis in the Early Phases of UML Based System Design", International Journal of Computer Systems - Science & Engineering, Vol. 16 (5), Sep 2001, pp. 265-275. (Pubitemid 32820628)
8. M. Dal Cin, G. Huszerl, K. Kosmidis, "Evaluation of Safety-Critical Systems Based on Guarded Statecharts", In A. Williams, editor, Proc. Fourth IEEE International High-Assurance Systems Engineering Symposium (HASE'99), IEEE Computer Society Press, 1999.
9. G. Huszerl, I. Majzik, A. Pataricza, K. Kosmidis, M. Dal Cin, "Quantitative Analysis of UML Statechart Models of Dependable Systems", The Computer Journal, Vol 45(3), May 2002, pp. 260-277. (Pubitemid 34586442)
10. G. Huszerl, I. Majzik, "Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts", In: Proc. of the 27th Euromicro Conference, pp. 200-207., Warsaw, Poland, 4-6. September 2001.
11. M. Walter, C. Trinitis, W. Karl, "OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies", In Proc. of the 2001 Pacific Rim Int. Symposium on Dependable Computing, pp 76-84, IEEE Computer Society, 2001.
12. A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. "Dependability analysis in the early phases of UML based system design". Journal of Computer Systems Science and Engineering, 16(5):265-275, 2001. (Pubitemid 32820628)
13. PRIDE - Ambiente di PRogettazione Integrato per sistemi DEpendable, Transformations for Dependability Analysis, Deliverable 2.1, February 2003.
14. S. Bernardi, J. Merseguer, D. Petriu, "A dependability profile within MARTE", Journal of Software and Systems Modeling, pages 1-24, 2009.
15. Object Management Group, "A UML profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems", version 1.0, November 2009. http://www.omg.org/spec/MARTE/1.0/.
16. Object Management Group, "MDA Guide", Version 1.0.1, June 2003. http://www.omg.org/cgi-bin/doc?omg/03-06-01.pdf.
17. L. Montecchi, P. Lollini, A. Bondavalli, "Dependability Concerns in Model-Driven Engineering", 2nd IEEE International Workshop on Object/component/service-oriented Real-time Networked Ultra-dependable Systems (WORNUS 2011), March 28-31, 2011. Newport Beach, CA, USA, in press.
18. MDT/Papyrus. Eclipse Model Development Tools (MDT). http://wiki.eclipse. org/MDT/Papyrus-Proposal
19. J. Gray. Why do Computers Stop and What Can be Done About it? In Proc. of 5th Symposium on Reliability in Distributed Software and Database Systems, pages 3-12, January 1986.
20. L.M. Hillah, E. Kindler, F. Kordon, L. Petrucci and N. Trèves, "The Petri Net Markup Language and ISO/IEC 15909-2", CPN Workshop 2009.
21. L. Montecchi, P. Lollini, A. Bondavalli, "An Intermediate Dependability Model for state-based dependability analysis", Technical Report rcl101115 v2.0, University of Florence, Dip. Sistemi Informatica, RCL group, December 2010.
22. D. M. Nicol, W. H. Sanders and K. S. Trivedi, "Model-based Evaluation: From Dependability to Security", IEEE Transactions on Dependable and Secure Computing, Vol. 1, No. 1, pp 48-65, 2004.
23. PRIN, Programmi di ricerca scientifica di rilevante interesse nazionale - Progetto di ricerca DOTS-LCCI: Dependable Off-The-Shelf based middleware systems for Large-scale Complex Critical Infrastructures, 2008. http://dots-lcci.prin.dis.unina.it/
24. P. Lollini, A. Bondavalli, F. Di Giandomenico, "A decomposition-based modeling framework for complex systems", In IEEE Transactions on Reliability, Volume 58, Issue 1, pp. 20-33, 2009.