Hybrid-GA based static schedule generation for time-triggered ethernet
暂无分享,去创建一个
[1] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .
[2] Hermann Kopetz,et al. The time-triggered Ethernet (TTE) design , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).
[3] Wilfried Steiner,et al. An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks , 2010, 2010 31st IEEE Real-Time Systems Symposium.
[4] Hiroaki Takada,et al. An Effective GA-Based Scheduling Algorithm for FlexRay Systems , 2008, IEICE Trans. Inf. Syst..
[5] Alois Knoll,et al. Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[6] Chen Jia-qi. Scheduling and Optimizing for a TTCAN Network with Genetic Algorithm , 2004 .
[7] T. Rolich,et al. Testing of several overlapping optimization methods for bin-packing problem , 2013, 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).
[8] Han Jun-gang. Optimization scheduling algorithms for TTCAN periodic task , 2005 .
[9] Bruno Dutertre,et al. SMT-Based Formal Verification of a TTEthernet Synchronization Function , 2010, FMICS.