Formal techniques in the safety analysis of software components of a new dialysis machine.
Michael D. HarrisonLeo FreitasMichael J. DrinnanJosé Creissac CamposPaolo MasciCostanzo di MariaMichael WhitakerPublished in: Sci. Comput. Program. (2019)
Keyphrases
- software components
- safety analysis
- formal specification
- safety critical
- nuclear power plant
- software systems
- formal methods
- software development
- software reuse
- symbolic model checking
- building blocks
- control system
- fault model
- commercial off the shelf
- reusable components
- component based development
- reliability analysis
- model checking
- software engineering
- condition monitoring
- web services
- information systems
- real time
- formal verification
- medical data
- cooperative