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

Fingerprint

Formal methods
Life cycle
Hardware
Engineers

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

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
Goyal, Prachi ; Nanda, Manju ; Jayanthi, J. / Mutation analysis of stateflow to improve the modelling analysis. Advances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers. Springer Verlag, 2017. pp. 173-182 (Communications in Computer and Information Science).
@inproceedings{28ce5f89f00247b8ad5c43e7c0fdb1fb,
title = "Mutation analysis of stateflow to improve the modelling analysis",
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.",
author = "Prachi Goyal and Manju Nanda and J. Jayanthi",
year = "2017",
month = "1",
day = "1",
doi = "10.1007/978-981-10-5427-3_19",
language = "English",
isbn = "9789811054266",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "173--182",
booktitle = "Advances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers",
address = "Germany",

}

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. Communications in Computer and Information Science, vol. 721, Springer Verlag, pp. 173-182, 1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016, Ghaziabad, India, 11-11-16. https://doi.org/10.1007/978-981-10-5427-3_19

Mutation analysis of stateflow to improve the modelling analysis. / Goyal, Prachi; Nanda, Manju; Jayanthi, J.

Advances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers. Springer Verlag, 2017. p. 173-182 (Communications in Computer and Information Science; Vol. 721).

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

TY - GEN

T1 - Mutation analysis of stateflow to improve the modelling analysis

AU - Goyal, Prachi

AU - Nanda, Manju

AU - Jayanthi, J.

PY - 2017/1/1

Y1 - 2017/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85028336933&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85028336933&partnerID=8YFLogxK

U2 - 10.1007/978-981-10-5427-3_19

DO - 10.1007/978-981-10-5427-3_19

M3 - Conference contribution

SN - 9789811054266

T3 - Communications in Computer and Information Science

SP - 173

EP - 182

BT - Advances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers

PB - Springer Verlag

ER -

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