An Integrated Approach to Improving Design-Time and Run-Time Confidence

提案编号：CCR-9988409PI：Lee，InsupCo-PI：Sokolsky，宾夕法尼亚俄勒冈大学改进设计时和运行时可信度的综合方法建议的研究解决了两种提高软件系统可信度的方法：设计时分析和运行时监控。设计时分析是根据需求验证设计规范，而运行时监控是确保实现按要求运行。拟议的研究将通过对分析技术和工具的特定领域扩展来改进设计时分析。所选域的扩展将基于该域的典型规范模式，以及特定于域的抽象机制。此外，设计时分析方法将与运行时监控和检查方法相结合。由于这项整合工作的成功将取决于具体领域的特点，因此，确定这些特点将是拟议工作的一部分。拟议的工作将在高置信度软件端到端系统开发框架的背景下进行，该框架基于一套用于规范、分析、开发、测试、原型制作、模拟和监测的方法和工具。设计时分析和运行时监控的集成是建议工作的关键新颖方面。拟议的工作将在一系列应用程序上进行评价，这些应用程序被选来代表需要高度置信度和实时要求的领域，如嵌入式系统和电子商务系统。

Proposal Number: CCR-9988409PI: Lee, InsupCo-PI: Sokolsky, OlegUniversity of PennsylvaniaAn Integrated Approach to Improving Design-Time and Run-Time ConfidenceThe proposed research addresses two ways to improve confidence insoftware systems: design-time analysis and run-time monitoring. Thedesign-time analysis is to verify design specifications with respectto requirements, whereas the run-time monitoring is to assure that animplementation is behaving as required. The proposed research willimprove design-time analysis by means of domain-specific extensions toanalysis techniques and tools. An extension for a chosen domain willbe based on specification patterns typical of the domain, and ondomain-specific abstraction mechanisms. Furthermore, the design-timeanalysis approach will be integrated with the run-time monitoring andchecking approach. Since the success of this integration work willdepend on the characteristics of specific domains, the identificationof such characteristics will be part of the proposed work. Theproposed work will be performed in the context of framework forend-to-end system development of high confidence software, based on asuite of methods and tools for the specification, analysis,development, testing, prototyping, simulation and monitoring. Theintegration of design-time analysis and run-time monitoring is the keynovel aspect of the proposed work. The proposed work will beevaluated on a collection of applications chosen to represent domainsrequiring high confidence and real-time requirements, such as embeddedsystems and electronic commerce systems.