Relational Programs

达拉斯得克萨斯大学的CCR-99000922 Bastani，Farokh B.关键应用程序的自动化程度不断提高，对软件功能和保证水平的要求也越来越高。为了应对这些挑战，已经提出了几种方法来将需求规范分解成可以独立实现的不相交的部分。然而，这些方法中的大多数并不直接促进对所产生的系统的评估。本研究的重点是理想(独立可开发的最终用户可评估逻辑)组件，即可由最终用户独立分析、开发和评估的组件。要组成一个由理想组件组成的系统，每个组件都是相关的(返回给定输入的所有可能输出)。这种方法具有几个显著的优点，包括高可靠性和安全性保证、自动合成和支持多范例控制策略。将为几类应用程序的关系程序的存在建立一个正式的基础。将开发一个启发式规则、数据类型、操作和协调方案的库，以促进高效关系程序的编写。将开发方法来从其组件的属性推断理想组件系统的属性(性能、可靠性、安全性和稳定性)。这些将产生一种严格和实用的方法，以实现关键应用程序的可证明的高保证。

CCR-99000922 Bastani, Farokh B. The University of Texas at DallasThe increasing automation of critical applications is imposing increasing demands on software capabilities and assurance levels. To handle these challenges, several methods have been proposed to decompose requirements specifications into disjoint pieces that can be implemented independently. However, most of these methods do not directly facilitate the assessment of the resulting system. This research focuses on IDEAL (Independently Developable End-user Assessable Logical) components, i.e., components that can be analyzed, developed, and evaluated independently by the end-user. To compose a system of IDEAL components, each component is relational (returns all possible outputs for a given input). This approach has severalsignificant advantages, including high reliability and safety assurance, automated composition, and support for multiparadigm control strategies. A formal foundation for the existence of relational programs for several classes of applications will be developed. A library of heuristic rules, data types, operations, and coordination schemes will be developed to facilitate the writing of efficient relational programs. Methods will be developed to infer the properties (performance, reliability, safety, and stability) of a system of IDEAL components from the properties of its components. These will result in a rigorous and practical approach for achieving certifiable high assurance for critical applications.