Model-integrated development of embedded software

Abstract

The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design of the application, simultaneously. Models are descriptive, in the sense that they allow the formal analysis, verification, and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems using the techniques of program generators. Because of the widely varying nature of embedded systems, a single modeling language may not be suitable for all domains; thus, modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages-called metamodels-play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-integrated embedded software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of embedded software.

Model-Based Debugging of Embedded Software Systems

“…In this context, Model Driven Architecture (MDA) proposed by the OMG [2] promises several advantages and superiority superseding the traditional way of developing the embedded systems. This is supported by the studies conducted in [5] and [6]. The MDA model is related to multiple standards including the UML [2].…”

“…UML profiles [2] introduced by the OMG consist of a set of new stereotypes for a particular domain. The widespread applicability of UML (general purpose diagrams and profiles) as a modeling language for embedded systems is evident from the numerous studies in the literature [4] and [5]. In our proposed modelbased debugging methodology we use UML to specify the design model (e.g.…”

Formalizing the structural semantics of domain-specific modeling languages

“…These domains can be analyzed, composed, transformed, used for design-space exploration, etc... In order to make this more than just an exercise, we apply our formalism to the well-known Model-Integrated Computing (MIC) tool suite [58].…”

MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems

“…CoSMIC is an open source MDE tool suite used to simplify the development of component-based DRE applications focusing particularly on the assembly, deployment, configuration, and validation of component-based enterprise DRE systems. CoSMIC comprises a collection of domain-specific modeling languages (DSMLs), which define the concepts, relationships, and constraints used to express domain entities [8], and generative programming capabilities that automate the different development concerns of DRE systems.…”