CAREER: Time and Event Based System Software Construction

职业：基于时间和事件的系统软件构建

• 批准号: 0448562
• 负责人: Christopher Gill
• 金额: $ 45万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-09-01 至 2011-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0448562&HistoricalAwards=false
• 关键词: CAREER; Time; Event; Based; System

CAREER: Time and Event Based System Software ConstructionAbstractThe research will define and develop a novel suite of tools and techniques for verifiable system software construction. Towards that end, this project is investigating (1) formal models based on timed automata for canonical sets of primitive system software mechanisms, (2) algebraic representations of how automata for primitive mechanisms can be composed to form more complex mechanisms that are prevalent in current system software practice, and (3) type systems and other techniques for efficient guidance and checking of system software composition and configuration. This approach allows system developers to leverage application-specific constraints on the timing and ordering of system events, to guide composition of new mechanisms and customization of previously composed mechanisms.The project makes it easier for a wide audience of designers, developers and testers to specify, implement and verify correct behavior of software systems. The software and educational materials developed under this project are to be released on-line and open-source.

职业：基于时间和事件的系统软件构建摘要该研究将定义和开发一套新的工具和技术，用于可验证的系统软件构建。为此，该项目正在研究(1)基于原始系统软件机制规范集的时间自动机的形式化模型，(2)如何组合原始机制的自动机以形成当前系统软件实践中普遍存在的更复杂的机制的代数表示，以及(3)用于有效指导和检查系统软件组成和配置的类型系统和其他技术。这种方法允许系统开发人员在系统事件的时序和顺序上利用特定于应用程序的约束，来指导新机制的组合和对先前组合机制的定制。该项目使设计人员、开发人员和测试人员更容易指定、实现和验证软件系统的正确行为。在这个项目下开发的软件和教育材料将在网上和开源发布。