Logo Lab-STICCFrom sensors to knowledge: Communicate and decide

SHAKER

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