Validating VCP using model based approach

Rathinakumar, V and Avinash, AK and Nanda, Manju and Jayanthi, J (2015) Validating VCP using model based approach. In: Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on, 11-13 March 2015, New Delhi, India.

Text 07100380.pdf Restricted to Registered users only Download (2MB) | Request a copy

Abstract

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.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	AERONAUTICS > Avionics & Aircraft Instrumentation
Depositing User:	Mr. BS Shivaram
Date Deposited:	06 Jun 2018 10:17
Last Modified:	06 Jun 2018 10:17
URI:	http://nal-ir.nal.res.in/id/eprint/12765

Actions (login required)

View Item