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

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

Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain

Behavioral Modeling for Embedded Systems and Technologies ◽

10.4018/978-1-60566-750-8.ch015 ◽

2010 ◽

pp. 377-413 ◽

Cited By ~ 16

Author(s):

Justyna Zander ◽

Ina Schieferdecker

Keyword(s):

Embedded Systems ◽

Embedded System ◽

Reference Signal ◽

Test Methods ◽

Domain Model ◽

Test Method ◽

Model Based ◽

Test Models ◽

Black Box Testing ◽

Weak Points

The purpose of this chapter is to introduce the test methods applied for embedded systems addressing selected problems in the automotive domain. Model-based test approaches are reviewed and categorized. Weak points are identified and a novel test method is proposed. It is called model-in-the-loop for embedded system test (MiLEST) and is realized in MATLAB®/Simulink®/Stateflow® environment. Its main contribution refers to functional black-box testing based on the system and test models. It is contrasted with the test methods currently applied in the industry that form dedicated solutions, usually specialized in a concrete testing context. The developed signal-feature-oriented paradigm developed herewith allows the abstract description of signals and their properties. It addresses the problem of missing reference signal flows and allows for a systematic and automatic test data selection. Processing of both discrete and continuous signals is possible, so that the hybrid behavior of embedded systems can be handled.

Download Full-text

UML as Front-End Language for Embedded Systems Design

Behavioral Modeling for Embedded Systems and Technologies ◽

10.4018/978-1-60566-750-8.ch001 ◽

2010 ◽

pp. 1-23

Author(s):

Lisane Brisolara de Brisolara ◽

Marcio Eduardo Kreutz ◽

Luigi Carro

Keyword(s):

Embedded Systems ◽

Embedded System ◽

Systems Design ◽

Design Flow ◽

Domain Specific ◽

History Of ◽

Uml Diagrams ◽

The Embedded System ◽

Definition Of

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

An Encyclopedia Coverage of Compiler’s, Programmer’s & Simulator’s for 8051, PIC, AVR, ARM, Arduino Embedded Technologies

International Journal of Reconfigurable and Embedded Systems (IJRES) ◽

10.11591/ijres.v5.i1.pp18-42 ◽

2016 ◽

Vol 5 (1) ◽

pp. 18 ◽

Cited By ~ 4

Author(s):

Anand Nayyar

Keyword(s):

Embedded Systems ◽

Embedded System ◽

Daily Living ◽

Source Code ◽

Systems Design ◽

Time Saving ◽

Engineering Research ◽

Small Needle ◽

Distinct Features ◽

Day By Day

<h2>In today’s world, everything from small needle to airplane engineering is surrounded by embedded systems. Embedded System technology not only lays foundation for development but is also acting as Backbone for mankind in almost in every area of science, engineering, research and daily living. The world of embedded systems is mainly surrounded by: Microcontrollers and Microprocessor’s. To work in the area of Embedded Systems design and development is both interesting and challenging- Interesting in the sense, as everything is getting intelligent, advanced and feature rich day by day and the embedded system’s field is progressing by leaps and bounds. But challenging in the way, that resources are very limited in terms of design and implementation. The most important crucial challenges nowadays in front of embedded system engineers are- Which programmer to Use? Which compiler to use for source code development? Which simulator to use to simulate the overall behavior of system? As every compiler, programmer and simulator has distinct features, so selecting the best one as per one’s requirement has always remained a challenge. The main aim of this research paper is to overcome that difficulty by providing the researchers and embedded system engineers an encyclopedic platform of compilers, programmers and simulators for all sorts of embedded system technologies like 8051, PIC, ARM, AVR and Arduino so that choosing of the best platform in terms of compiler, programmer and simulator can become easy and time saving for everyone working in this area.</h2>

Download Full-text

A Case for Security-Aware Design-Space Exploration of Embedded Systems

Journal of Low Power Electronics and Applications ◽

10.3390/jlpea10030022 ◽

2020 ◽

Vol 10 (3) ◽

pp. 22

Author(s):

Andy D. Pimentel

Keyword(s):

Embedded Systems ◽

Embedded System ◽

Design Space Exploration ◽

Design Space ◽

Space Exploration ◽

Systems Design ◽

Design System ◽

Multi Objective Optimization ◽

Multi Objective ◽

Trade Offs

As modern embedded systems are becoming more and more ubiquitous and interconnected, they attract a world-wide attention of attackers and the security aspect is more important than ever during the design of those systems. Moreover, given the ever-increasing complexity of the applications that run on these systems, it becomes increasingly difficult to meet all security criteria. While extra-functional design objectives such as performance and power/energy consumption are typically taken into account already during the very early stages of embedded systems design, system security is still mostly considered as an afterthought. That is, security is usually not regarded in the process of (early) design-space exploration of embedded systems, which is the critical process of multi-objective optimization that aims at optimizing the extra-functional behavior of a design. This position paper argues for the development of techniques for quantifying the ’degree of secureness’ of embedded system design instances such that these can be incorporated in a multi-objective optimization process. Such technology would allow for the optimization of security aspects of embedded systems during the earliest design phases as well as for studying the trade-offs between security and the other design objectives such as performance, power consumption and cost.

Download Full-text

Model-driven embedded systems design environment for the industrial automation sector

2008 6th IEEE International Conference on Industrial Informatics ◽

10.1109/indin.2008.4618271 ◽

2008 ◽

Cited By ~ 22

Author(s):

Thomas Strasser ◽

Christoph Sunder ◽

Antonio Valentini

Keyword(s):

Embedded Systems ◽

Systems Design ◽

Design Environment ◽

Industrial Automation ◽

Model Driven

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

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