Formal modelling of safety-critical interactive devices using coloured petri nets

Jaidka, Sapna and Reeves, Steve and Bowen, Judy (2019) Formal modelling of safety-critical interactive devices using coloured petri nets. FMIS: Formal Methods for Interactive Systems 2019, Porto, Portugal, 7 October, 2019.

PDF (Abstracts) - Supplemental Material

Official URL:

Abstract or Summary

Formal modelling is now widely applied for creating models of safety-critical interactive systems. Most approaches built so far either focus on the user interface or on the functional part of a safety-critical interactive system. This paper aims to apply formal methods for modelling and specifying the user interface, interaction and functional aspects of a safety-critical system in a single model using Coloured Petri Nets(CPN). We have used CPNs because of its expressive graphic representation and the ability to simulate the system behaviour. The technique is illustrated through a case study of the NikiT34 Infusion Pump.

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

Repository Staff Only: item control page