Safety Analysis and Certification of Embedded Systems

Recent studies suggest that the gross development cost of software associated to safety-critical embedded systems approximates US$ 1000 per line of code.

Hence, even small projects may cost millions of dollars. A significant fraction of these costs is incurred over activities related to safety analysis and certification.

In this project, we aim at improving the accuracy and cost-effectiveness of safety analysis and certification activities. This includes development and validation of safety-critical system designs, verification of both functional and non-functional safety properties, collection and management of safety evidence, safety argumentation, and safety assessment.


  • To improve the design of safety-critical software systems through model-driven engineering
  • To develop systematic ways to analyse safety-related properties of software
  • To develop coherent and industrially applicable techniques and guidelines for safety evidence management