A Domain-aware Framework for Integrated Model-based System Analysis and Design.

The increasing complexity of modern embedded systems demands advanced design and development methods. Incremental evolution of model-based engineering practice has led to heterogeneous tool environments without proper integration and exchange of design artifacts. These problems are especially prevalent in tightly regulated domains, where an independent assessment is required for newly developed products, e.g. in automotive or aviation systems. To address these shortcomings of current engineering practice, we propose a holistic model-based approach for the seamless design and development of an integrated system model. We describe an embedding of a variety of domain-specific modeling languages into a common general-purpose modeling language, in order to facilitate the integration between heterogeneous design artifacts. Based on this conceptual modeling approach, we introduce a framework for automated model-based analysis of integrated system models. A case study demonstrates the suitability of this modeling and analysis approach for the design of a safety-critical embedded system, a hypothetical gas heating burner.