{"title":"Poster: Formal QoS Compatibility Verification for Components on Time-Sensitive Networking","authors":"Chung-Wei Lin","doi":"10.1109/VNC.2018.8628348","DOIUrl":null,"url":null,"abstract":"System integration has became more challenging than ever. In this poster, we propose to use a formal approach to verify the Quality of Service (QoS) compatibility of components connected by the Time-Sensitive Networking (TSN) [6]. We demonstrate that the formal approach, if realized, is applicable to various stages including specification definition of components to be developed, integration with existing components, runtime monitoring with adaptive components, and maintenance of components.","PeriodicalId":335017,"journal":{"name":"2018 IEEE Vehicular Networking Conference (VNC)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE Vehicular Networking Conference (VNC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/VNC.2018.8628348","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
System integration has became more challenging than ever. In this poster, we propose to use a formal approach to verify the Quality of Service (QoS) compatibility of components connected by the Time-Sensitive Networking (TSN) [6]. We demonstrate that the formal approach, if realized, is applicable to various stages including specification definition of components to be developed, integration with existing components, runtime monitoring with adaptive components, and maintenance of components.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
