Theme: Optimization of software / hardware systems according to the constraints and hazards related to their environment
Methods:
- (Joint) modeling of hardware and software architectures
- Design of dynamically adaptable Sw / Hw systems according to the environment and application requirements
- Online verification of system behavior and temporal properties
- Tools implementation for the design, the simulation and the tracing.
Targets:
- embedded system,
- system on chip,
- network of sensors,
- Edge / cloud infrastructure.
Areas:
- autonomous vehicles,
- critical systems,
- IoT,
- industry of the future,
- spatial,
- marine environment,
- home support