By Topic

Towards medical device behavioural validation using Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

7 Author(s)
Barbosa, P.E.S. ; Univ. Estadual da Paraiba, Campina Grande, Brazil ; Morais, M. ; Galdino, K. ; Andrade, M.
more authors

Medical devices development and validation are difficult activities due to the critical nature of these products, involving risks to the human lives. Moreover, regulatory agencies are increasing the control over companies because of the still huge number of harms caused for several reasons, having software failures as one of the main causes. Thus it is clear that more formal and sophisticated software development techniques should be investigated. In this paper, we show how Petri nets can play the role of a generic framework for architectural decisions for control systems, allowing besides verification/simulation, an important bridge in the requested traceability by regulatory bodies. We claim that it is possible to satisfy traceability from architectural elements to code, test cases, functional and safety requirements and so on. In order to make clear our point, we conducted a case study from a generic infusion pump specification.

Published in:

Computer-Based Medical Systems (CBMS), 2013 IEEE 26th International Symposium on

Date of Conference:

20-22 June 2013