Flexible Static Scheduling of Software with Logical Execution Time Constraints
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.
[2] Thomas A. Henzinger,et al. Composable code generation for distributed giotto , 2005, ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems.
[3] Wolfgang Pree,et al. Modeling with the Timing Definition Language (TDL) , 2006, ASWSD.
[4] Richard Gerber,et al. Semantics-based compiler transformations for enhanced schedulability , 1993, 1993 Proceedings Real-Time Systems Symposium.
[5] Joseph Y.-T. Leung,et al. On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.
[6] Thomas A. Henzinger,et al. Event-Driven Programming with Logical Execution Times , 2004, HSCC.
[7] Alan Burns,et al. Sustainability in Real-time Scheduling , 2008, J. Comput. Sci. Eng..
[8] Alberto L. Sangiovanni-Vincentelli,et al. A hierarchical coordination language for interacting real-time tasks , 2006, EMSOFT '06.
[9] Thomas A. Henzinger,et al. Time-Safety Checking for Embedded Programs , 2002, EMSOFT.
[10] Manfred Broy,et al. Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers , 2006, Automotive Software Workshop.
[11] J. Schiemann,et al. ERCOS: An Operating System for Automotive Applications , 1996 .
[12] Alan Burns,et al. Dual Priority Assignment: A Practical Method For Increasing Processor Utilisation , 1993, Fifth Euromicro Workshop on Real-Time Systems.
[13] Christoph M. Kirsch,et al. Giotto: a time-triggered language for embedded programming , 2003 .