SGER: Stability of Real Time Software Systems

项目编号：0649885PI: shaei院校：伊利诺伊大学题目：软件系统稳定性摘要：重大采办项目的软件系统存在较高的故障率。软件系统非常脆弱。可悲的是，历史上充满了一个小软件错误导致重大系统故障的案例。例如，在土木和机械工程中，需要有一个软件稳定性的概念来匹配所使用的系统稳定性。当然，软件的稳定性将不同于那些学科中的稳定性，因为软件是离散的、高度非线性的、极其复杂的，但是稳定性需要主动测量和主动控制。稳定的软件系统将具有运行时监视、故障控制和依赖管理的能力；然而，需要新的概念和原则来设计和推理稳定软件的形式、控制和组成。这一研究建议将为软件系统的稳定性理论提供基础。

Proposal Number: 0649885PI: Lui ShaInstitution: University of IllinoisTitle: Stability of Software SystemsAbstract:Software systems for major acquisition projects have a high failure rate. Software systems are exceedingly fragile. Sadly, history is replete with cases where a small software error caused a major system failure. There needs to be a notion of software stability to match system stability used, for example, in civil and mechanical engineering. Of course, software stability would differ from stability in those disciplines because software is discrete, highly nonlinear, and exceedingly complex but stability requires active measurement and active control. Stable software systems would have capabilities for runtime monitoring, fault containment, and dependency management; however, new concepts and principles are needed to design and reason about the forms of stable software, its control and its composition. This research proposal would provide the foundations for a theory of stability for software systems.