Validating Operating Manual by Reasoning about State Transitions Through System’s Function Models

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

In complex process systems such as oil and gas plants, operating manuals are crucial to ensure suitable operator response to both regular and emergent events. Validation is accordingly essential to guarantee usability and correctness of manuals. Most of validation methods, however, only focus on the final goal of manual execution in quantitative perspective and fail to validate whether actions are arranged reasonably and safely. This paper proposes an approach for validating intentions of steps in an operating manual on bringing about state transitions of system’s functions described by Multilevel Flow Modeling (MFM). By defining phases of functions and specifying rules for reasoning about state transition and propagation, the knowledge about how individual functions should transit their states sequentially can be derived from an MFM model. The operating manual can thus be validated by confirming consistency between the derived sequence and actual state transitions resulting from executing different component actions. The proposed approach is applied to validate an operating procedure that handles a gas treatment process. The same kind of knowledge about state transition provided by MFM are also expected to be useful for aiding operators in maintenance of their situation awareness during a manual performance.
Original languageEnglish
Title of host publicationProceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference
Number of pages8
PublisherResearch Pulishing
Publication date2020
Publication statusPublished - 2020
Event30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference - Venice, Italy
Duration: 21 Jun 202026 Jun 2020

Conference

Conference30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference
CountryItaly
CityVenice
Period21/06/202026/06/2020

Keywords

  • Process safety
  • Operating manual
  • Validation
  • Operating Modes
  • Knowledge-based reasoning
  • Multilevel flow modeling

Fingerprint Dive into the research topics of 'Validating Operating Manual by Reasoning about State Transitions Through System’s Function Models'. Together they form a unique fingerprint.

Cite this