Sciweavers

Share
FORTE
2004

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

8 years 11 months ago
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...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where FORTE
Authors Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
Comments (0)
books