A configuration agent based on the time-triggered paradigm for real-time networks
暂无分享,去创建一个
[1] L. D. Moura,et al. The YICES SMT Solver , 2006 .
[2] Aloysius K. Mok,et al. Window-constrained real-time periodic task scheduling , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).
[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] Michael Paulitsch,et al. Time-Triggered Ethernet , 2014 .
[5] Hermann Kopetz,et al. The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
[6] Hermann Kopetz,et al. Deterministic system design with Time-Triggered technology , 2014, 2014 Microelectronic Systems Symposium (MESS).
[7] Paul Pop,et al. Synthesis of communication schedules for TTEthernet-based mixed-criticality systems , 2012, CODES+ISSS.