The Use of Automated Theory Formation in Support of Hazard Analysis

Andrew Ireland; Maria Teresa Llano; Simon Colton

doi:10.1007/978-3-319-77935-5_17

The Use of Automated Theory Formation in Support of Hazard Analysis

Andrew Ireland, Maria Teresa Llano, Simon Colton

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

69 Downloads (Pure)

Abstract

Model checking and simulation are powerful techniques for developing and verifying the design of reactive systems. Here we propose the use of a complementary technique – automated theory formation. In particular, we report on an experiment in which we used a general purpose automated theory formation tool, HR, to explore properties of a model written in Promela. Our use of HR is constrained by meta-knowledge about the model that is relevant to hazard analysis. Moreover, we argue that such meta-knowledge will enable us to explore how safety properties could be violated.

Original language	English
Title of host publication	NASA Formal Methods
Subtitle of host publication	10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Editors	Aaron Dutle, César Munoz, Anthony Narkawicz
Publisher	Springer
Pages	237-243
Number of pages	7
ISBN (Electronic)	9783319779355
ISBN (Print)	9783319779348
DOIs	https://doi.org/10.1007/978-3-319-77935-5_17
Publication status	Published - 11 Mar 2018
Event	Tenth NASA Formal Methods Symposium - Newport News, United States Duration: 17 Apr 2018 → 19 Apr 2018

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	10811
ISSN (Print)	0302-9743

Conference

Conference	Tenth NASA Formal Methods Symposium
Abbreviated title	NFM 2018
Country/Territory	United States
City	Newport News
Period	17/04/18 → 19/04/18

Access to Document

10.1007/978-3-319-77935-5_17

Download pdf
This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is available online at https://doi.org/10.1007/978-3-319-77935-5_17
Accepted author manuscript, 264 KBLicence: All Rights Reserved

Cite this

Ireland, A., Llano, M. T., & Colton, S. (2018). The Use of Automated Theory Formation in Support of Hazard Analysis. In A. Dutle, C. Munoz, & A. Narkawicz (Eds.), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (pp. 237-243). (Lecture Notes in Computer Science; Vol. 10811). Springer. https://doi.org/10.1007/978-3-319-77935-5_17

@inproceedings{217f46737567417a80956089371e7b5e,

title = "The Use of Automated Theory Formation in Support of Hazard Analysis",

abstract = "Model checking and simulation are powerful techniques for developing and verifying the design of reactive systems. Here we propose the use of a complementary technique – automated theory formation. In particular, we report on an experiment in which we used a general purpose automated theory formation tool, HR, to explore properties of a model written in Promela. Our use of HR is constrained by meta-knowledge about the model that is relevant to hazard analysis. Moreover, we argue that such meta-knowledge will enable us to explore how safety properties could be violated.",

author = "Andrew Ireland and Llano, {Maria Teresa} and Simon Colton",

year = "2018",

month = mar,

day = "11",

doi = "10.1007/978-3-319-77935-5_17",

language = "English",

isbn = "9783319779348",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "237--243",

editor = "Aaron Dutle and C{\'e}sar Munoz and Anthony Narkawicz",

booktitle = "NASA Formal Methods",

note = "Tenth NASA Formal Methods Symposium, NFM 2018 ; Conference date: 17-04-2018 Through 19-04-2018",

}

Ireland, A, Llano, MT & Colton, S 2018, The Use of Automated Theory Formation in Support of Hazard Analysis. in A Dutle, C Munoz & A Narkawicz (eds), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10811, Springer, pp. 237-243, Tenth NASA Formal Methods Symposium, Newport News, Virginia, United States, 17/04/18. https://doi.org/10.1007/978-3-319-77935-5_17

The Use of Automated Theory Formation in Support of Hazard Analysis. / Ireland, Andrew; Llano, Maria Teresa; Colton, Simon.
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. ed. / Aaron Dutle; César Munoz; Anthony Narkawicz. Springer, 2018. p. 237-243 (Lecture Notes in Computer Science; Vol. 10811).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - The Use of Automated Theory Formation in Support of Hazard Analysis

AU - Ireland, Andrew

AU - Llano, Maria Teresa

AU - Colton, Simon

PY - 2018/3/11

Y1 - 2018/3/11

N2 - Model checking and simulation are powerful techniques for developing and verifying the design of reactive systems. Here we propose the use of a complementary technique – automated theory formation. In particular, we report on an experiment in which we used a general purpose automated theory formation tool, HR, to explore properties of a model written in Promela. Our use of HR is constrained by meta-knowledge about the model that is relevant to hazard analysis. Moreover, we argue that such meta-knowledge will enable us to explore how safety properties could be violated.

AB - Model checking and simulation are powerful techniques for developing and verifying the design of reactive systems. Here we propose the use of a complementary technique – automated theory formation. In particular, we report on an experiment in which we used a general purpose automated theory formation tool, HR, to explore properties of a model written in Promela. Our use of HR is constrained by meta-knowledge about the model that is relevant to hazard analysis. Moreover, we argue that such meta-knowledge will enable us to explore how safety properties could be violated.

U2 - 10.1007/978-3-319-77935-5_17

DO - 10.1007/978-3-319-77935-5_17

M3 - Conference contribution

SN - 9783319779348

T3 - Lecture Notes in Computer Science

SP - 237

EP - 243

BT - NASA Formal Methods

A2 - Dutle, Aaron

A2 - Munoz, César

A2 - Narkawicz, Anthony

PB - Springer

T2 - Tenth NASA Formal Methods Symposium

Y2 - 17 April 2018 through 19 April 2018

ER -

The Use of Automated Theory Formation in Support of Hazard Analysis

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this