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

项目编号：CCR-9988409PI: Lee， InsupCo-PI: Sokolsky， OlegUniversity of pennsylvania一种提高设计时和运行时信心的综合方法该研究提出了提高软件系统信心的两种方法：设计时分析和运行时监控。设计时分析是根据需求验证设计规范，而运行时监控是确保实现按要求运行。提出的研究将通过特定领域的分析技术和工具的扩展来改进设计时分析。所选领域的扩展将基于该领域典型的规范模式和特定于该领域的抽象机制。此外，设计时分析方法将与运行时监控和检查方法相结合。由于此集成工作的成功将取决于特定领域的特征，因此这些特征的识别将是拟议工作的一部分。拟议的工作将在高置信度软件的框架到端系统开发的背景下进行，基于一套用于规范、分析、开发、测试、原型设计、仿真和监控的方法和工具。设计时分析和运行时监控的集成是所提出工作的关键方面。提议的工作将在一系列应用程序上进行评估，这些应用程序被选择来代表需要高置信度和实时性要求的领域，例如嵌入式系统和电子商务系统。

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.