Formal and Virtual Multi-level Design Space Exploration.

Abstract : 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.
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01900180
Contributor : Daniela Genius <>
Submitted on : Sunday, October 21, 2018 - 11:00:34 AM
Last modification on : Friday, July 5, 2019 - 3:26:03 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

65