Principles of Real-Time Programming
暂无分享,去创建一个
[1] Tammy Noergaard,et al. Embedded Software , 2003, Lecture Notes in Computer Science.
[2] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[3] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[4] Sharad Malik,et al. Performance analysis of real-time embedded software , 1997 .
[5] S. Ramesh,et al. Communicating reactive processes , 1993, POPL '93.
[6] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[7] Gérard Berry,et al. The foundations of Esterel , 2000, Proof, Language, and Interaction.
[8] Nicolas Halbwachs,et al. Synchronous Programming of Reactive Systems , 1992, CAV.
[9] Thomas A. Henzinger,et al. Time-Safety Checking for Embedded Programs , 2002, EMSOFT.
[10] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[11] Nicolas Halbwachs,et al. From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time , 1988, FTRTFT.
[12] Niklaus Wirth,et al. Toward a discipline of real-time programming , 1977, CACM.
[13] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.
[14] Thomas A. Henzinger,et al. A Giotto-Based Helicopter Control System , 2002, EMSOFT.
[15] Joseph Sifakis,et al. Modeling Real-Time Systems-Challenges and Work Directions , 2001, EMSOFT.