A Processor Extension for Cycle-Accurate Real-Time Software
暂无分享,去创建一个
[1] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[2] David Hardin. Real-time objects on the bare metal: an efficient hardware realization of the Java/sup TM/ Virtual Machine , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.
[3] Nicolas Halbwachs,et al. LUSTRE: a declarative language for real-time programming , 1987, POPL '87.
[4] Eric Rotenberg,et al. Virtual simple architecture (VISA): exceeding the complexity limit in safe real-time systems , 2003, ISCA '03.
[5] Jakob Engblom. On Hardware and Hardware Models for Embedded Real-Time Systems , 2001 .
[6] Thomas A. Henzinger,et al. The embedded machine: predictable, portable real-time code , 2002, PLDI '02.
[7] Henrik Theiling,et al. Reliable and Precise WCET Determination for a Real-Life Processor , 2001, EMSOFT.
[8] Jean J. Labrosse. Microc/OS-II , 1998 .
[9] Alexander G. Dean,et al. Supporting demanding hard-real-time systems with STI , 2005, IEEE Transactions on Computers.
[10] Bruce Jacob,et al. Hardware support for real-time operating systems , 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).
[11] Alexander G. Dean,et al. Compiling for fine-grain concurrency: planning and performing software thread integration , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..
[12] Susan J. Eggers,et al. The effectiveness of multiple hardware contexts , 1994, ASPLOS VI.
[13] Jakob Engblom. Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis , 1999, Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium.
[14] Eric Rotenberg,et al. Enforcing safety of real-time schedules on contemporary processors using a virtual simple architecture (VISA) , 2004, 25th IEEE International Real-Time Systems Symposium.
[15] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .
[16] Zoran A. Salcic,et al. Towards direct execution of esterel programs on reactive processors , 2004, EMSOFT '04.
[17] Alexander G. Dean. Efficient real-time concurrency on low-cost microcontrollers , 2004, IEEE Micro.