Reliability of Real-Time Engineering Software

实时工程软件的可靠性

• 批准号: 9201687
• 负责人: John Baugh
• 金额: $ 10.4万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-07-15 至 1996-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9201687&HistoricalAwards=false
• 关键词: Reliability; Real; Time; Engineering; Software

With their involvement in intelligent structures, and aerospace and nuclear applications, civil engineers must also be concerned about the reliability of the software they develop to control, sense, and monitor. Consider for example the high dependability and fault tolerance required of software for active structural control. Because these real-time systems operate without a human in the loop, the impact of errors can be particularly devastating: control system failure could excite the structure rather than dissipate vibration. The overall goals of this research are to examine the impact of reliability issues in real- time, civil engineering software, and to define a practical methodology, consisting of both predeployment validation and run- time support, that can be used to ensure reliability. More specifically, the study will focus on software reliability of active structural control, and will draw on notions such as static verification and real-time testing techniques to ensure software correctness, as well as fault tolerance and redundancy to provide dependable behavior in the presence of hardware and software errors. The benefits of this study are expected to enable the development of reliable, fault-tolerant, real-time computer software for practical civil engineering applications.

随着他们对智能结构和航空航天的参与， 和核应用，土木工程师也必须关注 他们开发的软件的可靠性， 感测和监视器。 例如，考虑高可靠性 主动结构设计对软件的容错性要求 控制 因为这些实时系统在没有人类的情况下运行 在循环中，错误的影响可能特别 毁灭性的：控制系统故障可能会激发结构 而不是消散振动。 本项目的总体目标 研究的目的是检查可靠性问题在真实的- 时间，土木工程软件，并定义一个实用的 方法，包括部署前验证和运行- 时间支持，可用于确保可靠性。 更 具体而言，研究将侧重于软件可靠性， 积极的结构控制，并将借鉴的概念，如 静态验证和实时测试技术， 软件正确性以及容错和冗余 在硬件存在的情况下提供可靠的行为， 软件错误。 这项研究的好处预计将 能够开发可靠、容错、实时 用于实际土木工程应用的计算机软件。