A coloured petri net approach to model and analyze safety-critical interactive systems

Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) A coloured petri net approach to model and analyze safety-critical interactive systems. APSEC 2019, Putrajaya, Malaysia, 2 December - 5 December, 2019.

[img]
Preview
PDF (Journal Article) - Submitted Version
584Kb

Official URL: https://ieeexplore.ieee.org/abstract/document/8946...

Abstract or Summary

To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We present a technique to construct a single Coloured Petri Net model of the user interface, interaction and functionality of safety-critical interactive systems and then analyze the achieved Coloured Petri Net model using a state space analysis method. There are several reasons for using Coloured Petri Nets. Coloured Petri Nets provides a graphical epresentation and hierarchical structuring mechanism, and a state space verification technique, which allows querying the state space to investigate behaviours of a system. There are several tools that supports Coloured Petri Nets including the CPN Tool which helps in building CPN models and allows simulation and analysis using state spaces. The technique to model and analyze safety-critical interactive systems is illustrated using a simplified infusion pump example.

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Keywords that describe the item:Coloured Petri Nets, Formal Modelling and analysis
Subjects:T Technology > T Technology (General)
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:7210
Deposited By:
Deposited On:10 Feb 2020 04:54
Last Modified:10 Feb 2020 04:54

Repository Staff Only: item control page