Various types of interfaces and communication mechanisms will be developed for further integration. Development of a behavior specification method. The structure of Control Plan will also be developed for integration specification of reusable components and for future verification. Construction of a testbed. The testbed will consist of multiple PCs running under different operating systems.
Some switches are programmable so that packets can be forwarded based on their priorities.
An adaptive rate smoother will be implemented on the testbed to support real-time communication with Ethernet. Preliminary system profiling. We will start profiling some critical system services, such as scheduling, IPC, timer and network on the testbed. The results will be used to construct an abstract underlying system model for timing analysis and verification.