How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331935" target="_blank" >RIV/00216208:11320/16:10331935 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-33600-8_30" target="_blank" >http://dx.doi.org/10.1007/978-3-319-33600-8_30</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-33600-8_30" target="_blank" >10.1007/978-3-319-33600-8_30</a>

Jazyk výsledku

angličtina

Název v původním jazyce

How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study

Popis výsledku v původním jazyce

Medical devices are nowadays more and more software dependent, and software malfunctioning can lead to injuries or death for patients. Several standards have been proposed for the development and the validation of medical devices, but they 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 takes advantage of the Hemodialysis machine case study to present a formal development process supporting most of the engineering activities required by the standards, and provides rigorous approaches for system validation and verification. The process is based on the Abstract State Machine formal method and its model refinement principle.

Název v anglickém jazyce

How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study

Popis výsledku anglicky

Medical devices are nowadays more and more software dependent, and software malfunctioning can lead to injuries or death for patients. Several standards have been proposed for the development and the validation of medical devices, but they 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 takes advantage of the Hemodialysis machine case study to present a formal development process supporting most of the engineering activities required by the standards, and provides rigorous approaches for system validation and verification. The process is based on the Abstract State Machine formal method and its model refinement principle.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA14-11384S" target="_blank" >GA14-11384S: Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

ISBN

978-3-319-33600-8

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

16

Strana od-do

344-359

Název nakladatele

Springer International Publishing

Místo vydání

Cham

Místo konání akce

Linz, Austria

Datum konání akce

23. 5. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

000379124200030