论文信息 - Scheduling for reactive real-time systems

Scheduling for reactive real-time systems

In designing Chinook, a hardware-software cosynthesis system for reactive real-time controllers, the impact of timing constraints on software scheduling has been a central concern. By dividing constraints into two levels, corresponding to low-level interactions with device interfaces and high-level real-time response and rate requirements, we have developed solutions tailored to each aspect. These scheduling techniques enable Chinook to map a high-level specification onto a specified collection of processors and peripheral devices while respecting performance requirements.<<ETX>>

[1] Randy H. Katz,et al. A new interface specification methodology and its application to transducer synthesis , 1988 .

[2] Frédéric Boussinot,et al. The ESTEREL language , 1991, Proc. IEEE.

[3] Giovanni De Micheli,et al. Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4] Frank Thomson Leighton,et al. Graph bisection algorithms with good average case behavior , 1984, Comb..

[5] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[6] Richard Gerber,et al. Semantics-based compiler transformations for enhanced schedulability , 1993, 1993 Proceedings Real-Time Systems Symposium.

[7] Gaetano Borriello,et al. Synthesis of the hardware/software interface in microcontroller-based systems , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[8] Donald E. Thomas,et al. The Verilog® Hardware Description Language , 1990 .

[9] Brian W. Kernighan,et al. An efficient heuristic procedure for partitioning graphs , 1970, Bell Syst. Tech. J..

[10] Gaetano Borriello,et al. Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems , 1994, 31st Design Automation Conference.