A Real-Time Operating Systems Course

这项工作填补了当前CS， EE， ECE和CE课程的空白，不仅在匹兹堡大学，而且在整个美国。我们创建了一个课程和编程环境，使教授高级本科生实时系统的重要领域，包括这些系统的要求和特征，它们的内部，以及它们的规范。本课程将通过电子方式分发给任何感兴趣的教师，不仅包括理论部分，还包括实际操作部分。为了达到这个目的，我们用一个叫做directos: DIrect REal Time Operating System的实现环境来补充理论部分。我们用DIRETOS实现了伯克利的NACHOS（提供一个简单的操作系统，学生可以在其上构建更复杂的功能）和康奈尔大学的HOCA（提供一个抽象的裸机，这样学生就可以构建自己的操作系统）提供的相同功能。我们将NACHOS模型与HOCA模型结合使用，并进行了变化。这些变化是基于过去几年对课堂教学的观察以及对学生和行业的非正式调查。

This work fills a gap in current CS, EE, ECE, and CE curricula not only at the University of Pittsburgh, but throughout the U.S. We create a course and a programming environment to enable teaching senior-level undergraduate students the important area of real-time systems, including the requirements and characteristics of such systems, their internals, and their specification. This course, which will be distributed for any interested instructors through electronic means, will not only have a theoretical part, but also a practical hands-on implementation component. Toward that end, we complement the theoretical part with an implementation environment called DIRETOS: DIrect REal Time Operating System. We achieve with DIRETOS the same capabilities provided by Berkeley's NACHOS (provides a simple operating system on which students build more complex functions) and also by Cornell's HOCA (provides an abstract bare machine, so that students can build their own operating system). We use the NACHOS model combined with the HOCA model, with variations. These variations are based on observations of teaching the class in the last few years and on an informal survey of students and industry.