Integrating Formal Methods into Medical Software Development: the ASM approach
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10360967" target="_blank" >RIV/00216208:11320/18:10360967 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1016/j.scico.2017.07.003" target="_blank" >http://dx.doi.org/10.1016/j.scico.2017.07.003</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.scico.2017.07.003" target="_blank" >10.1016/j.scico.2017.07.003</a>
Alternative languages
Result language
angličtina
Original language name
Integrating Formal Methods into Medical Software Development: the ASM approach
Original language description
Medical devices are safety-critical systems since their malfunctions can seriously compromise human safety. Correct operation of a medical device depends upon the controlling software, whose development should adhere to certification standards. However, these standards provide general descriptions of common software engineering activities without any indication regarding particular methods and techniques to assure safety and reliability. This paper discusses how to integrate the use of a formal approach into the current normative for the medical software development. The rigorous process is based on the Abstract State Machine (ASM) formal method, its refinement principle, and model analysis approaches the method supports. The hemodialysis machine case study is used to show how the ASM-based design process covers most of the engineering activities required by the related standards, and provides rigorous approaches for medical software validation and verification.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA17-12465S" target="_blank" >GA17-12465S: Verification and Bug Hunting for Advanced Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
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
Name of the periodical
Science of Computer Programming
ISSN
0167-6423
e-ISSN
—
Volume of the periodical
158
Issue of the periodical within the volume
June 2018
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
20
Pages from-to
148-167
UT code for WoS article
000431163000009
EID of the result in the Scopus database
2-s2.0-85026764594