Software Engineering of Real-Time Operating Systems

实时操作系统软件工程

• 批准号: 8700435
• 负责人: Alan Shaw
• 金额: $ 12.98万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-12-01 至 1990-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8700435&HistoricalAwards=false
• 关键词: Software; Engineering; Real; Time; Operating

The research is concerned with methods and tools for generating real- time operating systems. The work covers topics in software engineering, programming-in-the-large, and real-time processing. Specifically, the following topics will be addressed. 1. a module structuring and interface methodology, based on an acyclic graph model where the nodes represent modules (restricted to processes and abstract data types) and the edges denote procedure import and export relations. 2. a prototype for real-time operating systems design, involving libraries of reusable components. This involves the identification, design, and building of a variety of useful components and structures, such as interrupt handlers, critical section locking mechanisms, message passing, timers, schedulers, input- output systems, cyclic executives, and producer-consumer applications. 3. a graphics front end for interacting with designs. This would permit the construction, modification, and annotation of our module structures, including the association of modules with their code files.

该研究与生成实时操作系统的方法和工具有关。 该作品涵盖了软件工程，整个编程和实时处理的主题。 具体来说，将解决以下主题。 1。基于无环图模型的模块结构和界面方法，其中节点代表模块（仅限于过程和抽象数据类型），而边缘表示过程导入和导出关系。 2。实时操作系统设计的原型，涉及可重复使用的组件的库。 这涉及各种有用的组件和结构的识别，设计和构建，例如中断处理程序，关键部分锁定机制，消息传递，计时器，调度程序，输入输出系统，周期性高管和生产者 - 消费者应用程序。 3。用于与设计交互的图形前端。这将允许我们模块结构的构建，修改和注释，包括模块与其代码文件的关联。