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.

随着他们参与智能结构，航空航天和核应用，土木工程师还必须关注他们开发的软件以控制，感知和监测的可靠性。 例如，考虑主动结构控制所需的软件所需的高可靠性和容错性。 由于这些实时系统在循环中没有人体的情况下运行，因此错误的影响可能特别毁灭性：控制系统故障可能会激发结构而不是消散振动。 这项研究的总体目标是研究可靠性问题，土木工程软件的影响，并定义一种实用方法，包括由预先验证和运行时间支持组成，可用于确保可靠性。 更具体地说，该研究将重点关注主动结构控制的软件可靠性，并将利用诸如静态验证和实时测试技术之类的概念，以确保软件正确性，以及在存在硬件和软件错误的情况下提供可靠的行为，以提供可靠的行为。 这项研究的好处有望使可靠，容忍，实时的计算机软件开发用于实用的土木工程应用。