基于可信软件在环环境的汽车信息物理系统实证测试

Indrasen Raghupatruni, Thomas Goeppel, Muhammed Atak, Julien Bou, T. Huber
{"title":"基于可信软件在环环境的汽车信息物理系统实证测试","authors":"Indrasen Raghupatruni, Thomas Goeppel, Muhammed Atak, Julien Bou, T. Huber","doi":"10.1109/ICCVE45908.2019.8965169","DOIUrl":null,"url":null,"abstract":"Automotive cyber-physical systems are constantly increasing in complexity, especially due to innovations like sophisticated advanced driver assistance features. The increase in system complexity, in turn, gives rise to complex distributed software which creates challenges for verification. Front-loading tests that are regularly performed in prototype vehicles or Hardware-in-the-Loop (HiL) to simulation and Software-in-the-Loop (SiL) environments can be used to validate design decisions and to significantly reduce overall development costs. Novel Automated Driving features, and the Open Context problem, however, move the challenge from the state-to-the-art to a knowledge problem (know-what instead of know-how). The ISO/PAS 21448:2019 for Safety of the Intended Functionality (SOTIF) acknowledges this change but no guidance is provided to the industry to making verification processes ready for operating vehicles in an Open Context environment that may require functional changes during the useful life of a vehicle. Since verification with HiL or vehicles will be all but impractical, in this paper we provide insights into the design of credible SiL environments that address functional and non-functional verification and validation concerns of software related automotive system in a continuous life-cycle. With the help of a use-case we demonstrate the significance of the novel approach compared to traditional automotive industry methods.","PeriodicalId":384049,"journal":{"name":"2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Empirical Testing of Automotive Cyber-Physical Systems with Credible Software-in-the-Loop Environments\",\"authors\":\"Indrasen Raghupatruni, Thomas Goeppel, Muhammed Atak, Julien Bou, T. Huber\",\"doi\":\"10.1109/ICCVE45908.2019.8965169\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Automotive cyber-physical systems are constantly increasing in complexity, especially due to innovations like sophisticated advanced driver assistance features. The increase in system complexity, in turn, gives rise to complex distributed software which creates challenges for verification. Front-loading tests that are regularly performed in prototype vehicles or Hardware-in-the-Loop (HiL) to simulation and Software-in-the-Loop (SiL) environments can be used to validate design decisions and to significantly reduce overall development costs. Novel Automated Driving features, and the Open Context problem, however, move the challenge from the state-to-the-art to a knowledge problem (know-what instead of know-how). The ISO/PAS 21448:2019 for Safety of the Intended Functionality (SOTIF) acknowledges this change but no guidance is provided to the industry to making verification processes ready for operating vehicles in an Open Context environment that may require functional changes during the useful life of a vehicle. Since verification with HiL or vehicles will be all but impractical, in this paper we provide insights into the design of credible SiL environments that address functional and non-functional verification and validation concerns of software related automotive system in a continuous life-cycle. With the help of a use-case we demonstrate the significance of the novel approach compared to traditional automotive industry methods.\",\"PeriodicalId\":384049,\"journal\":{\"name\":\"2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE)\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCVE45908.2019.8965169\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCVE45908.2019.8965169","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5

摘要

汽车信息物理系统的复杂性不断增加,特别是由于复杂的高级驾驶辅助功能等创新。系统复杂性的增加反过来又产生了复杂的分布式软件,这给验证带来了挑战。在原型车或硬件在环(HiL)到模拟和软件在环(SiL)环境中定期执行的前加载测试可用于验证设计决策并显着降低总体开发成本。然而,新的自动驾驶功能和开放环境问题将挑战从最先进的技术转移到知识问题(知道什么而不是专有技术)。ISO/PAS 21448:2019预期功能安全(SOTIF)承认这一变化,但没有向行业提供指导,以使验证流程准备好在开放环境中运行车辆,这可能需要在车辆使用寿命期间进行功能更改。由于使用HiL或车辆进行验证几乎是不切实际的,在本文中,我们提供了对可靠的SiL环境设计的见解,这些环境解决了在连续生命周期中与软件相关的汽车系统的功能和非功能验证和验证问题。在一个用例的帮助下,我们证明了与传统的汽车工业方法相比,这种新方法的重要性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Empirical Testing of Automotive Cyber-Physical Systems with Credible Software-in-the-Loop Environments
Automotive cyber-physical systems are constantly increasing in complexity, especially due to innovations like sophisticated advanced driver assistance features. The increase in system complexity, in turn, gives rise to complex distributed software which creates challenges for verification. Front-loading tests that are regularly performed in prototype vehicles or Hardware-in-the-Loop (HiL) to simulation and Software-in-the-Loop (SiL) environments can be used to validate design decisions and to significantly reduce overall development costs. Novel Automated Driving features, and the Open Context problem, however, move the challenge from the state-to-the-art to a knowledge problem (know-what instead of know-how). The ISO/PAS 21448:2019 for Safety of the Intended Functionality (SOTIF) acknowledges this change but no guidance is provided to the industry to making verification processes ready for operating vehicles in an Open Context environment that may require functional changes during the useful life of a vehicle. Since verification with HiL or vehicles will be all but impractical, in this paper we provide insights into the design of credible SiL environments that address functional and non-functional verification and validation concerns of software related automotive system in a continuous life-cycle. With the help of a use-case we demonstrate the significance of the novel approach compared to traditional automotive industry methods.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信