Domain specific views in model-driven embedded systems design in industrial automation

This chapter covers the use of UML as a modeling language for embedded systems design. It introduces the UML language, presenting the history of its definition, its main diagrams and characteristics. Using a case study, we show that using the standard UML with its limitations one is not able to model many important characteristics of embedded systems. For that reason, UML provides extension mechanisms that enable one to extend the language for a given domain, through the definition of profiles covering domain-specific applications. Several profiles have been proposed for the embedded systems domain, and some of those that have been standardized by OMG are presented here. A case study is also used to present MARTE, a new profile specifically proposed for the embedded system domain, enabling designers to model aspects like performance and schedulability. This chapter also presents a discussion about the effort to generate code from UML diagrams and analyses the open issues to the successful use of UML in the whole embedded system design flow.

Download Full-text

MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models

Formal Methods in Manufacturing Systems - Advances in Civil and Industrial Engineering ◽

10.4018/978-1-4666-4034-4.ch006 ◽

2013 ◽

pp. 112-135 ◽

Cited By ~ 2

Author(s):

Anikó Costa ◽

Paulo E. S. Barbosa ◽

Filipe Moutinho ◽

Fernando Pereira ◽

Franklin Ramalho ◽

...

Keyword(s):

Embedded Systems ◽

Embedded System ◽

Systems Design ◽

Model Decomposition ◽

Model Driven ◽

Distributed Models ◽

Model Based ◽

Splitting Operation ◽

Distributed Execution ◽

Model Partitioning

Model-based development for embedded system design has been used to accommodate the increase in system’s complexity. Several modeling formalisms proved to be well matched for usage within this area. The goal of this chapter is to present a model-based development methodology for embedded systems design. One of the main aims of this methodology is to contribute for usage of Petri nets as a system specification language within model-based development of embedded systems integrating MDA (Model-Driven Architecture) proposals as a reference for the development flow. Distributed execution of the initial developed platform-independent models is achieved through model partitioning into platform-specific sub-modules. System model decomposition is obtained through a net splitting operation. Two types of implementation platforms are considered: compliant and non-compliant with zero time delay for communication between modules (in other words, compliant or not with synchronous paradigm). Using a model-checking framework, properties associated to the execution of the distributed models in both types of platforms are compared with the execution of the initial model.

Download Full-text

A model-driven engineering framework for embedded systems design

Innovations in Systems and Software Engineering ◽

10.1007/s11334-011-0175-y ◽

2011 ◽

Vol 8 (1) ◽

pp. 19-33 ◽

Cited By ~ 3

Author(s):

Francisco Assis Moreira do Nascimento ◽

Marcio F. S. Oliveira ◽

Flávio Rech Wagner

Keyword(s):

Embedded Systems ◽

Systems Design ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Language Engineering for Heterogeneous Collaborative Embedded Systems

Model-Based Engineering of Collaborative Embedded Systems ◽

10.1007/978-3-030-62136-0_11 ◽

2020 ◽

pp. 239-253

Author(s):

Arvid Butting ◽

Andreas Wortmann

Keyword(s):

Embedded Systems ◽

Composition Operators ◽

Modeling Languages ◽

Product Lines ◽

Language Engineering ◽

Model Driven ◽

Domain Specific ◽

Automated Processing ◽

Logical Functions ◽

Systematic Composition

AbstractAt the core of model-driven development (MDD) of collaborative embedded systems (CESs) are models that realize the different participating stakeholders’ views of the systems. For CESs, these views contain various models to represent requirements, logical functions, collaboration functions, and technical realizations. To enable automated processing, these models must conform to modeling languages. Domain-specific languages (DSLs) that leverage concepts and terminology established by the stakeholders are key to their success. The variety of domains in which CESs are applied has led to a magnitude of different DSLs. These are manually engineered, composed, and customized for different applications, a process which is costly and error-prone. We present an approach for engineering independent language components and composing these using systematic composition operators. To support structured reuse of language components, we further present a methodology for building up product lines of such language components. This fosters engineering of collaborative embedded systems with modeling techniques tailored to each application.

Download Full-text

Quality in Model Driven Engineering

Model-Driven Software Development ◽

10.4018/978-1-60566-006-6.ch002 ◽

2009 ◽

pp. 37-56 ◽

Cited By ~ 4

Author(s):

Teade Punter ◽

Jeroen Voeten

Keyword(s):

Quality Assurance ◽

Embedded Systems ◽

Conceptual Framework ◽

Systems Design ◽

Design Flow ◽

Model Driven Engineering ◽

New Approach ◽

Model Driven ◽

The Difference ◽

Near Future

This chapter argues that embedded systems design faces several challenges of which late integration and the difference in development productivity between disciplines are major ones. Model driven engineering (MDE) looks a promising approach to address these challenges. However, MDE is a new approach which has to be defined and implemented in close interaction by academia and industry the near future. We therefore provide a conceptual framework to understand the possibilities and the flaws in quality assurance in the MDE design flow.

Download Full-text