发布求助
文献互助 智能选刊 最新文献

Insight最新文献

筛选
英文 中文
Inconsistent and Incomplete Datasheet: The Case for Systematic Use of Requirement Engineering 不一致和不完整的数据表：需求工程的系统使用案例
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12432
Lorraine Brisacier-Porchon, Omar Hammami
{"title":"Inconsistent and Incomplete Datasheet: The Case for Systematic Use of Requirement Engineering","authors":"Lorraine Brisacier-Porchon,&nbsp;Omar Hammami","doi":"10.1002/inst.12432","DOIUrl":"https://doi.org/10.1002/inst.12432","url":null,"abstract":"<div>\u0000 \u0000 <p>The lifecycle of a system is extended from its early conception to its retirement of service. The lifespan of unmanned ground vehicles (UGVs) can be expected to last over 50 years in the defense market. In this context, the rising complexity of UGV systems imposes engineering steps that would ensure both capabilities of the system and resilience to its future inclusion in a system-of system context. During its operational usage, the UGV is supposed to be maneuvered for specifically designed purposes following user manual datasheet of the components off-the-shelf (COTS) that were integrated. This paper exposes the public user datasheet relevance compared to the system engineering requirements that are the artifacts of system design architecture. The use of connecting COTS user manual to system requirements is discussed, all the more if the systems are to be re-used in a system production line. This article is intended to explore system of system conception methods for future robotized battlefield.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148479","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exploring the Test and Evaluation Space using Model Based Conceptual Design (MBCD) Techniques 使用基于模型的概念设计（MBCD）技术探索测试和评估空间
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12433
David Flanigan, Kevin Robinson
{"title":"Exploring the Test and Evaluation Space using Model Based Conceptual Design (MBCD) Techniques","authors":"David Flanigan,&nbsp;Kevin Robinson","doi":"10.1002/inst.12433","DOIUrl":"https://doi.org/10.1002/inst.12433","url":null,"abstract":"<div>\u0000 \u0000 <p>During the initial concept development phase, systems engineers focus on defining the problem space and system functions to explore candidate concepts that may address the systems engineers' problems. Model-based conceptual design (MBCD) techniques may be used to assist the customer and other stakeholders develop a greater understanding of the system concept, as well as identifying areas in the system that are affected by changes in requirements. This approach has generally been documented for describing the system concept in the early stages in the lifecycle, without significant focus on the test and evaluation (T&amp;E) space that would be needed to evaluate these concepts, or identifying where the T&amp;E space would be affected with a change in requirements. Our hypothesis is that decision makers would equally gain insight into the T&amp;E considerations as well as system space considerations using MBCD techniques. An approach is offered to extend the previously published MBCD methodology to better consider the T&amp;E space.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148480","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Framework for Formal Verification of Machine Learning Based Complex System-of-Systems 基于机器学习的复杂系统的形式化验证框架
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12434
Ramakrishnan Raman, Nikhil Gupta, Yogananda Jeppu
{"title":"Framework for Formal Verification of Machine Learning Based Complex System-of-Systems","authors":"Ramakrishnan Raman,&nbsp;Nikhil Gupta,&nbsp;Yogananda Jeppu","doi":"10.1002/inst.12434","DOIUrl":"https://doi.org/10.1002/inst.12434","url":null,"abstract":"<div>\u0000 \u0000 <p>A complex system is characterized by emergence of global properties which are very difficult, if not impossible, to anticipate just from complete knowledge of component behaviors. Emergence, hierarchical organization, and numerosity are some of the characteristics of complex systems. Recently, there has been an exponential increase on the adoption of various neural network-based machine learning models to govern the functionality and behavior of systems. With this increasing system complexity, achieving confidence in systems becomes even more difficult. Further, ease of interconnectivity among systems is permeating numerous system-of-systems, wherein multiple independent systems are expected to interact and collaborate to achieve unparalleled levels of functionality. Traditional verification and validation approaches are often inadequate to bring in the nuances of potential emergent behavior in a system-of-systems, which may be positive or negative. This paper describes a novel approach towards application of machine learning based classifiers and formal methods for analyzing and evaluating emergent behavior of complex system-of-systems that comprise a hybrid of constituent systems governed by conventional models and machine learning models. The proposed approach involves developing a machine learning classifier model that learns on potential negative and positive emergent behaviors, and predicts the behavior exhibited. A formal verification model is then developed to assert negative emergent behavior. The approach is illustrated through the case of a swarm of autonomous UAVs flying in a formation, and dynamically changing the shape of the formation, to support varying mission scenarios. The effectiveness and performance of the approach are quantified.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148481","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
ISSUE INFORMATION-TOC 问题信息至
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12435
{"title":"ISSUE INFORMATION-TOC","authors":"","doi":"10.1002/inst.12435","DOIUrl":"https://doi.org/10.1002/inst.12435","url":null,"abstract":"","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/inst.12435","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148499","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Concept for Set-based Design of Verification Strategies 基于集合的验证策略设计概念
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12425
Pen Xu, Alejandro Salado
{"title":"A Concept for Set-based Design of Verification Strategies","authors":"Pen Xu,&nbsp;Alejandro Salado","doi":"10.1002/inst.12425","DOIUrl":"https://doi.org/10.1002/inst.12425","url":null,"abstract":"<div>\u0000 \u0000 <p>In current practice, a verification strategy is defined at the beginning of an acquisition program and is agreed upon by customer and contractor at contract signature. Hence, the resources necessary to execute verification activities at various stages of the system development are allocated and committed at the beginning, when a small amount of knowledge about the system is available. However, contractually committing to a fixed verification strategy at the beginning of an acquisition program fundamentally leads to suboptimal acquisition performance. Essentially, the uncertain nature of system development will make verification activities that were not previously planned necessary and will make some of the planned ones unnecessary. To cope with these challenges, this paper presents an approach to apply set-based design to the design of verification activities to enable the execution of dynamic contracts for verification strategies, ultimately resulting in more valuable verification strategies than current practice.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Determining Reliability Requirements and Testing Costs in the Early Stages of Single Use Medical Product Design 在一次性医疗产品设计的早期阶段确定可靠性要求和测试成本
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12424
Fritz Eubanks
{"title":"Determining Reliability Requirements and Testing Costs in the Early Stages of Single Use Medical Product Design","authors":"Fritz Eubanks","doi":"10.1002/inst.12424","DOIUrl":"https://doi.org/10.1002/inst.12424","url":null,"abstract":"<div>\u0000 \u0000 <p>The production of single use medical devices, particularly for home use by patients, continues to grow, and the reliability of these devices is a primary concern for manufacturers and end-users. The systems engineer tasked with the device development needs methods and tools to establish reliability requirements and provide cost estimates for the testing necessary to show compliance with those requirements. This paper examines methods for determining reliability requirements, the cost of reliability testing for single use medical devices in the design input phase of product development, and how the costs of testing and potential errors can be used to perform trade-off analysis between reliability tolerance and confidence level.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Verification and Validation of SysML Models SysML模型的验证
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12427
Myron Hecht, Jaron Chen
{"title":"Verification and Validation of SysML Models","authors":"Myron Hecht,&nbsp;Jaron Chen","doi":"10.1002/inst.12427","DOIUrl":"https://doi.org/10.1002/inst.12427","url":null,"abstract":"<div>\u0000 \u0000 <p>Model-based systems engineering depends on correct models. However, thus far, relatively little attention has been paid to ensuring their correctness. This paper describes a methodology for performing verification and validation on models written in SysML. The methodology relies on a catalog of candidate requirements that can be tailored for a specific project. Both manual and automated methods are used to verify and validate these requirements. Manual methods are necessary where knowledge of the domain and other extrinsic characteristics are necessary. Automated methods can be used where the requirements cover the use of SysML. Examples from a public domain SysML model of a satellite are presented to demonstrate application of automated requirements verification.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148503","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
From Model-based to Model and Simulation-based Systems Architectures—Achieving Quality Engineering through Descriptive and Analytical Models 从基于模型到基于模型和仿真的系统体系结构——通过描述和分析模型实现质量工程
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12428
Pierre Nowodzienski, Juan Navas
{"title":"From Model-based to Model and Simulation-based Systems Architectures—Achieving Quality Engineering through Descriptive and Analytical Models","authors":"Pierre Nowodzienski,&nbsp;Juan Navas","doi":"10.1002/inst.12428","DOIUrl":"https://doi.org/10.1002/inst.12428","url":null,"abstract":"<div>\u0000 \u0000 <p>Systems architecture design is a key activity that affects the overall systems engineering cost. Hence it is fundamental to ensure that the system architecture reaches a proper quality. In this paper, we leverage model-based systems engineering (MBSE) approaches and complement them with simulation techniques, as a promising way to improve the quality of the system architecture definition, and to come up with innovative solutions while securing the systems engineering process.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148475","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Formalizing the Representativeness of Verification Models using Morphisms 用态射形式化验证模型的代表性
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12426
Paul Wach, Peter Beling, Alejandro Salado
{"title":"Formalizing the Representativeness of Verification Models using Morphisms","authors":"Paul Wach,&nbsp;Peter Beling,&nbsp;Alejandro Salado","doi":"10.1002/inst.12426","DOIUrl":"https://doi.org/10.1002/inst.12426","url":null,"abstract":"<div>\u0000 \u0000 <p>With the increasing complexity that is being introduced to engineered systems, the literature suggests that verification may benefit from theoretical foundations. In practice and in teaching of system engineering (SE), we typically define a verification model (simulation, test article, etc.) under the assumption that the model is a valid representation of the system design. Is this assumption always true? In this article, we explore the use of system theoretic morphisms to mathematically characterize the validity of representativeness between verification models and corresponding system design.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
You Don't Save Money by Doing Less Testing – You Save Money by Doing More of the Right Testing! 少做测试不会省钱——多做正确的测试会省钱！
IF 1.1 4区 工程技术
Insight Pub Date : 2023-04-11 DOI: 10.1002/inst.12431
Andrew C Pickard, Richard Beasley, Andy J Nolan
{"title":"You Don't Save Money by Doing Less Testing – You Save Money by Doing More of the Right Testing!","authors":"Andrew C Pickard,&nbsp;Richard Beasley,&nbsp;Andy J Nolan","doi":"10.1002/inst.12431","DOIUrl":"https://doi.org/10.1002/inst.12431","url":null,"abstract":"<div>\u0000 \u0000 <p>Like so many aspects of life, we are looking for value-for-money. But we need to consider the value in terms of both short and long-term gains. Although certification standards require verification that requirements have been met, we need to recognize that verification is also there to bring value to a project and to the business as a whole. However, prioritizing the value to the project over the value to the business can result in sub-optimization and an overall higher cost to the business. This paper examines a specific case, the prediction of the fatigue lives of critical parts in gas turbine engines, to illustrate the more general case of performing tests to calibrate models that then have general applicability across multiple projects, rather than focusing testing on the needs of a specific project. In some circumstances, testing may not even be the best approach to take; if some level of error escape into service is acceptable (unlike the life prediction example given in this paper) then more focus on requirements validation and design review may provide a more cost-effective approach. This is where the linkage in a systems engineering model between requirements, functions, failure modes and effects analysis, verification test cases, and available calibrated models can help with identifying opportunities and risks.</p>\u0000 </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50148478","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信