Conservative Bayesian Assessment of Software-based Systems Exhibiting Correlated Executions.
Kizito SalakoXingyu ZhaoPublished in: CoRR (2022)
Keyphrases
- computer systems
- building blocks
- management system
- data sets
- hardware platforms
- safety critical
- commercial software
- software packages
- distributed systems
- knowledge based systems
- intelligent systems
- learning systems
- software systems
- embedded systems
- computing systems
- high end
- expert systems
- graphical user interfaces
- case study
- commercial off the shelf
- real time