Rennes, track 1: Component-Based Embedded Software
Software represents a vital element in the modern world for the added value that it brings to various fields, in particular the field of embedded systems, special-purpose systems in which the computer is completely encapsulated by the device it controls. As the cost of hardware components for embedded systems goes down, these systems are becoming more and more pervasive in our everyday lives, ranging from small devices such as smart cards, home automation products (smart thermostats, air conditioning systems, etc.) and automotive systems (engine controllers, ABS) to medium-sized systems such as medical equipment, ATMs, cell phones, palmtops, office equipment (printers, routers) and household appliances (microwave ovens, washing machines, TV sets, DVD players/recorders, set-top boxes), or large systems such as telecom switches and avionics systems.
Leveraging ongoing developments in hardware, embedded software is playing an increasingly crucial role and enabling innovation in these areas. For this reason, embedded software has been growing in size and complexity at an exponential rate for the past 20 years, creating a need for a component-based approach to embedded software development. However, embedded systems reside in machines that are expected to run continuously for years with no unrecoverable errors. Special care therefore has to be taken in the design and testing of embedded software, making the appropriate trade-off between various extra-functional properties such as reliability, punctuality, safety and security but also development and production costs, including resource usage of processors, memory, bandwidth, power, etc.
The goal of this track is to cover the fundamental issues and methods involved in component-based embedded software design and testing, a field at the crossroads of software engineering, micro-architectures and formal methods.
The track is organized around five course units of 20 hours each, given by world-class researchers from the Irisa lab:
- Model-driven engineering of embedded software (MDE)
- Program analysis for software security (PAS)
- Performance and micro-architecture (PMA)
- Verification and testing of embedded systems (TVA)
- Component and system synthesis (CSS)
This track is complemented by several other course units, as described elsewhere.
Lectures may be given in English in the event of a non-French-speaking audience.