Validating VCP using model based approach
Verification cases and procedures (VCP) are required to provide the procedure and approach to verify the functional and non-functional requirements of a system on target. Reviews are required to check the correctness and completeness of these VCP’s which depends on time and reviewer’s experience.
This paper proposes a novel approach to validate VCPs that are created using conventional method. Modeling of the functional requirements   is carried out using Matlab Simulink R2013a. The approach has been evaluated for correctness by running it on one of the critical functionalities of an indigenously developed safety critical system.