Abstract

The design of increasingly complex embedded systems requires powerful solutions from the very beginning of the design process. Model Based Design (MBD) and early simulation have proven to be capable technologies to perform initial design space analysis to optimize system design. Traditional MBD methods and tools typically rely on fixed elements, which makes difficult the evaluation of different platform configurations, communication alternatives or models of computation. Addressing these challenges require flexible design technologies able to support, from a high-level abstract model, full design space exploration, including system specification, binary generation and performance evaluation. In this context, this paper proposes a UML/MARTE based approach able to address the challenges mentioned above by improving design flexibility and evaluation capabilities, including automatic code generation, trace execution collection and trace analysis from the initial UML models. The approach focuses on the definition and analysis of the paths data follow through the different application components, as a way to understand the behavior or the different design solutions.

Highlights

  • Embedded Cyber-Physical Systems (ECPSs) are the cornerstones of the new services that are being deployed on the Internet of Things

  • Their importance will even grow with the full deployment of the Internet of Everything (IoE), when almost all objects in our living environment will be smart and interconnected among them and with the cloud [1]

  • The proposed approach has been applied to a safetycritical Flight Management System (FMS) of an airplane, provided by Thales

Read more

Summary

Introduction

Embedded Cyber-Physical Systems (ECPSs) are the cornerstones of the new services that are being deployed on the Internet of Things. Important is the verification process at the initial design stages, when the impact of the architectural decisions taken is potentially higher In this context, early design-space exploration is essential to take the adequate design decisions that will enable satisfying these nonfunctional constraints in the final product. Application components produce and/or consume events associated to the services provided and required at the component interfaces that can be collected and analyzing to evaluate the timing behavior of the system In such a context, this work presents an approach capable of generating and analyzing traces during the initial steps of the design process. To analyze the required internal timing behavior, the user must define, in the UML model, internal data paths to be monitored These data paths automatically drive the trace collection and the later timing analysis.

State of the Art
Problem description
UML Modeling Methodology
Evaluation process
Results
Conclusions
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call