How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA14-11384S" target="_blank" >GA14-11384S: Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
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
—
Number of pages
16
Pages from-to
344-359
Publisher name
Springer International Publishing
Place of publication
Cham
Event location
Linz, Austria
Event date
May 23, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000379124200030