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.
- AccelerEyes. 2013. Jacket: High-Performance Software for GPU Computing. Retrieved from www.accelereyes.com.Google Scholar
- Masud Ahmed, Nathan Fisher, and Daniel Grosu. 2012. A parallel algorithm for EDF-schedulability analysis of multi-modal real-time systems. In RTCSA. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Liliana Cucu-Grosjean. 2013. Independence - A misunderstood property of and for probabilistic real-time systems. The 60th Anniversary of A. Burns, York (2013).Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Richard Durrett. 2010. Probability: Theory and Examples. Cambridge University Press. Google Scholar
Digital Library
- Stewart Edgar and Alan Burns. 2001. Statistical analysis of WCET for scheduling. In RTSS. 215--224. Google Scholar
Digital Library
- Jimin Feng, Samarjit Chakraborty, Bertil Schmidt, Weiguo Liu, and Unmesh D. Bordoloi. 2007. Fast schedulability analysis using commodity graphics hardware. In RTCSA. Google Scholar
Digital Library
- Flexray. 2005. The FlexRay Communications System Specifications, Ver. 2.1. Retrieved from www.flexray.com.Google Scholar
- ILOG. 2014. CPLEX: High-Performance Software for Mathematical Programming and Optimization. www.ilog.com/products/cplex/. (2014).Google Scholar
- Bongjun Kim and Kiejin Park. 2009. Probabilistic delay model of dynamic message frame in FlexRay protocol. In Consumer Electronics. 1--2. Google Scholar
Digital Library
- HongShuang Li, ZhenZhou Lü, and XiuKai Yuan. 2008. Nataf transformation based point estimate method. Chinese Science Bulletin 53 (2008), 2586--2592.Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- Johan Löfberg. 2004. YALMIP: A toolbox for modeling and optimization in MATLAB. In Symposium on Computer Aided Control System Design.Google Scholar
Cross Ref
- Martin Lukasiewycz, Michael Glaß, Jürgen Teich, and Paul Milbredt. 2012. FlexRay static segment scheduling. In Advances in Real-Time Systems. 323--339.Google Scholar
- 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 Scholar
Digital Library
- Dorin Maxim and Liliana Cucu-Grosjean. 2013. Response time analysis for fixed-priority tasks with multiple probabilistic parameters. In RTSS. 224--235. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- William Press, Saul Teukolsky, William Vetterling, and Brian Flannery. 2007. Numerical Recipes: The Art of Scientific Computing (3rd ed.). Cambridge University Press.Google Scholar
Digital Library
- Klaus Schmidt and Ece Guran Schmidt. 2010. Optimal message scheduling for the static segment of FlexRay. In VTC. 1--5.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- Haibo Zeng, Arkadeb Ghosal, and Marco Di Natale. 2010. Timing analysis and optimization of FlexRay dynamic segment. In CIT. 1932--1939. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
Index Terms
Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
Recommendations
Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
ECRTS '13: Proceedings of the 2013 25th Euromicro Conference on Real-Time SystemsWe 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 ...
Timing Analysis and Optimization of FlexRay Dynamic Segment
CIT '10: Proceedings of the 2010 10th IEEE International Conference on Computer and Information TechnologyFlexRay is a new high bandwidth communication protocol for automotive systems, providing time-triggered transmission of periodic frames in a static segment and priority-based scheduling in a dynamic segment. Analysis techniques are required to compute ...
Schedulability Analysis of Sporadic Messages in the FlexRay Dynamic Segment
SBESC '12: Proceedings of the 2012 Brazilian Symposium on Computing System EngineeringFlexRay is a communication protocol heavily promoted as the future de facto standard for automotive systems. A major challenge associated with the design of FlexRay systems is the response time analysis of sporadic messages transmitted in the dynamic ...






Comments