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.

职业：基于时间和事件的系统软件ConstructionAbtractratterthe研究将定义和开发一套新颖的工具和技术，用于可验证的系统软件构建。为此，该项目正在调查（1）基于定时自动机的正式模型，用于原始系统软件机制的规范集，（2）如何组成自动机的代数表示，以形成更复杂的机制，这些机制在当前的系统软件实践中在当前的系统软件实践中流行，以及（3）类型的系统和其他技术和其他系统的构造和其他系统的构造。 这种方法使系统开发人员能够利用针对系统事件的时机和顺序的特定应用程序约束，指导新机制的组成以及自定义先前组成的机制。该项目使广泛的设计师，开发人员和测试人员更容易指定，实施，实现和验证软件系统的正确行为。 该项目下开发的软件和教育材料将在线和开源产品发布。