功能需求的早期确认

IF 1 4区 工程技术 Q4 INSTRUMENTS & INSTRUMENTATION
Insight Pub Date : 2023-12-30 DOI:10.1002/inst.12467
Yasmine Assioua, Rabea Ameur-Boulifa, Renaud Pacalet, Patricia Guitton-Ouhamou
{"title":"功能需求的早期确认","authors":"Yasmine Assioua,&nbsp;Rabea Ameur-Boulifa,&nbsp;Renaud Pacalet,&nbsp;Patricia Guitton-Ouhamou","doi":"10.1002/inst.12467","DOIUrl":null,"url":null,"abstract":"<div>\n \n <p>Technical specifications and intended functionalities are often gathered in documents that include requirements written in constrained natural language, that is, natural-like language with restricted syntax. In the automotive industry one challenge is the ability to produce safe vehicles, emphasizing the importance of safety by design. In the framework of case studies based on functions of autonomous vehicles, we introduce a systematic process for building formal models from automotive requirements written in constrained natural language, and for verifying them. By allowing formal verification at the earliest stages of the development cycle our aim is to avoid the costly discovery of errors at later stages.</p>\n </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":"26 4","pages":"30-32"},"PeriodicalIF":1.0000,"publicationDate":"2023-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Early Validation of Functional Requirements\",\"authors\":\"Yasmine Assioua,&nbsp;Rabea Ameur-Boulifa,&nbsp;Renaud Pacalet,&nbsp;Patricia Guitton-Ouhamou\",\"doi\":\"10.1002/inst.12467\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div>\\n \\n <p>Technical specifications and intended functionalities are often gathered in documents that include requirements written in constrained natural language, that is, natural-like language with restricted syntax. In the automotive industry one challenge is the ability to produce safe vehicles, emphasizing the importance of safety by design. In the framework of case studies based on functions of autonomous vehicles, we introduce a systematic process for building formal models from automotive requirements written in constrained natural language, and for verifying them. By allowing formal verification at the earliest stages of the development cycle our aim is to avoid the costly discovery of errors at later stages.</p>\\n </div>\",\"PeriodicalId\":13956,\"journal\":{\"name\":\"Insight\",\"volume\":\"26 4\",\"pages\":\"30-32\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2023-12-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Insight\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/inst.12467\",\"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.12467","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"INSTRUMENTS & INSTRUMENTATION","Score":null,"Total":0}
引用次数: 0

摘要

技术规范和预期的功能通常收集在文档中,这些文档包括用受约束的自然语言(即语法受限制的类似自然的语言)编写的需求。在汽车工业中,一个挑战是生产安全车辆的能力,通过设计强调安全的重要性。在基于自动驾驶汽车功能的案例研究框架中,我们引入了一个系统的过程,用于从用约束自然语言编写的汽车需求中构建正式模型,并用于验证它们。通过允许在开发周期的早期阶段进行正式的验证,我们的目标是避免在后期阶段发现代价高昂的错误。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Early Validation of Functional Requirements

Technical specifications and intended functionalities are often gathered in documents that include requirements written in constrained natural language, that is, natural-like language with restricted syntax. In the automotive industry one challenge is the ability to produce safe vehicles, emphasizing the importance of safety by design. In the framework of case studies based on functions of autonomous vehicles, we introduce a systematic process for building formal models from automotive requirements written in constrained natural language, and for verifying them. By allowing formal verification at the earliest stages of the development cycle our aim is to avoid the costly discovery of errors at later stages.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
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.
×
引用
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学术官方微信