Mutation analysis of stateflow to improve the modelling analysis

Goyal, P and Nanda, Manju and Jayanthi, J (2017) Mutation analysis of stateflow to improve the modelling analysis. Communications in Computer and Information Science, 721. pp. 173-182. ISSN 18650929

Full text not available from this repository.
Official URL:


Formal methods possess great analyzing capability that has led to an increasing use by engineers in the development and verification-validation life-cycle of hardware and software critical systems. Mutation Analysis has been very effective in model design and safety analysis. In this paper primary idea is to integrate the mutation analysis of stateflow to the Integrated Mutation Analysis Tool. This enhanced property of the IMAT tool after integration will be able to analyze the functionalities of stateflow models of the highly critical systems. The effectiveness of the Stateflow mutation analysis can be validated using the case-study of Autopilot Mode Transition Logic.

Item Type: Article
Subjects: AERONAUTICS > Avionics & Aircraft Instrumentation
ENGINEERING > Electronics and Electrical Engineering
Depositing User: Mrs SK Pratibha
Date Deposited: 03 Jul 2019 11:31
Last Modified: 03 Jul 2019 11:31

Actions (login required)

View Item View Item