About 30 years ago, Lapri has defined dependability as a logical framework over multiple quantitative properties, such as availability, reliability, integrity, etc. Since then it has been successfully used for characterizing dependability of computational systems. The latest update of concepts and taxonomy of dependable and secure computing was released in 2004 (see link below):
