A UML-based Environment for System Design Space Exploration

Apvrille, Ludovic; Waseem, Muhammad; Ameur-Boulifa, Rabéa; Coudert, Sophie; Pacalet, Renaud

doi:10.1109/icecs.2006.379694

Cited by 25 publications

(21 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…DIPLODOCUS [1] adopts a similar approach. Applications can be specified using the DIPLODOCUS UML profile, from which Language of Temporal Ordering Specifications (LOTOS) or UPPAAL code can be generated.…”

Section: Related Workmentioning

confidence: 99%

Safe design of high-performance embedded systems in an MDE framework

Gamatié

Rutten

et al. 2008

Innovations Syst Softw Eng

View full text Add to dashboard Cite

In this paper, we use the UML MARTE profile to model high-performance embedded systems (HPES) in the Gaspard2 framework. We address the design correctness issue on the UML model by using the formal validation tools associated with synchronous languages, i.e., the Sigali model checker, etc. This modeling and validation approach benefits from the advantages of UML as a standard, and from the number of validation tools built around synchronous languages. In our context, model transformations act as a bridge between UML and the chosen validation technologies. They are implemented according to a model-driven engineering approach. The modeling and validation are illustrated using the multimedia functionality of a new-generation cellular phone.

show abstract

Section: Related Workmentioning

confidence: 99%

Safe design of high-performance embedded systems in an MDE framework

Gamatié

Rutten

et al. 2008

Innovations Syst Softw Eng

View full text Add to dashboard Cite

show abstract

“…This system has been modeled with the DIPLODOCUS UML profile [9], and simulated with the simulation engine of TTool [10]. The DIPLODOCUS profile-and its simulation engine-explicitly take into account the hardware elements of the system, that is, CPUs, buses, memories, and hardware accelerators (HSM).…”

Section: A Key Distributionmentioning

confidence: 99%

Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography

Schweppe

Roudier

Weyl

et al. 2011

2011 IEEE Vehicular Technology Conference (VTC Fall)

Self Cite

View full text Add to dashboard Cite

The effectiveness of Car2X communication strongly relies on trust in received data. Securing in-vehicle communication is an essential yet so far overlooked step to achieve this objective. We present an approach based on the use of symmetric key material protected with inexpensive hardware. We modeled the involved cryptographic and network protocols, showed their applicability to automotive bus systems and conclude about their soundness with analytical and simulation methods. A prototype realization in real vehicles is envisaged as part of an ongoing project.

show abstract

“…For example, Douglass [22] proposes a so called har- Hardware/software partitioning is a important task of the embedded system development that differentiates these systems from software-centric systems. System partitioning can rely on the Y-chart approach [23,24] depicted in Figure 2.2(b). This approach is built of three main elements: application modelling (the description of system functions), architecture modelling (the description of potential execution platforms), and mapping of the application on modelled architectures (allocation).…”

Section: Embedded Systems Engineeringmentioning

confidence: 99%

Security in Embedded Systems: A Model-Based Approach with Risk Metrics

Vasilevskaya¹

2015

View full text Add to dashboard Cite

A UML-based Environment for System Design Space Exploration

Cited by 25 publications

References 7 publications

Safe design of high-performance embedded systems in an MDE framework

Safe design of high-performance embedded systems in an MDE framework

Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography

Security in Embedded Systems: A Model-Based Approach with Risk Metrics

Contact Info

Product

Resources

About