Formal validation and verification of a medical software critical component
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Formal validation and verification of a medical software critical component
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2015
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
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
—
Number of pages
10
Pages from-to
80-89
Publisher name
IEEE
Place of publication
Neuveden
Event location
Austin, Texas, USA
Event date
Sep 21, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—