Validating VCP using model based approach

Author

Rathinakumar, V. ; Nanda, Manju ; Avinash, A.K. ; Jayanthi, J.

Author_Institution

Dept. of ALD, Nat. Aerosp. Lab., Bangalore, India

fYear

2015

fDate

11-13 March 2015

Firstpage

912

Lastpage

917

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.

Keywords

formal verification; safety-critical software; Matlab Simulink R2013a; VCP; functional requirements; model based approach; safety critical system; verification cases and procedures; Alarm systems; Analytical models; Computational modeling; MATLAB; Mathematical model; Auto-code generation; Model Advisor; Model based approach; Safety critical system Verification Cases and Procedures; Simulink Design Verifier;

fLanguage

English

Publisher

ieee

Conference_Titel

Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on

Conference_Location

New Delhi

Print_ISBN

978-9-3805-4415-1

Type

conf

Filename

7100380