confiable Thursday, September 1st, 2005
A system is dependable if:
it behaves as expected by its
-creators,
-owners,
-and users.
Hypothesis:
- Increase predictability => increase dependability
What can we say about a system before it runs?
- Can system image ‘I’ boot on hardware ‘H’?
- Is application ‘A’ configured to run on system ‘S’?
- Can application ‘A’ be removed without breaking other system dependencies?
http://research.microsoft.com/os/singularity [Presentation ppt]