Theme: Optimization of software / hardware systems according to the constraints and hazards related to their environment
- (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.
- embedded system,
- system on chip,
- network of sensors,
- Edge / cloud infrastructure.
- autonomous vehicles,
- critical systems,
- industry of the future,
- marine environment,
- home support