Probabilistic Timing Analysis for the Dynamic Segment of FlexRay

We propose an analytical framework for probabilistic timing analysis of the event-triggered Dynamic segment of the Flex Ray communication protocol. Specifically, our framework computes the Deadline Miss Ratios of each message. The core problem is formulated as a Mixed Integer Linear Program (MILP). Given the intractability of the problem, we also propose several techniques that help to mitigate the running times of our tool. This includes the re-engineering of the problem to run it on GPUs as well as re-formulating the MILP itself.

[1]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[2]  Masud Ahmed,et al.  A Parallel Algorithm for EDF-Schedulability Analysis of Multi-modal Real-Time Systems , 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

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

[4]  Liliana Cucu-Grosjean,et al.  PROARTIS: Probabilistically Analyzable Real-Time Systems , 2013, TECS.

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

[6]  Liliana Cucu-Grosjean,et al.  Independence - a misunderstood property of and for probabilistic real-­‐time systems , 2013 .

[7]  R. Durrett.  Probability: Theory and Examples , 1993 .

[8]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[9]  Martin Lukasiewycz,et al.  FlexRay Static Segment Scheduling , 2012, Advances in Real-Time Systems.

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

[11]  Rui Liu,et al.  Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis , 2014, 2014 IEEE Real-Time Systems Symposium.

[12]  Petru Eles,et al.  Probabilistic Timing Analysis for the Dynamic Segment of FlexRay , 2013, ECRTS.

[13]  Kiejin Park,et al.  Probabilistic delay model of dynamic message frame in flexray protocol , 2009, IEEE Transactions on Consumer Electronics.

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

[15]  《科 学通报》编辑部,et al.  Chinese Science Bulletin 第二届“受关注论文”评选揭晓 , 2011 .

[16]  Will Tribbey,et al.  Numerical Recipes: The Art of Scientific Computing (3rd Edition) is written by William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery, and published by Cambridge University Press, © 2007, hardback, ISBN 978-0-521-88068-8, 1235 pp. , 1987, SOEN.

[17]  Xiukai Yuan,et al.  Nataf transformation based point estimate method , 2008 .

[18]  Petru Eles,et al.  Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay , 2010, 2010 31st IEEE Real-Time Systems Symposium.

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

[20]  Johan Efberg,et al.  YALMIP : A toolbox for modeling and optimization in MATLAB , 2004 .

[21]  J. E. Glynn,et al.  Numerical Recipes: The Art of Scientific Computing , 1989 .

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

[23]  Weiguo Liu,et al.  Fast Schedulability Analysis Using Commodity Graphics Hardware , 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

[24]  Liliana Cucu-Grosjean,et al.  A Statistical Response-Time Analysis of Real-Time Embedded Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[25]  Richard C. Larson,et al.  Model Building in Mathematical Programming , 1979 .

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

[27]  Alan Burns,et al.  Statistical analysis of WCET for scheduling , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[28]  Ece Guran Schmidt,et al.  Optimal Message Scheduling for the Static Segment of FlexRay , 2010, 2010 IEEE 72nd Vehicular Technology Conference - Fall.

[29]  Chang-Gun Lee,et al.  Stochastic analysis of periodic real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[30]  Kiejin Park,et al.  Analysis of frame delay probability in the FlexRay dynamic segment , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[31]  Alan Burns,et al.  Probabilistic timing analysis: An approach using copulas , 2005, J. Embed. Comput..

[32]  Liliana Cucu-Grosjean,et al.  Analysis of Probabilistic Cache Related Pre-emption Delays , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[33]  Liliana Cucu-Grosjean,et al.  Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[34]  Petru Eles,et al.  Schedulability analysis of applications with stochastic task execution times , 2004, TECS.

[35]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .