{"title":"基于场景的自动化运输系统验证与验证","authors":"Birte Neurohr, Eike Möhlmann","doi":"10.1002/inst.12411","DOIUrl":null,"url":null,"abstract":"<div>\n \n <p>The research and development activities performed by the DLR Institute of Systems Engineering for Future Mobility (DLR-SE) are organized via so-called assets. We present a scenario-based verification and validation process and relate selected research activities.</p>\n <p>Verification and validation approaches of automated transportation systems based on driving a certain number of kilometers are infeasible. Therefore, the DLR-SE asset “Scenario-based Verification and Validation of Automated Transportation Systems” investigates methods and prototyping tools for verifying and validating automated transportation systems employing scenarios as the main structuring element to capture complex traffic evolutions. While there are many different approaches, our focus is formally specifying relevant abstract scenarios that are readable by humans while also being machine-readable. This allows us to automatize the verification and validation process, which increases confidence in, for example, the safety of the systems due to a dramatically increased number of executed tests while reducing the manual effort from humans.</p>\n </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2023-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Scenario-based Verification and Validation of Automated Transportation Systems\",\"authors\":\"Birte Neurohr, Eike Möhlmann\",\"doi\":\"10.1002/inst.12411\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div>\\n \\n <p>The research and development activities performed by the DLR Institute of Systems Engineering for Future Mobility (DLR-SE) are organized via so-called assets. We present a scenario-based verification and validation process and relate selected research activities.</p>\\n <p>Verification and validation approaches of automated transportation systems based on driving a certain number of kilometers are infeasible. Therefore, the DLR-SE asset “Scenario-based Verification and Validation of Automated Transportation Systems” investigates methods and prototyping tools for verifying and validating automated transportation systems employing scenarios as the main structuring element to capture complex traffic evolutions. While there are many different approaches, our focus is formally specifying relevant abstract scenarios that are readable by humans while also being machine-readable. This allows us to automatize the verification and validation process, which increases confidence in, for example, the safety of the systems due to a dramatically increased number of executed tests while reducing the manual effort from humans.</p>\\n </div>\",\"PeriodicalId\":13956,\"journal\":{\"name\":\"Insight\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2023-02-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Insight\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/inst.12411\",\"RegionNum\":4,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"INSTRUMENTS & INSTRUMENTATION\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Insight","FirstCategoryId":"5","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/inst.12411","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"INSTRUMENTS & INSTRUMENTATION","Score":null,"Total":0}
Scenario-based Verification and Validation of Automated Transportation Systems
The research and development activities performed by the DLR Institute of Systems Engineering for Future Mobility (DLR-SE) are organized via so-called assets. We present a scenario-based verification and validation process and relate selected research activities.
Verification and validation approaches of automated transportation systems based on driving a certain number of kilometers are infeasible. Therefore, the DLR-SE asset “Scenario-based Verification and Validation of Automated Transportation Systems” investigates methods and prototyping tools for verifying and validating automated transportation systems employing scenarios as the main structuring element to capture complex traffic evolutions. While there are many different approaches, our focus is formally specifying relevant abstract scenarios that are readable by humans while also being machine-readable. This allows us to automatize the verification and validation process, which increases confidence in, for example, the safety of the systems due to a dramatically increased number of executed tests while reducing the manual effort from humans.
期刊介绍:
Official Journal of The British Institute of Non-Destructive Testing - includes original research and devlopment papers, technical and scientific reviews and case studies in the fields of NDT and CM.