基于场景的自动化运输系统验证与验证

IF 1 4区 工程技术 Q4 INSTRUMENTS & INSTRUMENTATION Insight Pub Date : 2023-02-09 DOI:10.1002/inst.12411
Birte Neurohr, Eike Möhlmann
{"title":"基于场景的自动化运输系统验证与验证","authors":"Birte Neurohr,&nbsp;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,&nbsp;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}
引用次数: 1

摘要

由DLR未来移动系统工程研究所(DLR- se)执行的研究和开发活动是通过所谓的资产组织起来的。我们提出了一个基于场景的验证和验证过程,并将选定的研究活动联系起来。以行驶一定公里数为基础的自动运输系统的验证和验证方法是不可行的。因此,DLR-SE资产“基于场景的自动化运输系统的验证和确认”研究了验证和确认自动化运输系统的方法和原型工具,使用场景作为捕获复杂交通演变的主要结构元素。虽然有许多不同的方法,但我们的重点是正式指定相关的抽象场景,这些场景既可以被人类阅读,也可以被机器阅读。这使我们能够自动化验证和确认过程,这增加了对系统安全性的信心,例如,由于执行的测试数量急剧增加,同时减少了人类的手工工作。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
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.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Insight
Insight 工程技术-材料科学:表征与测试
CiteScore
1.50
自引率
9.10%
发文量
0
审稿时长
2.8 months
期刊介绍: 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.
期刊最新文献
ISSUE INFORMATION Innovation Ecosystem Dynamics, Value and Learning I: What Can Hamilton Tell Us? Realizing the Promise of Digital Engineering: Planning, Implementing, and Evolving the Ecosystem Requirements Statements Are Transfer Functions: An Insight from Model-Based Systems Engineering Feelings and Physics: Emotional, Psychological, and Other Soft Human Requirements, by Model-Based Systems Engineering
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1