CRITICAL Software's Blog

Karim Kanso

Recent Posts

ADVANCE: A New Approach for Requirements Validation and Rigorous Verification

Posted by Karim Kanso on 19/08/14 10:00

ADVANCE is a European-wide initiative between industry and academia to lead the future development of high-quality embedded systems in a more cost-effective way. The approach followed by ADVANCE supports the verification and validation of requirements from the very initial stages of system design. Validation of the requirements is supported through simulation against environmental models (i.e. model-in-the-loop validation). The verification results are ensured to be trustworthy and unambiguous due to the use of mathematical-based modelling and proof.

Read More

Topics: Safety-Critical Validation