Model-Based Synthesis Of Parallel Real-Time Systems

ion is a significant tool in managing the software development process. This has long been recognized by the real-time community, as evidenced by the number of real-time kernels available. The kernel allows the programmer to ignore the processor-specific details of task management: allocation, switching, synchronization, scheduling, etc. These kernels have varying features, depending upon the goals of the project. A major distinction between kernels can be drawn in the support for single vs. multiple processor designs. Uniprocessor support is by far the most common. These kernels are acceptable where the processing demands are modest enough to be handled comfortably by a single processor. This technology is well developed, and has been used in the commercial sector for many years. Multiprocessor kernels, such as Spring [37], MARS [36], and Chimera II [38] are at a much more primitive level. These kernels begin to examine the issues of integrating parallel processors into real-time sy..