Mutation analysis of stateflow to improve the modelling analysis

Prachi Goyal; Manju Nanda; J. Jayanthi

doi:10.1007/978-981-10-5427-3_19

Mutation analysis of stateflow to improve the modelling analysis

Prachi Goyal, Manju Nanda, J. Jayanthi

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Advances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers
Publisher	Springer Verlag
Pages	173-182
Number of pages	10
ISBN (Print)	9789811054266
DOIs	https://doi.org/10.1007/978-981-10-5427-3_19
Publication status	Published - 01-01-2017
Externally published	Yes
Event	1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016 - Ghaziabad, India Duration: 11-11-2016 → 12-11-2016

Publication series

Name	Communications in Computer and Information Science
Volume	721
ISSN (Print)	1865-0929

Conference

Conference	1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016
Country/Territory	India
City	Ghaziabad
Period	11-11-16 → 12-11-16

All Science Journal Classification (ASJC) codes

Computer Science(all)

Access to Document

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

Cite this

@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 = jan,

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",

note = "1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016 ; Conference date: 11-11-2016 Through 12-11-2016",

}

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 proceeding › Conference 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

AN - SCOPUS:85028336933

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

T2 - 1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016

Y2 - 11 November 2016 through 12 November 2016

ER -

Mutation analysis of stateflow to improve the modelling analysis

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this