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.