Formal validation and verification of a medical software critical component

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10312271" target="_blank" >RIV/00216208:11320/15:10312271 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1109/MEMCOD.2015.7340473" target="_blank" >http://dx.doi.org/10.1109/MEMCOD.2015.7340473</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/MEMCOD.2015.7340473" target="_blank" >10.1109/MEMCOD.2015.7340473</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Formal validation and verification of a medical software critical component

Popis výsledku v původním jazyce

Medical device software malfunctioning can lead to injuries or death for humans and, therefore, its development should adhere to certification standards. However, these standards establish general guidelines on the use of common software engineering activities without any indication regarding methods and techniques to assure safety and reliability. This paper presents a formal development process, based on the Abstract State Machine method, that integrates most of the activities required by the standards. The process permits to obtain, through a sequence of refinements, more detailed models that can be formally validated and verified. Offline and online testing techniques permit to check the conformance of the implementation w.r.t. the specification. The process is applied to the validation of the SAM medical software, that is used to measure the patients' stereoacuity in the diagnosis of amblyopia.

Název v anglickém jazyce

Formal validation and verification of a medical software critical component

Popis výsledku anglicky

Medical device software malfunctioning can lead to injuries or death for humans and, therefore, its development should adhere to certification standards. However, these standards establish general guidelines on the use of common software engineering activities without any indication regarding methods and techniques to assure safety and reliability. This paper presents a formal development process, based on the Abstract State Machine method, that integrates most of the activities required by the standards. The process permits to obtain, through a sequence of refinements, more detailed models that can be formally validated and verified. Offline and online testing techniques permit to check the conformance of the implementation w.r.t. the specification. The process is applied to the validation of the SAM medical software, that is used to measure the patients' stereoacuity in the diagnosis of amblyopia.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design

ISBN

978-1-5090-0237-5

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

80-89

Název nakladatele

IEEE

Místo vydání

Neuveden

Místo konání akce

Austin, Texas, USA

Datum konání akce

21. 9. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—