|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
What is Software Assurance?
If you have a question about this talk, please contact Wei Ming Khoo.
Safety-critical systems must be supplied with strong assurance that they are, indeed, safe. Top-level safety goals are usually stated quantitatively—for example, “no catastrophic failure in the lifetime of all airplanes of one type”—and these translate into probabilistic requirements for subsystems, and hence for software. In this way, we obtain quantitative reliability requirements for software: for example, the probability of failure in flight-critical software must not exceed 10-9 per hour.
But the methods by which assurance is developed for critical systems are mostly about correctness (inspections, formal verification, testing etc.) and these do not seem to support quantitative reliability claims. Furthermore, more stringent reliability goals require more extensive correctness-based assurance. How does more assurance of correctness deliver greater reliability?
I will resolve this conundrum by arguing that what assurance actually does is provide evidence for assessing a probability of “possible perfection.” Possible perfection does relate to reliability and has other attractive properties that I will describe. In particular, it allows assessment of the reliability of certain fault-tolerant architectures. I will explain how formal verification can allow assessment of a probability of perfection, and will discuss plausible values for this probability and consequences for correctness of verification systems themselves.
This is joint work with Bev Littlewood of City University, London UK.
This talk is part of the Computer Laboratory Security Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsRainbow Group Seminars Combined External Astrophysics Talks DAMTP CamLing 2010 -- The Sixth Cambridge Postgraduate Conference in Language Research
Other talksTHE DRILLERS DON’T LIKE GETTING WET or WHY THE LAUNDRY ROOM KEEPS GETTING FLOODED : Water up to surprisingly high levels around the legs of large floating oil rigs CASIM VI: Discussion 2 - Long Read / New Technologies Exploring the controls on earthquakes and tectonics; from the plains of India to the greatest mountain range on Earth The Great War and the British Problem, 1914-2014 Genome stability and instability during repair of a broken chromosome Leukocyte migration and gradient sensing in vivo: lessons from zebrafish