Architectural Invariants of Evolving Systems

9710575软件演化是一个重要的创造性过程，但它带来了严重的风险，特别是当软件嵌入在一个关键的企业，必须在其操作环境中发展。由于即使是软件中很小的变化也会导致系统行为的巨大变化，因此包含不断发展的软件系统的企业容易受到破坏性和潜在灾难性影响的影响，这些影响是由无意中的错误或由用于维护软件的程序员的恶意攻击引起的。该项目试图通过确保给定系统的一些架构原则在其演化过程中保持不变来驯服这种危险。这种不变量，包括永久的“防火墙”，访问控制制度，和内部控制纪律，以确保可扩展性，应该是非常宝贵的安全关键系统，更一般地说，系统，发挥一些敏感的社会作用。这项工作将从以前创建的系统Darwin-E和Moses开始，整合两者的功能，扩展方法，并探索其在特定应用领域的使用。 ***

9710575 Software evolution is an important creative process, but it carries serious perils, particularly when the software is embedded in a critical enterprise and must evolve within its operational context. Since even a small change in the software can cause a large change in the behavior of the system, an enterprise that incorporates an evolving software system is susceptible to destructive and potentially disastrous effects, caused by inadvertent errors or by malicious attacks by programmers employed to maintain the software. The project attempts to tame such perils by ensuring that some of the architectural principles of a given system be maintained as invariants of its evolution. Invariants of this kind, which include permanent "firewalls," access-control regimes, and internal control discipline that ensure auditability, should be invaluable for safety-critical systems and, more generally, for systems that play some sensitive societal roles. The work will start from previously created systems Darwin-E and Moses, integrating the capabilities of the two, scaling up the approach, and exploring its use in a particular application domain. ***