Search for collections on Wintec Research Archive

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

Citation: UNSPECIFIED.

[thumbnail of Abstracts] PDF (Abstracts)
FMIS 2019 informal v2.pdf - Supplemental Material

Download (6MB)

Abstract

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
Uncontrolled Keywords: 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
Depositing User: Sapna Jaidka
Date Deposited: 10 Feb 2020 04:51
Last Modified: 21 Jul 2023 08:42
URI: http://researcharchive.wintec.ac.nz/id/eprint/7211

Actions (login required)

View Item
View Item