Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, C. Fraboul
{"title":"一种改进的时间自动机方法精确计算AFDX偶发流的最坏情况延迟","authors":"Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, C. Fraboul","doi":"10.1109/ETFA.2012.6489576","DOIUrl":null,"url":null,"abstract":"AFDX (Avionics Full Duplex Switched Ethernet) standardised as ARINC 664 is a major upgrade for avionics systems. Guarantees on worst case end-to-end communication delays are required for certification purposes. These guarantees are obtained thanks to safe upper bounds computed by Network Calculus and trajectory approaches. Indeed, up to now, the computation of an exact worst case delay is intractable for industrial size configurations. An existing approach, based on timed automata, allows the analysis of periodic AFDX configurations with up to 18 flows. This paper proposes a modified timed automata approach which not only increases the size of the configuration for which an exact worst case can be obtained but also supports sporadic flows.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"21","resultStr":"{\"title\":\"An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows\",\"authors\":\"Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, C. Fraboul\",\"doi\":\"10.1109/ETFA.2012.6489576\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"AFDX (Avionics Full Duplex Switched Ethernet) standardised as ARINC 664 is a major upgrade for avionics systems. Guarantees on worst case end-to-end communication delays are required for certification purposes. These guarantees are obtained thanks to safe upper bounds computed by Network Calculus and trajectory approaches. Indeed, up to now, the computation of an exact worst case delay is intractable for industrial size configurations. An existing approach, based on timed automata, allows the analysis of periodic AFDX configurations with up to 18 flows. This paper proposes a modified timed automata approach which not only increases the size of the configuration for which an exact worst case can be obtained but also supports sporadic flows.\",\"PeriodicalId\":222799,\"journal\":{\"name\":\"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)\",\"volume\":\"16 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"21\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ETFA.2012.6489576\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.2012.6489576","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows
AFDX (Avionics Full Duplex Switched Ethernet) standardised as ARINC 664 is a major upgrade for avionics systems. Guarantees on worst case end-to-end communication delays are required for certification purposes. These guarantees are obtained thanks to safe upper bounds computed by Network Calculus and trajectory approaches. Indeed, up to now, the computation of an exact worst case delay is intractable for industrial size configurations. An existing approach, based on timed automata, allows the analysis of periodic AFDX configurations with up to 18 flows. This paper proposes a modified timed automata approach which not only increases the size of the configuration for which an exact worst case can be obtained but also supports sporadic flows.