Formal and Virtual Multi-level Design Space Exploration. - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2018

Formal and Virtual Multi-level Design Space Exploration.

Résumé

With the growing complexity of embedded systems, a systematic design process and tool are vital to help designers assure that their design meets specifications. The design of an embedded system evolves through multiple modeling phases, with varying levels of abstraction. A modeling toolkit should also support the various evaluations needed at each stage, in the form of simulation, formal verification, and performance evaluation. This chapter introduces our model-based engineering process with the supporting toolkit TTool, with two main design stages occurring at a different level of abstraction. A system-level design space exploration selects the architecture and partitions functions into hardware and software. The subsequent software design phase then designs and assesses the detailed functionality of the system, and evaluates the partitioning choices. We illustrate the design phases and supported evaluations with a Smart Card case study.
Fichier non déposé

Dates et versions

hal-01900180 , version 1 (21-10-2018)

Identifiants

Citer

Letitia W. Li, Daniela Genius, Ludovic Apvrille. Formal and Virtual Multi-level Design Space Exploration.. International Conference on Model-Driven Engineering and Software Development., Springer, pp.47-71, 2018, ⟨10.1007/978-3-319-94764-8_3⟩. ⟨hal-01900180⟩
78 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More