MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks

Summary form only given, as follows. In the last ten years, model-driven engineering approaches have been extensively used for the analysis of extra-functional properties of complex systems, like safety, dependability, security, predictability, and quality of service. To this end, engineering languages such as UML and AADL have been extended with additional features to model the required non-functional attributes, and transformations have been used to automatically generate the analysis models to be solved by appropriate analysis tools. In this talk, we explore this research direction and describe our activities, presenting dependability modeling and analysis methods integrated in industrial-driven architectural frameworks for the specification, analysis, and verification of extra-functional properties of cyber-physical systems, developed within the past ARTEMIS-JU CHESS project and currently within the ARTEMIS-JU CONCERTO project. We discuss the lessons learned and experience gained from successful application of cyber-physical systems industry standards in software systems.