Lara Qasim, A. Hein, Sorin Olaru, Jean-Luc Garnier, M. Jankovic
{"title":"System reconfiguration ontology to support model‐based systems engineering: Approach linking design and operations","authors":"Lara Qasim, A. Hein, Sorin Olaru, Jean-Luc Garnier, M. Jankovic","doi":"10.1002/sys.21661","DOIUrl":"https://doi.org/10.1002/sys.21661","url":null,"abstract":"System reconfiguration is essential in complex systems management, as it is an enabler of system flexibility and adaptability. It ensures system operation and increases reliability, availability, maintainability, testability, safety, and reuse of system entities and technologies. For the reconfiguration of a system in use, it is necessary to assess, in continuity, the system's state with regard to its context. Identifying data supporting system reconfiguration represents a major industrial challenge and is linked directly to the development of industrial reconfiguration tools. Reconfiguration tools are based on a data model, also called ontology, which represents key concepts of system reconfiguration and their relationships. A particular difficulty of developing the data model is the multi‐domain nature of reconfiguration. Furthermore, it needs to address a considerable diversity of system types. Few publications propose an ontology supporting data identification and tool development for the entire process. Hence, in this paper we propose to formalize the system reconfiguration process and propose an overarching ontology, which we call OSysRec. This ontology considers data at the management, dynamics, and structure level. The proposed ontology has been developed based upon expert knowledge and several industrial uses cases. The OSysRec ontology allowed a better understanding of the reconfiguration process, and hence it can be deployed for developing efficient and effective reconfiguration tools at the industrial scale. The ontology has been tested on an industrial case study to validate the proposed approach.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"347 - 364"},"PeriodicalIF":2.0,"publicationDate":"2023-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46308117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Rune Andre Haugen, Nils-Olav Skeie, G. Muller, Elisabet Syverud
{"title":"Detecting emergence in engineered systems: A literature review and synthesis approach","authors":"Rune Andre Haugen, Nils-Olav Skeie, G. Muller, Elisabet Syverud","doi":"10.1002/sys.21660","DOIUrl":"https://doi.org/10.1002/sys.21660","url":null,"abstract":"Modern product development often generates systems of high complexity that are prone to emergent behavior. The industry has a need to establish better practices to detect inherent emergent behavior when engineering such systems. Philosophers and researchers have debated emergence throughout history, tracing to the time of the Greek philosopher Aristotle (384–322 B.C.) and current literature has both philosophical and practical examples of emergence in modern systems. In this review paper, we investigate the phenomenon of emergent behavior in engineered systems. Our aim is to describe emergence in engineered systems and propose methods to detect it, based on literature. Emergence is in general explained as dynamic behavior seen at macro level that cannot be traced back to the micro level. Emergence can be known or unknown in combination with positive or negative. We find that best practices to engineer complicated systems should contain a sensible suite of traditional approaches and methods, while best practices to engineer complex systems need extensions to this considering a new paradigm using incentives to guide system behavior rather than testing it up‐front.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"463 - 481"},"PeriodicalIF":2.0,"publicationDate":"2023-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47339584","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dustin S. Birch, Jayesh B. Narsinghani, D. Herber, Thomas H. Bradley
{"title":"Human factors hazard modeling in the systems modeling language","authors":"Dustin S. Birch, Jayesh B. Narsinghani, D. Herber, Thomas H. Bradley","doi":"10.1002/sys.21659","DOIUrl":"https://doi.org/10.1002/sys.21659","url":null,"abstract":"An ongoing challenge within the field of Systems Engineering is the application of a right‐scoped and consistent approach to modeling human functions and risks within a system lifecycle. Humans interacting with a system can be modeled along a continuum from passive agents with not well‐defined interfaces with the system operations, to essential personnel who are responsible for dynamic interactions that ensure the safety and correct function of the system. This paper seeks to contribute to the integration of a model of human function, response, and reliability into the systems engineering of a complicated system through translation of a Human Factors Hazard Model (HFHM) into the Systems Modeling Language (SysML). The HFHM is constructed as a sequential event tree model of human response to triggering events, where each event's likelihood of failure is modeled by a set of fault trees predicting human failure probabilistically using Human Error Probabilities (HEP). Implementation of this model in SysML is demonstrated through a set of stereotyped structural, behavioral, and parametric diagrams. Integration of the HFHM within SysML demonstrates the benefits of human factors modeling and integration into Model‐Based Systems Engineering (MBSE) processes illustrating executability, reusability, and traceability.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"328 - 343"},"PeriodicalIF":2.0,"publicationDate":"2023-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43150022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Identifying key parameters impacting cost in large‐scale complex space programs using simulation‐based global sensitivity analysis","authors":"N. S. Basha, Leifur Þ. Leifsson, C. Bloebaum","doi":"10.1002/sys.21656","DOIUrl":"https://doi.org/10.1002/sys.21656","url":null,"abstract":"Cost overruns averaging 45%–50% can occur during the acquisition process of large‐scale complex space programs. The factors that impact the cost overrun are frequently misunderstood and are not identified correctly. This paper investigates the impact of the parameters on the overall cost of a geosynchronous communication satellite program using model‐based global sensitivity analysis. A simulation model with the acquisition data was used to identify the key parameters within the system model that interact with the cost of the program. A system simulation model containing a physics‐based satellite model and a parametric cost model is utilized to conduct variance‐based sensitivity analysis. Data from selected acquisition reports are used to validate the system simulation model. Sobol' analysis is performed on the parameters associated with requirements of the satellite system, operations, and support to maintain the system, including the launch system and ground equipment. The results show that parameters related to the system‐based requirements significantly impact the program cost. These critical parameters, which influence the cost, lay the foundation to quantify the impact of system parameters and their uncertainty on the cost of the system using a simulation‐based model which will aid in the reduction of cost overruns during the design and development of future large‐scale complex engineered systems.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"291 - 304"},"PeriodicalIF":2.0,"publicationDate":"2023-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47724553","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
C. Laux, Kathryn C. Seigfried-Spellar, Laura Martínez Guerra, Gianna S. Lint
{"title":"Applying risk assessment methods to the sex trafficking process: A feasibility study","authors":"C. Laux, Kathryn C. Seigfried-Spellar, Laura Martínez Guerra, Gianna S. Lint","doi":"10.1002/sys.21658","DOIUrl":"https://doi.org/10.1002/sys.21658","url":null,"abstract":"Sex trafficking is the fastest‐growing organized criminal activity. Trafficking organizations are driven by profit and provide a service due to existing demand. We examined the feasibility of applying risk assessment methods to understand the problem of sex trafficking from a systems perspective. Focusing on Indiana, we recruited and trained subject matter experts (SMEs) in risk assessment methodologies utilized in Six Sigma (SS); specifically Cause and Effect (C&E) Matrix and Failure Mode and Effects Analysis (FMEA). The research team developed a sex trafficking business process map (BPM) and prioritized activities by applying a C&E Matrix to identify the process steps with the potential for disruption. The most common failure modes (FMEA) identified by the SMEs included the trafficker or customer being caught followed by the victim being rescued. We conclude that an SS risk assessment approach is a viable framework in understanding the system of sex trafficking. Limitations and future research suggestions are discussed.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"317 - 327"},"PeriodicalIF":2.0,"publicationDate":"2023-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41728765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Karimaghaei, R. Cloutier, Aurangzeb Khan, J. Richardson, A. Phan
{"title":"A model‐based systems engineering framework for quantum dot solar cells development","authors":"M. Karimaghaei, R. Cloutier, Aurangzeb Khan, J. Richardson, A. Phan","doi":"10.1002/sys.21655","DOIUrl":"https://doi.org/10.1002/sys.21655","url":null,"abstract":"Currently, a wide range of newly designed devices are based on high‐end quantum technologies. To successfully design a quantum system, it is necessary to appropriately address the increasing complexity which exists in the development procedure of the system. A suitable approach to deal with this problem is to employ systems engineering models and integrate them with domain engineering tools. The model‐based systems engineering (MBSE) methodology is commonly used to analyze, design, manufacture, and test various complex systems. In this paper, the MBSE approach is chosen for the development of quantum dot solar cells as a typical quantum system and to deal with the complexity existing in this procedure. The analysis, manufacturing, and verification, validation, and testing (VV&T) for this system are described using SysML in Cameo Systems Modeler software to represent the role of models in this regard. Then a detailed design is performed in MATLAB and integrated with SysML to identify how changing various parameters during the system development process affects the overall system performance. This technique facilitates the communication between different engineering teams and helps to manage the complexity in the entire system lifecycle.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"279 - 290"},"PeriodicalIF":2.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44679242","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Game analysis of social capital violations and government regulation in public–private partnership risk sharing","authors":"Yan Li, Xinyu Wang","doi":"10.1002/sys.21657","DOIUrl":"https://doi.org/10.1002/sys.21657","url":null,"abstract":"The public–private partnership (PPP) mode entails a variety of risks because the government, private enterprises, financial institutions, and other participants have different interests. To prevent private enterprise violations, dynamic government regulation of PPP risk‐sharing is necessary. Game theory is used here to examine the game behavior of government regulators, private enterprises, intermediary agencies, and the public in the stage of tracking management after the initial risk‐sharing of the project. Primarily, this study analyzes whether private enterprises provide fully compliant reporting and whether government departments check the information by investigating the behavioral motivations behind strategic choices. The primary contribution of this study was to construct a game model of government due diligence inspection under the condition of public participation in regulation. The results of simulations revealed the behavioral characteristics and stability of the participants of PPP in terms of decision‐making. Furthermore, a sensitivity analysis between the state variables and several auxiliary variables was used to reveal the internal relationships of the participants’ strategic choices. This paper offers new insights into reducing violation behavior, protecting the public interest from harm, reducing government departments’ regulatory costs, and promoting effective regulation with public participation.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"305 - 316"},"PeriodicalIF":2.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45380510","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Mohamed Elkamel Hamdane, Saad Harous, E. Kerkouche, Nabil Messaoudi
{"title":"Improving consistency of AADL models: A composition approach","authors":"Mohamed Elkamel Hamdane, Saad Harous, E. Kerkouche, Nabil Messaoudi","doi":"10.1002/sys.21653","DOIUrl":"https://doi.org/10.1002/sys.21653","url":null,"abstract":"AADL—architecture analysis and design language—has proven to be important in developing real‐time embedded systems. However, its formalization capability is still limited, which makes it difficult to produce a consistent model; particularly, in the case where several models are combined together. Therefore, using formal verification is an effective way to meet the consistency requirements of the AADL model. This paper proposes a model‐based engineering approach that uses timed automata (TA) formalism to aggregate multiple AADL models into a single composite model. Based on the set of input AADL models, the proposed approach creates a consistent composed model as well as support model checking verification. The effectiveness of this contribution is evaluated through two case studies; a multicamera surveillance system and a drone system.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"257 - 270"},"PeriodicalIF":2.0,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46328870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Using a run time assurance approach for certifying autonomy within naval aviation","authors":"Donald H. Costello, Huan Xu","doi":"10.1002/sys.21654","DOIUrl":"https://doi.org/10.1002/sys.21654","url":null,"abstract":"The methods and procedures within United States naval aviation to certify an aircraft safe for flight are well established. However, these methods and procedures are based on clearing a system that is operated or monitored by a human. A fully autonomous system will not have a human in or on the loop and will therefore require a new method for certifying it safe for flight. This paper details how to use run time assurance as the framework for a safety of flight certification of autonomous behavior within United States naval aviation. We present an aerial refueling task with run time assurance as use case for the framework for certification. Within the use case we then give more details on the mechanics of using RTA to enable autonomous functionality within naval aviation.","PeriodicalId":54439,"journal":{"name":"Systems Engineering","volume":"26 1","pages":"271 - 278"},"PeriodicalIF":2.0,"publicationDate":"2023-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47900729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}