Towards designing dependable software systems

点击翻译按钮获取中文摘要

While modern computer systems have become deeply intertwined with our daily lives, they are insecure, failure-prone and hard to configure and thus hardly dependable. The goal of this research is to improve dependability in software systems. We will focus on designing and building systems that allow analysis, detection and recovery from computer intrusions, software misconfiguration and software bugs. Traditional solutions have focused preventing the occurrence of these dependability problems, but unfortunately, these problems have no decisive solutions but are ongoing facts of life that must be resolved regularly. For example, a software system can be hardened endlessly but that does not eliminate the possibility of an intrusion. Instead, systems that allow detailed post-facto analysis and recovery can be made more resilient to software errors.