Modelling safety-critical devices: coloured petri nets and Z

The paper describes a model that presents a technique in which we combine formal languages---Z, presentation models and coloured Petri nets---and methods which use them, to specify the functionality and model the user interface and interaction of a system by clearly describing the state space, operations and behavioural aspects of a system. We show how to combine the Z specification and presentation models with coloured Petri nets for modelling safety critical systems by retaining the strengths of the formalisms and alleviating their drawbacks.

[1]  Ravishankar K. Iyer,et al.  Analysis of Safety-Critical Computer Failures in Medical Devices , 2013, IEEE Security & Privacy.

[2]  W. Buxton.  Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[3]  Judy Bowen,et al.  Formal models for user interface design artefacts , 2008, Innovations in Systems and Software Engineering.

[4]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[5]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[6]  Philippe Palanque,et al.  Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, Duisburg, Germany : [In Conjunction with the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)] , 2015, FM 2015.

[7]  João M. Fernandes,et al.  The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets , 2010, HCSE.

[8]  Judy Bowen,et al.  Using formal models to design user interfaces: a case study , 2007, BCS HCI.

[9]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[10]  Alan J. Dix.  Human-Computer Interaction , 2018, Encyclopedia of Database Systems.

[11]  Xudong He,et al.  PZ nets a formal method integrating Petri nets with Z , 2001, Inf. Softw. Technol..

[12]  Eric Barboni,et al.  ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability , 2009, TCHI.

[13]  Philippe A. Palanque,et al.  A Model-Based Approach for Engineering Multimodal Interactive Systems , 2003, INTERACT.

[14]  Monika Heiner,et al.  Modeling Safety-Critical Systems with Z and Petri Nets , 1999, SAFECOMP.

[15]  Philippe A. Palanque,et al.  Workshop on formal methods in human computer interaction , 2015, EICS.

[16]  Harold W. Thimbleby,et al.  User-Centered Methods Are Insufficient for Safety Critical Systems , 2007, USAB.