scholarly journals Reconciling interoperability with efficient Verification and Validation within open source simulation environments

2021 ◽  
Vol 109 ◽  
pp. 102277
Author(s):  
Stefano Sinisi ◽  
Vadim Alimguzhin ◽  
Toni Mancini ◽  
Enrico Tronci
Author(s):  
Chinmaya Mishra ◽  
Florian Schwaiger ◽  
Niclas M. Bähr ◽  
Franz Sax ◽  
Marc Andreas Kleser ◽  
...  

2011 ◽  
Vol 2011 ◽  
pp. 1-18 ◽  
Author(s):  
Asadullah Shaikh ◽  
Uffe Kock Wiil ◽  
Nasrullah Memon

UML/OCL class diagrams provide high-level descriptions of software systems. Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save time and effort of software developers. Therefore, verification of these class diagrams is essential in order to generate accurate transformations. Verification of UML/OCL class diagrams is a quite challenging task when the input is large (i.e., a complex UML/OCL class diagram). In this paper, we present (1) a benchmark for UML/OCL verification and validation tools, (2) an evaluation and analysis of tools available for verification and validation of UML/OCL class diagrams including the range of UML support for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.


Author(s):  
Drew J. Rankin ◽  
Jin Jiang

This paper presents the performance of shutdown system one (SDS1) implemented on a programmable logic controller (PLC) within real-time hardware-in-the-loop (HIL) simulation. SDS1 evaluation is focused on steam generator (SG) level low trip scenarios. A comparison of the findings with simulated expected plant operation is performed. An Invensys Triconex Tricon v9 safety PLC is interfaced to a real-time nuclear power plant (NPP) simulation suite (DarlSIM), replicating the operation of the Darlington NPP SDS1. Design basis accidents (DBA) associated with SDS1 regulatory standards are developed and applied to the two simulation environments. HIL simulation is a preferred method for testing systems prior to installation and is necessary to ensure proper SDS verification and validation. The performance of the Tricon v9 PLC, the HIL simulation platform and the two simulation environments are evaluated.


2021 ◽  
Author(s):  
Chinmaya Mishra ◽  
Florian Schwaiger ◽  
Niclas M. Bähr ◽  
Franz Sax ◽  
Marc Andreas Kleser ◽  
...  

2013 ◽  
Vol 7 (4) ◽  
Author(s):  
Jeffrey E. Bischoff ◽  
Brad Davis ◽  
Jörn Seebeck ◽  
Adam Henderson ◽  
Joel Zuhars ◽  
...  

Availability of medical image data and ongoing advancement of image-processing and mathematical-modeling techniques are increasingly enabling device manufacturers to conduct clinically relevant morphological and mechanical analyses across populations to support device development. Gaps in the ability of contemporary commercial codes to fully realize these analytical goals frequently requires some amount of in-house code development and deployment. Verification and validation (V&V) of these custom modules or platforms is an essential requirement for deployment of the software within a medical device design controls system. One such software platform to support orthopedic morphological analysis, zibra, has been successfully developed through a collaborative relationship between Zimmer, Inc. and Kitware, Inc. The development process involved configuration of commercial code, open-source toolkits, and custom code. Here, the V&V strategy to support deployment of zibra is described.


Author(s):  
Shah Saud Alam ◽  
Christopher Depcik

Abstract Increased black-box software use without adequate software literacy can lead to improper results and potentially disastrous consequences. Furthermore, such software is often expensive and comes with limited flexibility making it prohibitive for learning purposes. Therefore, this effort highlights the development of an adaptable, user customizable, and free open-source software tool to evaluate reaction kinetics in combustion models. Here, the software undergoes verification and validation to ensure proper operation over the intended domain of its application. The conceptual model is derived from the basic governing equations of thermodynamics simulating zero-dimensional constant pressure combustion with chemical kinetics based on a homogeneous hydrogen-oxygen reaction mechanism. Then, the computerized model is developed using a top-down programming technique for quick identification and elimination of coding errors. Operational validation occurs by comparing results with Chemkin and Cantera that reveals absolute and relative tolerances of 1E−12 and 1E−3, respectively, are sufficient for convergence at all specified initial conditions. In addition, the open-source software is computationally less intensive with average time savings of 33.69% and 48.88% versus Chemkin and Cantera, respectively. Subsequently, model results are time-shifted to the 50% fuel-burned mark and compared with experimental results for validation. This ensures that the created software is correct and useful for classroom instruction. Finally, the customizability of the open-source software instills confidence in students to develop custom chemical reaction mechanisms.


Sign in / Sign up

Export Citation Format

Share Document