Home > Research > Students/Post-docs > Liliana Andrade

Liliana Andrade

Power and temperature model in the presence of loose information, state-space exploration

Thursday 8 February 2018

Years: 2016, 2017 (Post-doc)
Subject: Power and temperature model in the presence of loose information, state-space exploration
Abstract:

Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). We first proposed a method to simulate exhaustively the state-space in the absence of feedback loop from the temperature model and the functional one, and explored possibilities to let the temperature model return concrete values to the functional model, and still provide a better state-space coverage than individual simulations.


Publications HAL de Liliana,Andrade

2015

Conference papers

ref_biblio
Cédric Ben Aoun, Liliana Andrade, Torsten Maehne, François Pêcheux, Marie-Minerve Louërat, et al.. Pre-Simulation Elaboration of Heterogeneous Systems: The SystemC Multi-Disciplinary Virtual Prototyping Approach. International Conference on Embedded Computer Systems: Architectures, Modelling and Simulation (SAMOS XV), Jul 2015, Samos, Greece. pp.278-285, 〈10.1109/SAMOS.2015.7363686〉. 〈hal-01214877〉
Accès au bibtex
BibTex
ref_biblio
Liliana Andrade, Torsten Maehne, Alain Vachoux, Cédric Ben Aoun, François Pêcheux, et al.. Pre-Simulation Symbolic Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation. The 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Mar 2015, Grenoble, France. pp.1671-1676. 〈hal-01217207〉
Accès au bibtex
BibTex

2014

Conference papers

ref_biblio
Torsten Maehne, Zhi Wang, Liliana Andrade, Benoit Vernay, Cédric Ben Aoun, et al.. UVM-SystemC-AMS based Framework for the Correct by Construction Design of MEMS in their Real Heterogeneous Application Context,. IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec 2014, Marseille, France. pp.862-865, 〈10.1109/ICECS.2014.7050122〉. 〈hal-01217203〉
Accès au bibtex
BibTex
Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License