Challenges in Assuring Highly Complex, High Volume Safety-Critical Software.

John MacGregor Simon Burton

Published in: SAFECOMP Workshops (2018)

Keyphrases

safety critical
highly complex
high volume
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
real time
nuclear power plant
adaptive systems
software intensive systems
big data
support systems
object oriented
steady state
low cost
case study
artificial intelligence
databases