Towards a Robust Computational Solution for the Verification and Validation of Complex Systems in MBSE using Wymore's Tricotyledon Theory of System Design

2022 ◽  
Author(s):  
Aroua Gharbi ◽  
Olivia Fischer ◽  
Dimitri N. Mavris
Keyword(s):  
Complex Systems ◽  
System Design ◽  
Verification And Validation ◽  
Computational Solution

Toward a Functional Failure Modeling Method of Representing Prognostic Systems During the Early Phases of Design

2015 ◽  
Author(s):  
Caitlin Stack ◽  
Douglas L. Van Bossuyt
Keyword(s):  
Complex System ◽  
Complex Systems ◽  
System Design ◽  
Power Plants ◽  
Pressurized Water ◽  
Functional Failure ◽  
Early Stages ◽  
Failure Modeling ◽  
Complex System Design ◽  
Early Phases

Current methods of functional failure risk analysis do not facilitate explicit modeling of systems equipped with Prognostics and Health Management (PHM) hardware. As PHM systems continue to grow in application and popularity within major complex systems industries (e.g. aerospace, automotive, civilian nuclear power plants), implementation of PHM modeling within the functional failure modeling methodologies will become useful for the early phases of complex system design and for analysis of existing complex systems. Functional failure modeling methods have been developed in recent years to assess risk in the early phases of complex system design. However, the methods of functional modeling have yet to include an explicit method for analyzing the effects of PHM systems on system failure probabilities. It is common practice within the systems health monitoring industry to design the PHM subsystems during the later stages of system design — typically after most major system architecture decisions have been made. This practice lends itself to the omission of considering PHM effects on the system during the early stages of design. This paper proposes a new method for analyzing PHM subsystems’ contribution to risk reduction in the early stages of complex system design. The Prognostic Systems Variable Configuration Comparison (PSVCC) eight-step method developed here expands upon existing methods of functional failure modeling by explicitly representing PHM subsystems. A generic pressurized water nuclear reactor primary coolant loop system is presented as a case study to illustrate the proposed method. The success of the proposed method promises more accurate modeling of complex systems equipped with PHM subsystems in the early phases of design.

Complex System Design Verification Using Assumption Generation

2013 ◽  
Author(s):  
Hoda Mehrpouyan ◽  
Dimitra Giannakopoulou ◽  
Guillaume Brat ◽  
Irem Y. Tumer ◽  
Chris Hoyle
Keyword(s):  
Complex System ◽  
Complex Systems ◽  
System Design ◽  
Discrete Event ◽  
System Level ◽  
Design Verification ◽  
Safety Properties ◽  
Compositional Model ◽  
Counter Example ◽  
Verification Techniques

In the era of large complex systems with continuous and discrete event components, it is critical to establish a complete design verification strategy to determine whether a system satisfies certain safety properties. However, traditional approaches for the verification of such a complex system lack the ability to take into account all possible system states, efficiently model all component interactions, and accurately quantify the risks and uncertainties. This paper presents a methodology for system-level design of complex systems verification based on compositional model checking. This methodology relies on assumption generation and on the domain independent compositional rules for correctness proof of the design of physical systems. The objective is to present a case study for applying the existing automated compositional verification techniques and observing the characteristics of the verification model. The main advantage of this method is that it enables the designer to verify the safety properties of the system without requiring the detail knowledge of the internal actions of the system. The under-approximate context model of the system design is constructed and, in an iterative approach, its safety properties are analyzed until a violation of a property is found and an execution trace called a counter example is produced. In the case of safety requirements violation, the early generation of counter examples leads to faster design verification.

Verification and Validation of Complex Systems: Human Factors Issues

1993 ◽  
Vol 37 (17) ◽  
pp. 1165-1169 ◽  
Author(s):  
John A. Wise ◽  
V. David Hopkin ◽  
Richard S. Gibson ◽  
Paul Stager ◽  
William F. Stubler
Keyword(s):  
Complex Systems ◽  
Human Factors ◽  
Control Systems ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Air Traffic ◽  
Verification And Validation ◽  
Automated Systems ◽  
The World

The issue of verifying and validating complex systems based on human factors criteria is becoming widely recognized. The need has become particularity significant with the development on the highly automated systems currently being developed for the new air traffic control systems around the world. This panel discusses several issues that have evolved from an international working meeting on the topic.

scholarly journals Physics Based Design, the Future of Modeling and Simulation

10.14311/740 ◽  
2005 ◽  
Vol 45 (4) ◽  
Author(s):  
T. S. Ericsen
Keyword(s):  
Complex Systems ◽  
Power Systems ◽  
Modeling And Simulation ◽  
System Design ◽  
Electrical Power ◽  
Building Blocks ◽  
Electrical Power Systems ◽  
Computing Power ◽  
Advanced System

This paper discusses the expanding role of modeling and simulation in the design and development of electrical power systems. The concepts of physics-based design and building blocks are introduced to show how complex systems may be simplified. However, the detail and complexity of tomorrow’s systems are beyond today’s tools. Computing power has increased to the point where physics-based design is possible. The aim of this paper is to discus the issues and opportunities for modeling and simulation in advanced system design. 

scholarly journals Logic prototyping: approach and use cases

2021 ◽  
Vol 2131 (3) ◽  
pp. 032002
Author(s):  
O A Il’icheva ◽  
V V Ilicheva
Keyword(s):  
Complex Systems ◽  
System Design ◽  
Transport System ◽  
Program Analysis ◽  
Predicate Logic ◽  
Denotational Semantics ◽  
Logical Description ◽  
Logical Errors ◽  
Logic Inference ◽  
Classical Predicate

Abstract In this article, we present an approach to prototyping complex systems and processes using classical predicate logic. The prototype is built by the interpreter based on a logical description of the properties and/or behavior of the designed system. The description contains the definitions of the prototype elements and the constraints that the correct prototype must satisfy. Definitions are used to build a prototype, and constraints are used to analyze it and check the required properties. Definitions are interpreted using direct logic inference, constraints are only checked on the resulting model. A wider class of formulas is used than in well-known logical languages. Computable logical and denotational semantics are defined for them. In the process of building a prototype, logical errors of uncertainty, redefinition of functions, and contradictions are diagnosed. We are given examples of prototype descriptions used for semantic program analysis, space training, transport system design.

Toward a Dedicated Failure Flow Arrestor Function Methodology

2015 ◽  
Author(s):  
Michael R. S. Slater ◽  
Douglas L. Van Bossuyt
Keyword(s):  
Complex System ◽  
Complex Systems ◽  
System Design ◽  
Nuclear Power ◽  
Nuclear Regulatory Commission ◽  
Flow State ◽  
Pressurized Water ◽  
Functional Failure ◽  
Failure Modeling ◽  
Complex System Design

Risk analysis in engineering design is of paramount importance when developing complex systems or upgrading existing systems. In many complex systems, new generations of systems are expected to have decreased risk and increased reliability when compared with previous designs. For instance, within the American civilian nuclear power industry, the Nuclear Regulatory Commission (NRC) has progressively increased requirements for reliability and driven down the chance of radiological release beyond the plant site boundary. However, many ongoing complex system design efforts analyze risk after early major architecture decisions have been made. One promising method of bringing risk considerations earlier into the conceptual stages of the complex system design process is functional failure modeling. Function Failure Identification and Propagation (FFIP) and related methods began the push toward assessing risk using the functional modeling taxonomy. This paper advances the Dedicated Failure Flow Arrestor Function (DFFAF) method which incorporates dedicated Arrestor Functions (AFs) whose purpose is to stop failure flows from propagating along uncoupled failure flow pathways, as defined by Uncoupled Failure Flow State Reasoner (UFFSR). By doing this, DFFAF provides a new tool to the functional failure modeling toolbox for complex system engineers. This paper introduces DFFAF and provides an illustrative simplified civilian Pressurized Water Reactor (PWR) nuclear power plant case study.

Epistemiation

2016 ◽  
Vol 60 (1) ◽  
pp. 1701-1705 ◽  
Author(s):  
Ronald L. Boring ◽  
Roger Lew ◽  
Thomas A. Ulrich
Keyword(s):  
Human Factors ◽  
System Design ◽  
Nuclear Power ◽  
Power Plants ◽  
Verification And Validation ◽  
Knowledge Elicitation ◽  
Control Room ◽  
Design Activities ◽  
Control Rooms

The Guideline for Operational Nuclear Usability and Knowledge Elicitation (GONUKE) outlines multiple types and stages of human factors evaluation to support system design activities. Originally developed to support human factors requirements for control room modernization at nuclear power plants, GONUKE includes verification, validation, and epistemiation. Epistemiation is a novel term for the process in which knowledge from expert users is elicited to shape the design of the system. Especially in the case of control rooms, the importance of knowledge transfer between expert operators and system designers may prove more beneficial than traditional verification and validation. This paper outlines epistemiation, provides background on expert users, and illustrates the process through a case study. Although GONUKE and epistemiation are native to nuclear power applications, the approach is generalizable to other domains that feature expert users.

Sign in / Sign up

Export Citation Format

Share Document