Schedule Synthesis for Next Generation Time-Triggered Networks

For handling frame transmissions in highly deterministic real-time networks, i.e. networks requiring low communication latency and minimal jitter, an offline time-triggered schedule indicating the ...

[1]  Andreas Krüger,et al.  The design of large real-time systems: the time-triggered approach , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[2]  R. Makowitz,et al.  Flexray - A communication network for automotive control systems , 2006, 2006 IEEE International Workshop on Factory Communication Systems.

[3]  Christian Haubelt,et al.  Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making , 2014, ARCS Workshops.

[4]  K. Hoyme,et al.  SAFEbus (for avionics) , 1993, IEEE Aerospace and Electronic Systems Magazine.

[5]  Martin Lukasiewycz,et al.  Time-triggered implementations of mixed-criticality automotive software , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[6]  Silviu S. Craciunas,et al.  SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems , 2014, RTNS.

[7]  Bruno Dutertre,et al.  Yices 2.2 , 2014, CAV.

[8]  Theresa A. Pardo,et al.  Conceptualizing smart city with dimensions of technology, people, and institutions , 2011, dg.o '11.

[9]  Hans A. Hansson,et al.  A decomposition approach for SMT-based schedule synthesis for time-triggered networks , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[10]  Hans A. Hansson,et al.  Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks , 2016, 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[11]  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).

[12]  Partha S. Roop,et al.  Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions , 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing.

[13]  Hermann Kopetz,et al.  TTP - A time-triggered protocol for fault-tolerant real-time systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[14]  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).

[15]  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.

[16]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[17]  Paul Pop,et al.  Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[18]  Donal Heffernan,et al.  TTCAN: a new time-triggered controller area network , 2002, Microprocess. Microsystems.

[19]  Hans A. Hansson,et al.  SMT-based synthesis of TTEthernet schedules: A performance study , 2015, 10th IEEE International Symposium on Industrial Embedded Systems (SIES).

[20]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[21]  Jörg Würtz,et al.  Scheduling of Time-Triggered Real-Time Systems , 2000, Constraints.