Model Driven Engineering and Dependability Analyses: The Topcased Approach

Abstract

International audienceModel Driven Engineering approaches are widely promoted to overcome difficulties to design, validate and maintain large complex systems. They present interesting dependability characteristics especially in terms of prevention of design faults and validation of design correctness. However industrial needs, practices and applicable standards impose constraints on the dependability activities to perform and justify. Therefore it is necessary to analyze how a complete dependability and safety process can be integrated with model-driven approaches within a seamless global process: which dependability activities are naturally covered or facilitated by model-driven approaches, and which additional activities are needed with which support. This paper presents the results of a study aiming at the establishment of requirements to model-driven engineering methods and tools, to support dependability analyses

    Similar works