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