IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or down...IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.展开更多
This study evaluates the development of a testing process for the automotive software domain, highlighting challenges stemming from the absence of adequate processes. The research demonstrates the application of Desig...This study evaluates the development of a testing process for the automotive software domain, highlighting challenges stemming from the absence of adequate processes. The research demonstrates the application of Design Science Research methodology in developing, an automotive software testing process—ProTSA, using six functional testing modules. Additionally, the study evaluates the benefits of implementing ProTSA in a specific Original Equipment Manufacturer (OEM) using an experimental single-case approach with industry professionals’ participation through a survey. The study concludes that combining testing techniques with effective communication and alignment is crucial for enhancing software quality. Furthermore, survey data indicates that implementing ProTSA leads to productivity gains by initiating tests early, resulting in time savings in the testing program and increased productivity for the testing team. Future work will explore implementing ProTSA in cybersecurity, over-the-air software updates, and autonomous vehicle testing processes. .展开更多
This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provid...This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.展开更多
When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptio...When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptions in their failure behaviour. These mismatches, if not prevented during system design, have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that promote an existing untrusted software element into an idealised fault-tolerant architectural element. Moreover, it is considered in the context of a rigorous software development approach based on formal methods for representing the structure and behaviour of the software architecture. The proposed approach relies on a formal specification and verification for analysing exception propagation, and verifying important dependability properties, such as deadlock freedom, and scenarios of architectural reconfiguration. The formal models are automatically generated using model transformation from UML diagrams： component diagram representing the system structure, and sequence diagrams representing the system behaviour. Finally, the formal models are also used for generating unit and integration test cases that are used for assessing the correctness of the source code. The feasibility of the proposed architectural approach was evaluated on an embedded critical case study.展开更多
The present paper investigates the turbulent cavitating flow around the Clark-Y hydrofoil with special emphasis on the influence of cavitation models by verification and validation(V&V)method.RANS solver coupled w...The present paper investigates the turbulent cavitating flow around the Clark-Y hydrofoil with special emphasis on the influence of cavitation models by verification and validation(V&V)method.RANS solver coupled with the three major cavitation models(i.e.,Zwart-Gerber-Belamri,Schnerr and Sauer and full cavitation model,which are abbreviated to ZGB model,SS model and FC model respectively)is employed in this paper.The results indicate that the three cavitation models can properly reproduce the cavitation evolutions.ZGB model and SS model give better prediction in the overall cavitation patterns.FC model exhibits an obvious under-estimation for the sheet cavity,and the predicted volume fraction is closely related to the turbulent flow.The verification and validation procedure is involved to quantitatively assess the accuracy of these three cavitation models.It is indicated that the V&V procedure is suitable for the unsteady cavitating flow.The errors estimate is robust and conservative within the cavitation region,while gets closer to zero in the no-cavitation region.In addition,ZGB model exhibits the highest overall accuracy among the three models,which further verifies its wide applicability.展开更多
To better utilize the potential of system simulation models and simulators,industrially applicable methods for Verification,Validation and Uncertainty Quantification(VV&UQ)are crucial.This paper presents an explo...To better utilize the potential of system simulation models and simulators,industrially applicable methods for Verification,Validation and Uncertainty Quantification(VV&UQ)are crucial.This paper presents an exploratory case study of VV&UQ techniques applied on models integrated in aircraft system simulators at Saab Aeronautics and in driving simulators at the Swedish National Road and Transport Research Institute(VTI).Results show that a large number of Verification and Validation(V&V)techniques are applied,some of which are promising for further development and use in simulator credibility assessment.Regarding the application of UQ,a large gap between academia and this part of industry has been identified,and simplified methods are needed.The applicability of the NASA Credibility Assessment Scale(CAS)at the studied organizations is also evaluated and it can be concluded that the CAS is considered to be a usable tool for achieving a uniform level of V&V for all models included in a simulator,although its implementation at the studied organizations requires tailoring and coordination.展开更多
The large eddy simulation(LES)is used to resolve the flow structure in the cavitating turbulent flow around the Clark-Y hydrofoil coupled with a homogeneous cavitation model.A new method is proposed in this paper to c...The large eddy simulation(LES)is used to resolve the flow structure in the cavitating turbulent flow around the Clark-Y hydrofoil coupled with a homogeneous cavitation model.A new method is proposed in this paper to calculate the LES error of the time-averaged streamwise velocity for the LES verification and validation(V&V).From the instantaneous cavity patterns,it is demonstrated that the predicted results agree fairly well with the experimental data.With this new proposed method,the LES errors can be easily and effectively calculated with a limited mesh number,and the method might be used in the other applications of the LES V&V.Results of the LES errors obtained by the new method show that the relatively steady flow can be simulated with small errors,while the complex flow structures at the cavity shedding region might lead to an increase of errors in the LES modeling.In addition,the distributions of the resolved Reynolds stresses are used to estimate the influences of the cavitation on the turbulent fluctuations.Results indicate that the turbulent fluctuations for the cavitating flow are much larger in magnitude as compared to the cases without cavitation.展开更多
文摘IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation for practical IV & V. It contains crucial and encompassing check points and guidelines to analyze the design integrity, without addressing the formalized and the specific criteria for IV & V activities confirming the technical integrity. It is necessary to list up the inspection viewpoint via interpretation of the standard that is practical review points checking design consistency. For fruitful IV & V of Control Element Driving Mechanism Control System (CEDMCS) software for Yonggwang Nuclear Power Plant unit 3 & 4, the specific viewpoints and approach are necessary based on the guidelines of IEEE 1012 to enhance the system quality by considering the level of implementation of the theoretical and the practical IV & V. Additionally IV & V guideline of IEEE 1012 does not specifically provide the concrete measure considering the system characteristics of CEDMCS. This paper provides the seven (7) characteristic criteria for CEDMCS IV & V, and by applying these viewpoints, the design analysis such as function, performance, interface and exception, backward and forward requirement traceability analysis has been conducted. The requirement, design, implementation, and test phase were only considered for IV & V in this project. This article also provides the translation of code to map theoretical verification and validation into practical verification and validation. This paper emphasizes the necessity of the intensive design inspection and walkthrough for requirement phase to resolve the design faults because the IV & V of early phase of SDLC obviously contributes to find out most of critical design inconsistency. Especially for test phase IV & V, it is strongly recommended to prepare the test plan document which is going to be the basis for the test coverage selection and test strategy. This test plan document should be based on the critical characteristics of function and performance of CEDMCS. Also to guarantee the independency of V & V organization participating in this project, and to acquire the full package of design details for IV & V, the systematic approach and efforts with an aspect of management is highlighted among the participants.
文摘This study evaluates the development of a testing process for the automotive software domain, highlighting challenges stemming from the absence of adequate processes. The research demonstrates the application of Design Science Research methodology in developing, an automotive software testing process—ProTSA, using six functional testing modules. Additionally, the study evaluates the benefits of implementing ProTSA in a specific Original Equipment Manufacturer (OEM) using an experimental single-case approach with industry professionals’ participation through a survey. The study concludes that combining testing techniques with effective communication and alignment is crucial for enhancing software quality. Furthermore, survey data indicates that implementing ProTSA leads to productivity gains by initiating tests early, resulting in time savings in the testing program and increased productivity for the testing team. Future work will explore implementing ProTSA in cybersecurity, over-the-air software updates, and autonomous vehicle testing processes. .
文摘This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.
基金supported by Fapesp/Brazil under Grant No. 06/02116-2 and CAPES/Brazil under Grant No. 0722-07-3Cecília Rubira is partially supported by CNPq/Brazil under Grant Nos. 301446/2006-7 and 484138/2006-5
文摘When building dependable systems by integrating untrusted software components that were not originally designed to interact with each other, it is likely the occurrence of architectural mismatches related to assumptions in their failure behaviour. These mismatches, if not prevented during system design, have to be tolerated during runtime. This paper presents an architectural abstraction based on exception handling for structuring fault-tolerant software systems. This abstraction comprises several components and connectors that promote an existing untrusted software element into an idealised fault-tolerant architectural element. Moreover, it is considered in the context of a rigorous software development approach based on formal methods for representing the structure and behaviour of the software architecture. The proposed approach relies on a formal specification and verification for analysing exception propagation, and verifying important dependability properties, such as deadlock freedom, and scenarios of architectural reconfiguration. The formal models are automatically generated using model transformation from UML diagrams： component diagram representing the system structure, and sequence diagrams representing the system behaviour. Finally, the formal models are also used for generating unit and integration test cases that are used for assessing the correctness of the source code. The feasibility of the proposed architectural approach was evaluated on an embedded critical case study.
基金supported by the National Natural Science Foundation of China (Grant No. 52176041).
文摘The present paper investigates the turbulent cavitating flow around the Clark-Y hydrofoil with special emphasis on the influence of cavitation models by verification and validation(V&V)method.RANS solver coupled with the three major cavitation models(i.e.,Zwart-Gerber-Belamri,Schnerr and Sauer and full cavitation model,which are abbreviated to ZGB model,SS model and FC model respectively)is employed in this paper.The results indicate that the three cavitation models can properly reproduce the cavitation evolutions.ZGB model and SS model give better prediction in the overall cavitation patterns.FC model exhibits an obvious under-estimation for the sheet cavity,and the predicted volume fraction is closely related to the turbulent flow.The verification and validation procedure is involved to quantitatively assess the accuracy of these three cavitation models.It is indicated that the V&V procedure is suitable for the unsteady cavitating flow.The errors estimate is robust and conservative within the cavitation region,while gets closer to zero in the no-cavitation region.In addition,ZGB model exhibits the highest overall accuracy among the three models,which further verifies its wide applicability.
基金The research leading to these results has received funding from Saab Aeronautics and the Swedish Government Agency VINNOVA’s National Aviation Engineering Research Programme(NFFP62013-01211).
文摘To better utilize the potential of system simulation models and simulators,industrially applicable methods for Verification,Validation and Uncertainty Quantification(VV&UQ)are crucial.This paper presents an exploratory case study of VV&UQ techniques applied on models integrated in aircraft system simulators at Saab Aeronautics and in driving simulators at the Swedish National Road and Transport Research Institute(VTI).Results show that a large number of Verification and Validation(V&V)techniques are applied,some of which are promising for further development and use in simulator credibility assessment.Regarding the application of UQ,a large gap between academia and this part of industry has been identified,and simplified methods are needed.The applicability of the NASA Credibility Assessment Scale(CAS)at the studied organizations is also evaluated and it can be concluded that the CAS is considered to be a usable tool for achieving a uniform level of V&V for all models included in a simulator,although its implementation at the studied organizations requires tailoring and coordination.
基金supported by the National Natural Science Foundation of China(Grant Nos.51822903,11772239).
文摘The large eddy simulation(LES)is used to resolve the flow structure in the cavitating turbulent flow around the Clark-Y hydrofoil coupled with a homogeneous cavitation model.A new method is proposed in this paper to calculate the LES error of the time-averaged streamwise velocity for the LES verification and validation(V&V).From the instantaneous cavity patterns,it is demonstrated that the predicted results agree fairly well with the experimental data.With this new proposed method,the LES errors can be easily and effectively calculated with a limited mesh number,and the method might be used in the other applications of the LES V&V.Results of the LES errors obtained by the new method show that the relatively steady flow can be simulated with small errors,while the complex flow structures at the cavity shedding region might lead to an increase of errors in the LES modeling.In addition,the distributions of the resolved Reynolds stresses are used to estimate the influences of the cavitation on the turbulent fluctuations.Results indicate that the turbulent fluctuations for the cavitating flow are much larger in magnitude as compared to the cases without cavitation.
