Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Developing health information systems using safety management procedures and formal development methods

R Shaw1, S Hughes

  • 1Applied Information Engineering, Lloyd's Register of Shipping, Croydon, UK.

International Journal of Bio-Medical Computing
|February 1, 1994
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Characterisation of the Historic Demographic Decline of the British European Polecat Population.

Molecular ecology·2025
Same author

Perceptions of chemoprevention among individuals at high risk of oral cancer: qualitative study within the UK-based SAVER trial.

BMJ open·2025
Same author

Structure-based pharmacophore modelling for ErbB4-kinase inhibition: a systematic computational approach for small molecule drug discovery for breast cancer.

SAR and QSAR in environmental research·2024
Same author

Socioeconomic Deprivation Correlates With Incomplete Radiotherapy Treatment in Head and Neck Cancer.

Clinical oncology (Royal College of Radiologists (Great Britain))·2024
Same author

Achievement of Target Gain Larger than Unity in an Inertial Fusion Experiment.

Physical review letters·2024
Same author

Lawson Criterion for Ignition Exceeded in an Inertial Fusion Experiment.

Physical review letters·2022
Same journal

Commentary on a futuristic model of patient record systems and telemedicine.

International journal of bio-medical computing·1996
Same journal

Nonlinear eye movement detection method for drowsiness studies.

International journal of bio-medical computing·1996
Same journal

Segmentation of auditory brainstem response signals.

International journal of bio-medical computing·1996
Same journal

A comparison of neural network and Bayes recognition approaches in the evaluation of the brainstem trigeminal evoked potentials in multiple sclerosis.

International journal of bio-medical computing·1996
Same journal

Methodology for using the UMLS as a background knowledge for the description of surgical procedures.

International journal of bio-medical computing·1996
Same journal

An MLP-based model for identifying qEEG in depression.

International journal of bio-medical computing·1996
See all related articles

The MORSE project developed reusable software for safety-critical systems using the RAISE formal method. A clinical laboratory system case study illustrated this approach for enhanced system reliability.

Area of Science:

  • Software Engineering
  • Formal Methods
  • Safety-Critical Systems

Background:

  • Developing reusable software for safety-critical systems presents significant challenges.
  • Existing methods often lack coherence and formal rigor.
  • The need for dependable and maintainable software in critical domains is paramount.

Purpose of the Study:

  • To present the approach of the MORSE project for developing reusable software for safety-critical systems.
  • To illustrate the application of the RAISE formal language and development method.
  • To demonstrate the practical redevelopment of a clinical laboratory system using formal methods.

Main Methods:

  • Utilized the RAISE (Rigorous Approach to Industrial Software Engineering) formal language and development method.

Related Experiment Videos

  • Conducted three case studies within the MORSE project.
  • Focused on a clinical laboratory system redevelopment as an illustrative example.

    • Main Results:

    • Demonstrated a coherent approach to developing reusable software for safety-critical systems.
    • Successfully applied the RAISE method in a practical case study.
    • The clinical laboratory system redevelopment showcased the effectiveness of formal methods.

    Conclusions:

    • The MORSE project provides a viable strategy for creating dependable, reusable software for critical applications.
    • Formal methods, exemplified by RAISE, are effective in enhancing the quality and safety of software.
    • The case study validates the practical application of formal development in real-world systems.