Mutation analysis of stateflow to improve the modelling analysis

Prachi Goyal, Manju Nanda, J. Jayanthi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationAdvances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers
PublisherSpringer Verlag
Pages173-182
Number of pages10
ISBN (Print)9789811054266
DOIs
Publication statusPublished - 01-01-2017
Externally publishedYes
Event1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016 - Ghaziabad, India
Duration: 11-11-201612-11-2016

Publication series

NameCommunications in Computer and Information Science
Volume721
ISSN (Print)1865-0929

Conference

Conference1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016
CountryIndia
CityGhaziabad
Period11-11-1612-11-16

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Mutation analysis of stateflow to improve the modelling analysis'. Together they form a unique fingerprint.

  • Cite this

    Goyal, P., Nanda, M., & Jayanthi, J. (2017). Mutation analysis of stateflow to improve the modelling analysis. In Advances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers (pp. 173-182). (Communications in Computer and Information Science; Vol. 721). Springer Verlag. https://doi.org/10.1007/978-981-10-5427-3_19