Networked Real-Time Embedded Systems

This chapter gives an overview on various real-time communication protocols, from the Controller Area Network (CAN) that was standardized over twenty years ago but is still popular, to the FlexRay ...

[1]  Jukka Mäki-Turja,et al.  Integrating mixed transmission and practical limitations with the worst-case response-time analysis for Controller Area Network , 2015, J. Syst. Softw..

[2]  Jukka Mäki-Turja,et al.  Extending Worst Case Response-Time Analysis for Mixed Messages in Controller Area Network With Priority and FIFO Queues , 2014, IEEE Access.

[3]  Klaus Jansen,et al.  An asymptotic fully polynomial time approximation scheme for bin covering , 2003, Theor. Comput. Sci..

[4]  Rolf Ernst,et al.  Formal worst-case performance analysis of time-sensitive Ethernet with frame preemption , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[5]  Alan Burns,et al.  Probabilistic analysis of CAN with faults , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[6]  Martin Lukasiewycz,et al.  Security analysis of automotive architectures using probabilistic model checking , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[7]  Robert I. Davis,et al.  Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways , 2012, Real-Time Systems.

[8]  Martin Lukasiewycz,et al.  Modular scheduling of distributed heterogeneous time-triggered automotive systems , 2012, 17th Asia and South Pacific Design Automation Conference.

[9]  Martin Lukasiewycz,et al.  FlexRay schedule optimization of the static segment , 2009, CODES+ISSS '09.

[10]  Rolf Ernst,et al.  Formal analysis based evaluation of software defined networking for time-sensitive Ethernet , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[11]  Yang Wang,et al.  Holistic Scheduling of Real-Time Applications in Time-Triggered In-Vehicle Networks , 2014, IEEE Transactions on Industrial Informatics.

[12]  Robert I. Davis,et al.  Controller Area Network (CAN): Response time analysis with offsets , 2012, 2012 9th IEEE International Workshop on Factory Communication Systems.

[13]  Ece Guran Schmidt,et al.  Message Scheduling for the FlexRay Protocol: The Dynamic Segment , 2009, IEEE Transactions on Vehicular Technology.

[14]  Rolf Ernst,et al.  Formal worst-case timing analysis of Ethernet TSN's burst-limiting shaper , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[15]  Reinder J. Bril,et al.  Integrating hardware limitations in CAN schedulability analysis , 2010, 2010 IEEE International Workshop on Factory Communication Systems Proceedings.

[16]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[17]  Mikael Sjödin,et al.  Extending response-time analysis of mixed messages in CAN with controllers implementing non-abortable transmit buffers , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[18]  Meng Liu,et al.  Schedulability analysis of GMF-modeled messages over controller area networks with mixed-queues , 2014, 2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014).

[19]  Rolf Ernst,et al.  Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks , 2015, Real-Time Systems.

[20]  Mathieu Grenier,et al.  Configuring the communication on FlexRay - the case of the static segment ⁄ , 2008 .

[21]  Shan Ding.  Scheduling Approach for Static Segment using Hybrid Genetic Algorithm in FlexRay Systems , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[22]  Petru Eles,et al.  Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

[23]  Aloysius K. Mok,et al.  A multiframe model for real-time tasks , 1996, 17th IEEE Real-Time Systems Symposium.

[24]  Robert I. Davis,et al.  Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues , 2012, 2012 9th IEEE International Workshop on Factory Communication Systems.

[25]  Myung Kyun Kim,et al.  Schedule optimization of static messages with precedence relations in FlexRay , 2014, 2014 Sixth International Conference on Ubiquitous and Future Networks (ICUFN).

[26]  Wenhua Dou,et al.  SAFE: Security-Aware FlexRay Scheduling Engine , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[27]  Andy J. Wellings,et al.  Analysing real-time communications: controller area network (CAN) , 1994, 1994 Proceedings Real-Time Systems Symposium.

[28]  Jukka Mäki-Turja,et al.  Response time analysis for mixed messages in CAN supporting transmission abort requests , 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

[29]  Rolf Ernst,et al.  Modeling of Ethernet AVB Networks for Worst-Case Timing Analysis , 2012 .

[30]  Alberto Sangiovanni-Vincentelli,et al.  Stochastic Analysis of CAN-Based Real-Time Automotive Systems , 2009, IEEE Transactions on Industrial Informatics.

[31]  Fernando M. V. Ramos,et al.  Software-Defined Networking: A Comprehensive Survey , 2014, Proceedings of the IEEE.

[32]  Rolf Ernst,et al.  Improved formal worst-case timing analysis of weighted round robin scheduling for Ethernet , 2013, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[33]  Kiejin Park,et al.  Frame Packing for Minimizing the Bandwidth Consumption of the FlexRay Static Segment , 2013, IEEE Transactions on Industrial Electronics.

[34]  Haibo Zeng,et al.  Practical issues with the timing analysis of the Controller Area Network , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[35]  Alberto L. Sangiovanni-Vincentelli,et al.  Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network , 2010, IEEE Transactions on Industrial Informatics.

[36]  Robert I. Davis,et al.  Schedulability analysis of CAN with non-abortable transmission requests , 2011, ETFA2011.

[37]  Rolf Ernst,et al.  Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[38]  Petru Eles,et al.  Timing analysis of the FlexRay communication protocol , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[39]  Björn Andersson,et al.  The utilization bound of non-preemptive rate-monotonic scheduling in Controller Area Networks is 25% , 2009, 2009 IEEE International Symposium on Industrial Embedded Systems.

[40]  Meng Liu,et al.  Schedulability analysis of Multi-Frame messages over Controller Area Networks with mixed-queues , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[41]  Hiroaki Takada,et al.  A GA-based scheduling method for FlexRay systems , 2005, EMSOFT.

[42]  Mikael Sjödin,et al.  Response time analysis with offsets for mixed messages in CAN supporting transmission abort requests , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[43]  Haibo Zeng,et al.  Understanding and Using the Controller Area Network Communication Protocol: Theory and Practice , 2012 .

[44]  Sungoh Kwon,et al.  Scheduling of Time Triggered Messages in Static Segment of FlexRay , 2014 .

[45]  Alan Burns,et al.  Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised , 2007, Real-Time Systems.

[46]  Rolf Ernst,et al.  Formal worst-case timing analysis of Ethernet TSN's time-aware and peristaltic shapers , 2015, 2015 IEEE Vehicular Networking Conference (VNC).

[47]  Marco Di Natale.  Evaluating message transmission times in Controller Area Networks without buffer preemption , 2006 .

[48]  Yakov Ben-Haim,et al.  Computing robustness of FlexRay schedules to uncertainties in design parameters , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[49]  Jukka Mäki-Turja,et al.  Extending schedulability analysis of Controller Area Network (CAN) for mixed (periodic/sporadic) messages , 2011, ETFA2011.

[50]  Meng Liu,et al.  An EVT-based worst-case Response Time Analysis of complex real-time systems , 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

[51]  Rolf Ernst,et al.  Real-time communication analysis for networks with two-stage arbitration , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[52]  Rolf Ernst,et al.  Exploiting shaper context to improve performance bounds of Ethernet AVB networks , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[53]  Yeqiong Song,et al.  Worst-case deadline failure probability in real-time applications distributed over controller area network , 2000, J. Syst. Archit..

[54]  Thomas Nolte,et al.  Probabilistic worst-case response-time analysis for the controller area network , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

[55]  Mikael Sjödin,et al.  Worst-case response-time analysis for mixed messages with offsets in Controller Area Network , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[56]  Petru Eles,et al.  Reliability-Aware Frame Packing for the static segment of FlexRay , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[57]  Alberto L. Sangiovanni-Vincentelli,et al.  Optimizations of an application-level protocol for enhanced dependability in FlexRay , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[58]  Jukka Mäki-Turja,et al.  Response-time analysis of mixed messages in Controller Area Network with priority- and FIFO-queued nodes , 2012, 2012 9th IEEE International Workshop on Factory Communication Systems.

[59]  Haibo Zeng,et al.  Timing Analysis and Optimization of FlexRay Dynamic Segment , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[60]  Rolf Ernst,et al.  Formal timing analysis of automatic repeat request for switched real-time networks , 2014, Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014).

[61]  Rolf Ernst,et al.  Response-time analysis of the flexray dynamic segment under consideration of slot-multiplexing , 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

[62]  Anton Cervin,et al.  JITTERBUG: a tool for analysis of real-time control performance , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[63]  Kees G. W. Goossens,et al.  Optimal scheduling of switched FlexRay networks , 2011, 2011 Design, Automation & Test in Europe.

[64]  Sanjoy K. Baruah,et al.  Generalized Multiframe Tasks , 1999, Real-Time Systems.

[65]  Xue Liu,et al.  Optimizing the implementation of real-time Simulink models onto distributed automotive architectures , 2013, J. Syst. Archit..

[66]  Alberto L. Sangiovanni-Vincentelli,et al.  Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment , 2011, IEEE Transactions on Industrial Informatics.

[67]  Haibo Zeng,et al.  Understanding and Using the Controller Area Network Communication Protocol , 2012 .

[68]  Rolf Ernst,et al.  Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching , 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

[69]  Mikael Sjödin,et al.  Extending offset-based response-time analysis for mixed messages in Controller Area Network , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[70]  Jian-Jia Chen,et al.  Schedulability and optimization analysis for non-preemptive static priority scheduling based on task utilization and blocking factors , 2015, 2015 27th Euromicro Conference on Real-Time Systems.