.png){kind=icon}
返回
Ontology-based requirement verification for complex systems
.png){kind=icon}
PRE
AI
DOI：10.1016/j.aei.2020.101148.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Verification is a necessary part of Model-based systems engineering (MBSE) which is becoming a mainstream methodology for the design of complex systems. Verification in the early design stage has aroused widespread attention for its efficiency and cost-saving. Although there are numbers of researches on verification, some deficiencies still exist, such as the integration of design and verification needs to improve, the design problems are hard to trace and the behavior verification in the early design stage is often omitted. In this study, a novel ontology-based requirement verification method for complex systems is proposed to solve the above-mentioned problems. First, a requirement formalization method is proposed to avoid the ambiguousness of natural language, to make requirements easier to verify, and to make design problems easier to trace. Second, some transformation rules are defined to realize the automatic design ontology and rule generation. Based on these two steps, automated verification can be done through reasoning with ontology models and rules. This verification method is fully integrated with design tools and no additional expertise is needed for designers. To validate its feasibility and advantages, an example of a smart traffic light system is provided.
Keyword:
Ontology
Verification
Systems design
Reasoning
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
9.9
论文数:
4.5K
被引数:
1.7W
机构
引用论文
.png){kind=icon}
The Unique Synthesis of a Green Metal‐Free Primary Explosive: 3,3′‐azo‐5,5′‐diazido‐1,2,4‐triazole
PREAI
分享收藏
分享收藏Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
PREAI
分享收藏
查看更多内容