FlexRay动态段的概率时序分析

2013 25th Euromicro Conference on Real-Time Systems Pub Date : 2013-07-09 DOI:10.1145/2870635

Bogdan Tanasa, Unmesh D. Bordoloi, P. Eles, Zebo Peng

{"title":"FlexRay动态段的概率时序分析","authors":"Bogdan Tanasa, Unmesh D. Bordoloi, P. Eles, Zebo Peng","doi":"10.1145/2870635","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":247550,"journal":{"name":"2013 25th Euromicro Conference on Real-Time Systems","volume":"114 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"Probabilistic Timing Analysis for the Dynamic Segment of FlexRay\",\"authors\":\"Bogdan Tanasa, Unmesh D. Bordoloi, P. Eles, Zebo Peng\",\"doi\":\"10.1145/2870635\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":247550,\"journal\":{\"name\":\"2013 25th Euromicro Conference on Real-Time Systems\",\"volume\":\"114 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-07-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 25th Euromicro Conference on Real-Time Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2870635\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 25th Euromicro Conference on Real-Time Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2870635","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 10

摘要

我们提出了一个分析框架，用于对Flex Ray通信协议的事件触发动态段进行概率时序分析。具体来说，我们的框架计算每个消息的Deadline Miss ratio。将核心问题表述为一个混合整数线性规划(MILP)。考虑到问题的棘手性，我们还提出了几种有助于减少工具运行时间的技术。这包括重新设计问题以在gpu上运行，以及重新制定MILP本身。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 25th Euromicro Conference on Real-Time Systems

自引率

0.00%

发文量