The main objective of FATE is to provide a human-centred verification approach for cyber-physical systems that will reduce testing effort while increasing coverage. To achieve this goal, the project will leverage recent advances in machine learning, formal methods and technology experience to develop effective and user-friendly methods to reason about correctness and robustness of complex systems during different phases of their development. The project results will contribute to the safety and robustness of cyber-physical applications and will significantly reduce the field returns in the semiconductor industry to faulty chips delivered to customers, while increasing the competitivity of the Austrian semiconductor industry in the light of the EU Chip Act vision.
|Effective start/end date||1/11/22 → 31/10/25|
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.