Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.
Michael D. HarrisonMichael J. DrinnanJosé Creissac CamposPaolo MasciLeo FreitasCostanzo di MariaMichael WhitakerPublished in: FACS (2017)
Keyphrases
- software components
- symbolic model checking
- safety analysis
- model checking
- temporal logic
- model checker
- software systems
- formal specification
- formal verification
- software development
- building blocks
- formal methods
- partial observability
- safety critical
- control system
- web services
- finite state
- binary decision diagrams
- knowledge base
- nuclear power plant
- fault model
- distributed systems
- relational databases