MDE Support for HW/SW Codesign: A UML-based Design Flow

Murillo, Luis Gabriel; Mura, Marcello; Prevostini, Mauro

doi:10.1007/978-90-481-9304-2_2

Cited by 2 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a consequence, UML models must be translated into or used along with some formalism. For instance, in Murillo et al, 23 UML/MARTE is mapped to a mathematical formalism; in Nascimento et al, 24 the functional behavior of a UML model is translated into a network Labeled Timed Automata (LTA) for formal verification. In addition, UML lacks the methodology to complement the design implementation after requirement specification; it also has consistency problems, which is a major set-back for this design methodology.…”

Section: Introductionmentioning

confidence: 99%

A DEVS-based engine for building digital quadruplets

Niyonkuru

Wainer

2021

SIMULATION

View full text Add to dashboard Cite

Development of Embedded Real-Time Systems is prone to error, and developing bug-free applications is expensive and no guarantees can be provided. We introduce the concept of Digital Quadruplet which includes: a 3D virtual representation of the physical world (a Digital Twin), a Discrete-Event formal model of the system of interest (called the “Digital Triplet”), which can be used for formal analysis as well as simulation studies, and a physical model of the real system under study for experimentation (called the “Digital Quadruplet”). We focus on the definition of the idea of a Digital Quadruplet and how to make these four apparati consistent and reusable. To do so, we use the Discrete-Event formal model as a center for both simulation and execution of the real-time embedded components with timing constraints, as well as a common mechanism for interfacing with the digital counterparts, providing model continuity throughout the process. Here we focus on a principal part of the Digital Quadruplet idea: the provision of an environment to allow models to be used for simulation (in virtual time), visualization, or execution in real-time. A Discrete-EVent Systems specifications (DEVS) kernel runs on bare-metal hardware platforms, avoiding the use of an Operating RTOS in the platform, and the combination with discrete-event modeling engineering.

show abstract

Section: Introductionmentioning

confidence: 99%

A DEVS-based engine for building digital quadruplets

Niyonkuru

Wainer

2021

SIMULATION

View full text Add to dashboard Cite

show abstract

A model-driven engineering framework for embedded systems design

Nascimento

Oliveira

Wagner

2011

Innovations Syst Softw Eng

View full text Add to dashboard Cite

This work presents a Model-Driven Engineering (MDE) framework to improve embedded system design. The framework adopts concepts from MDE for the automatic generation of a control and data flow internal representation, starting from the functional specification of an embedded application described using UML class and sequence diagrams. By means of transformations rules applied on the UML model of the embedded system, an MOF-based (Meta Object Facility is a standard representation for meta-models and models proposed by OMG) internal representation is automatically obtained, which is iteratively mapped into a hardware/software implementation by means of model transformations. This mapping is optimized by a design space exploration (DSE) method based on a categorical graph product. The model transformations have also as input a platform model, which specifies the available hardware, software and interface resources, and produce an implementation model, on which software synthesis, communication synthesis and high-level synthesis algorithms are applied to generate the final implementation. A case study is described to illustrate the application of the framework.

show abstract

MDE Support for HW/SW Codesign: A UML-based Design Flow

Cited by 2 publications

References 1 publication

A DEVS-based engine for building digital quadruplets

A DEVS-based engine for building digital quadruplets

A model-driven engineering framework for embedded systems design

Contact Info

Product

Resources

About