@inproceedings{ea4b61f2b4784f6d94ccaede5c817c7a,
title = "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.",
keywords = "Embedded systems, System-level design, Telecommunications, Virtual prototyping",
author = "Li, \{Letitia W.\} and Daniela Genius and Ludovic Apvrille",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG, part of Springer Nature 2018.; 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017 ; Conference date: 19-02-2017 Through 21-02-2017",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-94764-8\_3",
language = "English",
isbn = "9783319947631",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "47--71",
editor = "Bran Selic and Pires, \{Luis Ferreira\} and Slimane Hammoudi",
booktitle = "Model-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Revised Selected Papers",
}