Workshop Paper

Dependability Concerns in Model-Driven Engineering

PDF Online

Authors Leonardo MontecchiPaolo LolliniAndrea Bondavalli
Abstract
Model-Driven engineering (MDE) aims to elevate models in the engineering process to a central role in the specification, design, integration, validation, and operation of a system. MDE is becoming a widely used approach within the dependability domain: the system, together with its main dependability-related characteristics, is represented by engineering language models, while automatic transformations are used to generate the analysis models for the dependability analyses. This paper discusses the dependability concerns that should be captured by engineering languages for dependability analysis. It motivates and defines a conceptual model where the specific dependability aspects related to specific dependability analyses can be consistently and unambiguously merged, also detailing the part of the conceptual model supporting state-based dependability analysis methods. Then, it introduces a new intermediate dependability model that acts as a bridge between the high-level engineering language and the low-level dependability analysis formalism, and we discuss its features and its expressive power showing its application for the modelling of a simple but representative case-study.
DOI 10.1109/ISORCW.2011.32
Event 2nd IEEE International Workshop on Object/Component/Service-Oriented Real-Time Networked Ultra-Dependable Systems (WORNUS 2011)
Main Event 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011)
Venue Newport Beach, CA, USA
Date March 28-31, 2011
Pages 254-263
Publisher IEEE
ISBN PRINT: 978-1-4577-0303-4
CDROM: 978-0-7695-4377-2
 
 

© 2017-2019 Leonardo Montecchi