Software Engineering of Real-Time Operating Systems

该研究涉及用于生成实时操作系统的方法和工具。这项工作涵盖了软件工程、大规模编程和实时处理等主题。具体地说，将讨论以下主题。1.模块结构和接口方法，基于非循环图模型，其中节点表示模块(仅限于流程和抽象数据类型)，边表示过程导入和出口关系。2.实时操作系统设计原型，涉及可重复使用的组件库。这涉及识别、设计和构建各种有用的组件和结构，例如中断处理程序、临界区锁定机制、消息传递、计时器、调度器、输入输出系统、循环执行程序和生产者-消费者应用程序。3.用于与设计交互的图形前端。这将允许构建、修改和注释我们的模块结构，包括模块与其代码文件的关联。

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.