A STRATEGIC APPROACH FOR AUTOMATED SAFE COMPOSABLE MODEL TESTING FOR SAFETY CRITICAL SYSTEM

Abstract

Traditional Testing approaches to safety critical system especially Anti Collision System  has to be rethought as most of the approaches are based on testing from extensive requirements which is very time consuming. The idea proposed here is to design an automated Safe Composable Testing model with compatible and composable components by incorporating formal method specification with temporal logic resulting in the automated generation of test sequences. Here verification assists validation in generating complete safeness across multiple heterogeneous platform.