A lightweight integration of mutation analysis with the model checker for system safety verification

J. Jayanthi, Manju Nanda, Sameer Nayak

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

3 Citations (Scopus)

Abstract

Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.

Original languageEnglish
Title of host publicationSysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings
Pages76-81
Number of pages6
DOIs
Publication statusPublished - 30-08-2013
Externally publishedYes
Event7th Annual IEEE International Systems Conference, SysCon 2013 - Orlando, FL, United States
Duration: 15-04-201318-04-2013

Conference

Conference7th Annual IEEE International Systems Conference, SysCon 2013
CountryUnited States
CityOrlando, FL
Period15-04-1318-04-13

Fingerprint

Security systems
Semantics
Model checking

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering

Cite this

Jayanthi, J., Nanda, M., & Nayak, S. (2013). A lightweight integration of mutation analysis with the model checker for system safety verification. In SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings (pp. 76-81). [6549862] https://doi.org/10.1109/SysCon.2013.6549862
Jayanthi, J. ; Nanda, Manju ; Nayak, Sameer. / A lightweight integration of mutation analysis with the model checker for system safety verification. SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings. 2013. pp. 76-81
@inproceedings{14bbc91aa2fa498192997f11376880fa,
title = "A lightweight integration of mutation analysis with the model checker for system safety verification",
abstract = "Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.",
author = "J. Jayanthi and Manju Nanda and Sameer Nayak",
year = "2013",
month = "8",
day = "30",
doi = "10.1109/SysCon.2013.6549862",
language = "English",
isbn = "9781467331067",
pages = "76--81",
booktitle = "SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings",

}

Jayanthi, J, Nanda, M & Nayak, S 2013, A lightweight integration of mutation analysis with the model checker for system safety verification. in SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings., 6549862, pp. 76-81, 7th Annual IEEE International Systems Conference, SysCon 2013, Orlando, FL, United States, 15-04-13. https://doi.org/10.1109/SysCon.2013.6549862

A lightweight integration of mutation analysis with the model checker for system safety verification. / Jayanthi, J.; Nanda, Manju; Nayak, Sameer.

SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings. 2013. p. 76-81 6549862.

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

TY - GEN

T1 - A lightweight integration of mutation analysis with the model checker for system safety verification

AU - Jayanthi, J.

AU - Nanda, Manju

AU - Nayak, Sameer

PY - 2013/8/30

Y1 - 2013/8/30

N2 - Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.

AB - Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.

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

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

U2 - 10.1109/SysCon.2013.6549862

DO - 10.1109/SysCon.2013.6549862

M3 - Conference contribution

SN - 9781467331067

SP - 76

EP - 81

BT - SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings

ER -

Jayanthi J, Nanda M, Nayak S. A lightweight integration of mutation analysis with the model checker for system safety verification. In SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings. 2013. p. 76-81. 6549862 https://doi.org/10.1109/SysCon.2013.6549862