COMASIC – Design and Management of Complex IT Systems

This M1 in Design and Management of Complex IT Systems (COMASIC) studies the fundamentals for design, modeling, verification, and architecture of complex computer systems. Three categories of such computer systems are studied with in this program:

  • Embedded systems, such as primary flight computers in aeronautics, X-by-wire, Anti-Blocking Systems in the automotive industry, control of a nuclear plant in the energy industry etc.
  • Cyber-physical systems, such as smart-grids, robot swarms etc. which are mostly composed of embedded systems, interconnected over a network, controlling and sensing heterogeneous physical apparatus.
  • Information systems, such as Enterprise Systems, Billing systems etc. but also information systems needed to manage and optimize big cyber-physical systems and their data (e.g. smart cities etc.)

Curriculum Overview