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 proceedingConference contribution

25 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 languageEnglish
Title of host publicationNASA Formal Methods
Subtitle of host publication10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
EditorsAaron Dutle, César Munoz, Anthony Narkawicz
PublisherSpringer International Publishing
Pages237-243
Number of pages7
ISBN (Electronic)9783319779355
ISBN (Print)9783319779348
DOIs
Publication statusPublished - 11 Mar 2018
EventTenth NASA Formal Methods Symposium - Newport News, United States
Duration: 17 Apr 201819 Apr 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume10811
ISSN (Print)0302-9743

Conference

ConferenceTenth NASA Formal Methods Symposium
Abbreviated titleNFM 2018
CountryUnited States
CityNewport News
Period17/04/1819/04/18

Fingerprint Dive into the research topics of 'The Use of Automated Theory Formation in Support of Hazard Analysis'. Together they form a unique fingerprint.

  • 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 International Publishing. https://doi.org/10.1007/978-3-319-77935-5_17