A Methodology for integration of formal methods in a healthcare case study

Luigia Petre, Elena Troubitsyna, Marina Walden, Pontus Boström, Niklas Engblom, Micaela Jansson

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    Abstrakti

    When developing safety-critical systems, it is necessary to satisfy not only functional requirements defining the set of tasks to be performed by the system, but also safety requirements describing the characteristics the system should possess in order to ensure proper safety. Reliability is, as well, an acute issue in the development of safety-critical systems. Enhancement of safety and reliability can be achieved by applying formal methods, while complexity of large systems can be mastered using a graphical language for modelling, e.g., UML. Here we introduce a UML-based development process that incorporates safety analysis and provides a logical interface to a formal refinement based development in B-action systems. The tools associated with the B Method provide a good mechanised support for proving the correctness of the development within B-action systems. We show the feasibility of our development process within a healthcare case study where we develop a safety-critical drug discovery system.

    The work has been done within the EU-project MATISSE - Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435, http://www.matisse.qinetiq.com/).
    AlkuperäiskieliEnglanti
    KustantajaTurku Centre for Computer Science (TUCS)
    Sivumäärä64
    ISBN (painettu)952-12-0939-9
    TilaJulkaistu - 2001
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Sormenjälki Sukella tutkimusaiheisiin 'A Methodology for integration of formal methods in a healthcare case study'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

    Viittausmuodot