PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application

Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF Telecom and Informatics, Norway. Medical data on accident victims is entered by medics on handheld devices at the crash site and propagated wirelessly from peer to peer in order to improve information flow and reduce the potential for data loss. The benefits of such a system include improved reliability in patient care and the ability for hospitals to prepare better for incoming trauma patients. The effectiveness and usefulness of the system in practice depends upon both reliability and performance issues. We analyse the functioning of the application through a high-level model expressed in the PEPA nets modelling language, a coloured stochastic Petri net in which the tokens are terms of Hillston's Performance Evaluation Process Algebra (PEPA). We use the PRISM probabilistic model checker to solve the mod...

• Type: Conference
• Year: 2004
• Where: FORTE
• Authors: Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
• Keywords: FORTE 2004, FORTE 2007, Nets Modelling Language, PDA-based Medical Records, PEPA Nets