Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/5443
Title: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices
Authors: Harrison,MD
Paolo Masci
José Creissac Campos
Curzon,P
Issue Date: 2017
Abstract: One part of demonstrating that a device is acceptably safe, often required by regulatory standards, is to show that it satisfies a set of requirements known to mitigate hazards. This paper is concerned with how to demonstrate that a user interface software design is compliant with use-related safety requirements. A methodology is presented based on the use of formal methods technologies to provide guidance to developers about addressing three key verification challenges: 1) how to validate a model, and show that it is a faithful representation of the device; 2) how to formalize requirements given in natural language, and demonstrate the benefits of the formalization process; and 3) how to prove requirements of a model using readily available formal verification tools. A model of a commercial device is used throughout the paper to demonstrate the methodology. A representative set of requirements are considered. They are based on US Food and Drug Administration (FDA) draft documentation for programmable medical devices, and on best practice in user interface design illustrated in relevant international standards. The methodology aims to demonstrate how to achieve the FDA's agenda of using formal methods to support the approval process for medical devices.
URI: http://repositorio.inesctec.pt/handle/123456789/5443
http://dx.doi.org/10.1109/thms.2017.2717910
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00N-7W0.pdf3.43 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.