System design and construction

> Development process

  • Model engineering and certification
  • Composition of analysis

> Integration of the increasing complexity of new systems

  • Managing heterogeneity of the open character of systems

> Taking into account system constraints

  • Argued compromise (reliability, usability, safety, dependability, performance, security, cost…)

> Reliability of systems

  • Promotion of the use of formal methods
  • Adaptive monitoring