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