All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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