The goal of the project is to increase the functional safety of critical electronic components in automotive and aerospace applications. The project evaluates how experienced digital chip design engineers can be enabled to apply mathematical methods to proof the correctness of their designs. TTTech as a pilot user is providing the requirements the new methodology, Symbiotic GmbH does provide tools and training to TTTech. If certification authorities can be convinced that the methodology does provide a significant improvement of the state of the art, this new methodology will become a requirement for certification of cars and airplanes in general, which will increase the safety of these vehicles for all its users.
In the context of the project “Operational SAfety through FORmal Methods” TTTech will additionally focus on the evaluation of the efficiency and relevance of formal methods in circuit design of critical applications and compare a methodological approach to formal verification developed in the project with well-established quality assurance processes.