UML for ESL Design - Basic Principles, Tools, and Applications

Mueller, Wolfgang; Rosti,; Bocchio,; Riccobene, Elvinia; Scandurra, Patrizia; Dehaene,; Vanderperren,

doi:10.1109/iccad.2006.320068

Cited by 14 publications

(12 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Following the change on the focus from implementation code to model, new methods change the specification level to more abstract models, such as Simulink [23,27], UML [5,14], or a combination of them [28]. The approach presented in [22] combines UML, SysML and SystemC, to provide a common and structured environment for system documentation and specification.…”

Section: Related Workmentioning

confidence: 98%

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

Section: Related Workmentioning

confidence: 98%

A model-driven engineering framework for embedded systems design

Nascimento

Oliveira

Wagner

2011

Innovations Syst Softw Eng

View full text Add to dashboard Cite

show abstract

“…As a system level specification, UML diagrams are becoming popular in embedded system design [4,[12][13][14]. To guarantee the quality of embedded systems, model-based test process [15] is proposed.…”

Section: Related Workmentioning

confidence: 99%

“…Unified Modeling Language (UML) [1,2] is becoming a promising specification language for both software and hardware designs [3][4][5]. It provides a set of diagrams that can capture different system views.…”

mentioning

confidence: 99%

Efficient test case generation for validation of UML activity diagrams

Chen

Mishra

Kalita

2010

Des Autom Embed Syst

View full text Add to dashboard Cite

Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bottleneck in the UML activity diagram validation. This article presents a methodology for automatically generating test cases based on various model checking techniques. It makes three primary contributions: First, we propose coverage-driven mapping rules that can automatically translate activity diagram to formal models. Next, we present a procedure for automatic property generation according to error models. Finally, we apply various model checking based test case generation techniques to enable efficient test case generation. Our experimental results demonstrate that our approach can reduce the validation effort drastically by reducing both test case generation time and required number of test cases to achieve a functional coverage goal.

show abstract

“…SystemC is used as the modeling language of the system; they created a system model with SystemC semantics. In addition, the use of this profile enables a HW/SW co-design methodology based on SystemC [10]. Another way of combining UML and SystemC is using mapping rules [11] to establish an automatic transformation between UML and SystemC.…”

Section: Related Workmentioning

confidence: 99%

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Peñil

Medina

Posadas

et al. 2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

Modeling and analysis of real-time embedded system is becoming an important area of research nowadays. In this context, the UML/MARTE profile has been introduced to support the specification, design, and verification stages in the development process. It provides a wide set of facilities to capture the information required in the refinement steps throughout the design flow. To carry out the actions involved in these design steps, MARTE-based tools and methodologies are required. This paper presents a methodology to automatically generate SystemC heterogeneous executable specifications from generic MARTE models. To generate these specifications, the information included in the MARTE models is extracted to discover the system structure and hierarchy. A subset of the concurrency and communication features of the MARTE profile is used for this purpose. Then, automatic generation of the executable specification is possible. The code implementing the corresponding behavior can be easily integrated into the executable model. This design methodology proposes a refinement flow in order to perform the design steps before deciding the final system implementation.

show abstract

UML for ESL Design - Basic Principles, Tools, and Applications

Cited by 14 publications

References 6 publications

A model-driven engineering framework for embedded systems design

A model-driven engineering framework for embedded systems design

Efficient test case generation for validation of UML activity diagrams

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Contact Info

Product

Resources

About