Person in charge: Frédéric AMIEL
Organization: 14 x 3h Lectures/Tutorials
ECTS: 5 credits
Embedded systems as aircrafts, cars, trains, use different techniques of various fields (mechanical, chemical, physics, electronics...). The design of these systems involves strong methodologies, and operational reliability. This module describes methods to design and to simulate complex embedded systems.
In terms of skills, this module aims to enable students to master the overall scheme of embedded systems considering its development, its maintenance throughout its lifetime.
- Life cycle of software, of hardware
- Methodology development cycles
- System Simulation
- Tools for formal proof
- Real-time UML
Various approaches with Lectures and projects will be used to teach the subject.