On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems.

Bader Alahmad Sathish Gopalakrishnan

Published in: RTNS (2018)

Keyphrases

real time systems
safety critical
embedded systems
real time
anytime algorithms
distributed systems
safety analysis
formal methods
real time embedded
low cost
fault tolerant
nuclear power plant
contract algorithms
database
case study
medical images