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 [1] [2] 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.