skip to main content
research-article

Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay

Authors Info & Claims
Published:23 May 2016Publication History
Skip Abstract Section

Abstract

We propose an analytical framework for probabilistic timing analysis of the event-triggered Dynamic segment of the FlexRay communication protocol. Specifically, our framework computes the Deadline Miss Ratio 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 reformulating the MILP itself.

Most importantly, we also show how our framework can handle correlations between the queuing events of messages. This is challenging because one cannot apply the convolution operator in the same way as in the case of independent queuing events.

References

  1. AccelerEyes. 2013. Jacket: High-Performance Software for GPU Computing. Retrieved from www.accelereyes.com.Google ScholarGoogle Scholar
  2. Masud Ahmed, Nathan Fisher, and Daniel Grosu. 2012. A parallel algorithm for EDF-schedulability analysis of multi-modal real-time systems. In RTCSA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Guillem Bernat, Alan Burns, and Martin Newby. 2005. Probabilistic timing analysis: An approach using copulas. Journal of Embedded Computing 1, 2 (2005), 179--194. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Francisco J. Cazorla, Eduardo Qui Nones, Tullio Vardanega, Liliana Cucu-Grosjean, Benoit Triquet, Guillem Bernat, Emery Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Code Lo, and Dorin Maxim. 2013. PROARTIS: Probabilistically analyzable real-time systems. ACM Transactions on Embedded Computer Systems 12, 2s (2013), 94:1--94:26. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Liliana Cucu-Grosjean. 2013. Independence - A misunderstood property of and for probabilistic real-time systems. The 60th Anniversary of A. Burns, York (2013).Google ScholarGoogle Scholar
  6. Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Qui nones, and Francisco J. Cazorla. 2012. Measurement-based probabilistic timing analysis for multi-path programs. In ECRTS. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza, and Liliana Cucu-Grosjean. 2013. Analysis of probabilistic cache related pre-emption delays. In ECRTS. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Jóse Luis Díaz, Daniel F. García, Kanghee Kim, Chang-Gun Lee, Lucia Lo Bello, Jóse María López, Sang Lyul Min, and Orazion Mirabella. 2002. Stochastic analysis of periodic real-time systems. In RTSS. 289--300. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Richard Durrett. 2010. Probability: Theory and Examples. Cambridge University Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Stewart Edgar and Alan Burns. 2001. Statistical analysis of WCET for scheduling. In RTSS. 215--224. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Jimin Feng, Samarjit Chakraborty, Bertil Schmidt, Weiguo Liu, and Unmesh D. Bordoloi. 2007. Fast schedulability analysis using commodity graphics hardware. In RTCSA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Flexray. 2005. The FlexRay Communications System Specifications, Ver. 2.1. Retrieved from www.flexray.com.Google ScholarGoogle Scholar
  13. ILOG. 2014. CPLEX: High-Performance Software for Mathematical Programming and Optimization. www.ilog.com/products/cplex/. (2014).Google ScholarGoogle Scholar
  14. Bongjun Kim and Kiejin Park. 2009. Probabilistic delay model of dynamic message frame in FlexRay protocol. In Consumer Electronics. 1--2. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. HongShuang Li, ZhenZhou Lü, and XiuKai Yuan. 2008. Nataf transformation based point estimate method. Chinese Science Bulletin 53 (2008), 2586--2592.Google ScholarGoogle Scholar
  16. Rui Liu, Alex F. Mills, and James H. Anderson. 2014. Independence thresholds: Balancing tractability and practicality in soft real-time stochastic analysis. In RTSS. 314--323.Google ScholarGoogle Scholar
  17. Yue Liu, Thomas Nolte, Iain Bate, and Liliana Cucu-Grosjean. 2012. A statistical response-time analysis of real-time embedded systems. In RTSS. 351--362. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Johan Löfberg. 2004. YALMIP: A toolbox for modeling and optimization in MATLAB. In Symposium on Computer Aided Control System Design.Google ScholarGoogle ScholarCross RefCross Ref
  19. Martin Lukasiewycz, Michael Glaß, Jürgen Teich, and Paul Milbredt. 2012. FlexRay static segment scheduling. In Advances in Real-Time Systems. 323--339.Google ScholarGoogle Scholar
  20. Sorin Manolache, Petru Eles, and Zebo Peng. 2004. Schedulability analysis of applications with stochastic task execution times. Transactions on Embedded Computer Systems 3, 4 (2004). Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Dorin Maxim and Liliana Cucu-Grosjean. 2013. Response time analysis for fixed-priority tasks with multiple probabilistic parameters. In RTSS. 224--235. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Moritz Neukirchner, Mircea Negrean, Rolf Ernst, and Torsten T. Bone. 2012. Response-time analysis of the Flexray dynamic segment under consideration of slot-multiplexing. In SIES. 21--30.Google ScholarGoogle Scholar
  23. Thomas Nolte, Hans Hansson, and Christer Norström. 2003. Probabilistic worst-case response-time analysis for the controller area network. In RTAS. 200--207. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Traian Pop, Paul Pop, Petru Eles, Zebo Peng, and Alexandru Andrei. 2008. Timing analysis of the flexray communication protocol. Real-Time Systems 39 (2008), 205--235. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. William Press, Saul Teukolsky, William Vetterling, and Brian Flannery. 2007. Numerical Recipes: The Art of Scientific Computing (3rd ed.). Cambridge University Press.Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Klaus Schmidt and Ece Guran Schmidt. 2010. Optimal message scheduling for the static segment of FlexRay. In VTC. 1--5.Google ScholarGoogle Scholar
  27. Jos F. Sturm. 1999. Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones. Optimization Methods and Software 11, 1--4 (1999), 625--653.Google ScholarGoogle ScholarCross RefCross Ref
  28. Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, and Zebo Peng. 2010. Scheduling for fault-tolerant communication on the static segment of FlexRay. In RTSS. 385--394. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Bogdan Tanasa, Unmesh D. Bordoloi, Stefanie Kosuch, Petru Eles, and Zebo Peng. 2012. Schedulability analysis for the dynamic segment of FlexRay: A generalization to slot multiplexing. In RTAS. 185--194. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Haibo Zeng, Arkadeb Ghosal, and Marco Di Natale. 2010. Timing analysis and optimization of FlexRay dynamic segment. In CIT. 1932--1939. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, and Alberto Sangiovanni-Vincentelli. 2011. Schedule optimization of time-triggered systems communicating over the FlexRay static segment. Transactions on Industrial Informatics 7, 1 (2011), 1--17.Google ScholarGoogle ScholarCross RefCross Ref
  32. Haibo Zeng, Marco Di Natale, Paolo Giusto, and Alberto Sangiovanni-Vincentelli. 2009. Stochastic analysis of CAN-based real-time automotive systems. Transactions on Industrial Informatics 5, 4 (2009), 388--401.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!