Abstract
Safety Instrumented Systems (SIS) are usually designed to prevent accidents, avoid undesirable situations and guarantee continuous operation of oil and gas production systems. An interruption in the operation can be caused by faults in sensors and/or actuators. Hence, SIS are usually integrated to the supervisory control system in order to use the information from sensors to prevent such undesirable situations. In this scenario, it is important to be able to validate the SIS implementation against its specification in order to increase the reliability of the system. In this work a technique to improve the dependability of SIS is introduced. A method to obtain a timed automata from a ISA 5.2 specification is presented and applied to a case study provided by Petrobras (Brazilian oil company). Finally, an approach to perform automatic testing of the implementation using the generated model is discussed. The method introduced here is based on the use of the Uppaal model checker and the Uppaal-TRON testing tool.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
