Institute of Engineering, University Grenoble-Alpes (Francia)
31 de Octubre | 10:30 – 11:30 | Sala 0C
Energy consumption in embedded systems; abstractions for software models, programming languages, testing and verification methods
During the last decades, the embedded software community has produced results on energy consumption of embedded systems, for various purposes: optimization of (soft) real-time platforms, testing and simulation of energy consumption properties, formal verification for the detection of consumption peaks that may damage the battery, mapping of applications on multi- or many-core platforms, definition of APIs to let the programmers control the consumption state of embedded devices, etc.
Each of these uses needs a (formal) model of energy consumption, usable at the software level. In this talk, we will show the distance between: the definition of energy consumption at the physical level (including temperature effects and other information on the hardware platform), and the abstractions that have to be made to consider energy consumption at the software level. The main idea is to list the physical effects that can be safely ignored or, on the contrary, that should definitely *not* be ignored, for a model to be faithful to reality and useful for modeling/programming/verification.
She teaches at Ensimag (the department of Computer Science, Applied Maths and Telecom of Grenoble INP). Her teaching interests include algorithms and programming languages, compiler design, formal verification of critical systems, basic circuit design, object-oriented modeling, formal models for time and parallelism, and embedded system design. She is the co-author of two teaching books (in French): a book for undergraduate students, on the basics of algorithmics, databases and functional programming; a book for undergraduate students on the basics of circuits, computer organization and low level software.
Her research activities are with the Verimag laboratory. Her recent research interests include synchronous languages for embedded real-time components and systems, correct-by-construction implementation of critical systems on various platforms, with a recent interest for manycore architectures (in cooperation with Airbus Helicopters and Kalray Inc.), Design-by-Contract for embedded reactive systems, virtual prototyping of hardware-software systems (for functional properties and extra-functional properties like energy consumption), modeling and validation of systems-on-a-chip at the transactional level (in cooperation with STMicroelectronics), models and shared infrastructures for smart cities (in cooperation with Orange Labs).