The Experts below are selected from a list of 126 Experts worldwide ranked by ideXlab platform
Arne Skou - One of the best experts on this subject based on the ideXlab platform.
-
automated test generation from timed automata
International Journal on Software Tools for Technology Transfer, 2003Co-Authors: Brian Nielsen, Arne SkouAbstract:Testing is the most dominant Validation Activity used by industry today, and there is an urgent need for improving its effectiveness, both with respect to the time and resources for test generation and execution, and obtained test coverage. We present a new technique for automatic generation of real-time black-box conformance tests for non-deterministic systems from a determinizable class of timed automata specifications with a dense time interpretation. In contrast to other attempts, our tests are generated using a coarse equivalence class partitioning of the specification. To analyze the specification, to synthesize the timed tests, and to guarantee coverage with respect to a coverage criterion, we use the efficient symbolic techniques recently developed for model checking of real-time systems. Application of our prototype tool to a realistic specification shows promising results in terms of both the test suite size, and the time and space used for test generation.
Alessandro Del Nevo - One of the best experts on this subject based on the ideXlab platform.
-
Validation of simmer iii code for in box loca of wcll bb pre test numerical analysis of test d1 1 in lifus5 mod3 facility
Fusion Engineering and Design, 2019Co-Authors: Samad Khani Moghanaki, Marica Eboli, Nicola Forgione, Daniele Martelli, Alessandro Del NevoAbstract:Abstract One of the four breeding blanket concepts for European DEMO nuclear fusion reactor is the Water-Cooled Lithium Lead Breeding Blanket (WCLL BB). The WCLL in-box LOCA (Loss Of Coolant Accident) is a major safety concern of this component, therefore transient behavior shall be investigated to support the design, to evaluate the consequences and to adopt mitigating countermeasures. To fulfill this objective, at first, SIMMER-III code was improved by implementing the chemical reaction model between PbLi and water. Then, SIMMER-III Verification and Validation (V&V) procedures have been established and conducted to obtain a qualified code for deterministic safety analysis. The verification Activity was successfully completed, while the Validation Activity requires further effort according to the R&D plan set up in the framework of the EUROfusion Project. In view of this, an experimental campaign and a test matrix has been designed in LIFUS5/Mod3 facility performing pre-test analyses of Test D1.1. The preliminarily-defined test matrix will be used for the Validation SIMMER-III according to a standard procedure. At the present stage, a pre-test numerical analysis was performed to support future experimental tests. The presented work aims to support the upcoming experimental Activity in terms of setting up Boundary & Initial condition, specifying the most important parameters to be measured during tests and calculated by SIMMER-III code during transient and obtaining the best nodalization for the post-testing simulation. In particular, a qualitative analysis of obtained results was performed according to the available data time trends and based on engineering considerations. It aims to interpret the resulting sequence of main events and the identification of phenomenological windows and aspects, relevant to pressure transient and hydrogen production due to the chemical reaction between heavy liquid metal and water.
Del Nevo A. - One of the best experts on this subject based on the ideXlab platform.
-
Validation of SIMMER-III code for in-box LOCA of WCLL BB: Pre-test numerical analysis of Test D1.1 in LIFUS5/Mod3 facility
'Elsevier BV', 2019Co-Authors: Moghanaki S. K., Eboli M., Forgione N., Martelli D., Del Nevo A.Abstract:One of the four breeding blanket concepts for European DEMO nuclear fusion reactor is the Water-Cooled Lithium Lead Breeding Blanket (WCLL BB). The WCLL in-box LOCA (Loss Of Coolant Accident) is a major safety concern of this component, therefore transient behavior shall be investigated to support the design, to evaluate the consequences and to adopt mitigating countermeasures. To fulfill this objective, at first, SIMMER-III code was improved by implementing the chemical reaction model between PbLi and water. Then, SIMMER-III Verification and Validation (V&V) procedures have been established and conducted to obtain a qualified code for deterministic safety analysis. The verification Activity was successfully completed, while the Validation Activity requires further effort according to the R&D plan set up in the framework of the EUROfusion Project. In view of this, an experimental campaign and a test matrix has been designed in LIFUS5/Mod3 facility performing pre-test analyses of Test D1.1. The preliminarily-defined test matrix will be used for the Validation SIMMER-III according to a standard procedure. At the present stage, a pre-test numerical analysis was performed to support future experimental tests. The presented work aims to support the upcoming experimental Activity in terms of setting up Boundary & Initial condition, specifying the most important parameters to be measured during tests and calculated by SIMMER-III code during transient and obtaining the best nodalization for the post-testing simulation. In particular, a qualitative analysis of obtained results was performed according to the available data time trends and based on engineering considerations. It aims to interpret the resulting sequence of main events and the identification of phenomenological windows and aspects, relevant to pressure transient and hydrogen production due to the chemical reaction between heavy liquid metal and water
Marica Eboli - One of the best experts on this subject based on the ideXlab platform.
-
Validation of simmer iii code for in box loca of wcll bb pre test numerical analysis of test d1 1 in lifus5 mod3 facility
Fusion Engineering and Design, 2019Co-Authors: Samad Khani Moghanaki, Marica Eboli, Nicola Forgione, Daniele Martelli, Alessandro Del NevoAbstract:Abstract One of the four breeding blanket concepts for European DEMO nuclear fusion reactor is the Water-Cooled Lithium Lead Breeding Blanket (WCLL BB). The WCLL in-box LOCA (Loss Of Coolant Accident) is a major safety concern of this component, therefore transient behavior shall be investigated to support the design, to evaluate the consequences and to adopt mitigating countermeasures. To fulfill this objective, at first, SIMMER-III code was improved by implementing the chemical reaction model between PbLi and water. Then, SIMMER-III Verification and Validation (V&V) procedures have been established and conducted to obtain a qualified code for deterministic safety analysis. The verification Activity was successfully completed, while the Validation Activity requires further effort according to the R&D plan set up in the framework of the EUROfusion Project. In view of this, an experimental campaign and a test matrix has been designed in LIFUS5/Mod3 facility performing pre-test analyses of Test D1.1. The preliminarily-defined test matrix will be used for the Validation SIMMER-III according to a standard procedure. At the present stage, a pre-test numerical analysis was performed to support future experimental tests. The presented work aims to support the upcoming experimental Activity in terms of setting up Boundary & Initial condition, specifying the most important parameters to be measured during tests and calculated by SIMMER-III code during transient and obtaining the best nodalization for the post-testing simulation. In particular, a qualitative analysis of obtained results was performed according to the available data time trends and based on engineering considerations. It aims to interpret the resulting sequence of main events and the identification of phenomenological windows and aspects, relevant to pressure transient and hydrogen production due to the chemical reaction between heavy liquid metal and water.
-
implementation of the chemical pbli water reaction in the simmer code
Fusion Engineering and Design, 2016Co-Authors: Marica Eboli, Nicola Forgione, Alessandro Del NevoAbstract:Abstract The availability of a qualified system code for the deterministic safety analysis of the in-box LOCA postulated accident is of primary importance. Considering the renewed interest for the WCLL breeding blanket, such code shall be multi-phase, shall manage the thermodynamic interaction among the fluids, and shall include the exothermic chemical reaction between lithium-lead and water, generating oxides and hydrogen. The paper presents the implementation of the chemical correlations in SIMMER-III code, the verification of the code model in simple geometries and the first Validation Activity based on BLAST Test N°5 experimental data.
Nicola Forgione - One of the best experts on this subject based on the ideXlab platform.
-
Validation of simmer iii code for in box loca of wcll bb pre test numerical analysis of test d1 1 in lifus5 mod3 facility
Fusion Engineering and Design, 2019Co-Authors: Samad Khani Moghanaki, Marica Eboli, Nicola Forgione, Daniele Martelli, Alessandro Del NevoAbstract:Abstract One of the four breeding blanket concepts for European DEMO nuclear fusion reactor is the Water-Cooled Lithium Lead Breeding Blanket (WCLL BB). The WCLL in-box LOCA (Loss Of Coolant Accident) is a major safety concern of this component, therefore transient behavior shall be investigated to support the design, to evaluate the consequences and to adopt mitigating countermeasures. To fulfill this objective, at first, SIMMER-III code was improved by implementing the chemical reaction model between PbLi and water. Then, SIMMER-III Verification and Validation (V&V) procedures have been established and conducted to obtain a qualified code for deterministic safety analysis. The verification Activity was successfully completed, while the Validation Activity requires further effort according to the R&D plan set up in the framework of the EUROfusion Project. In view of this, an experimental campaign and a test matrix has been designed in LIFUS5/Mod3 facility performing pre-test analyses of Test D1.1. The preliminarily-defined test matrix will be used for the Validation SIMMER-III according to a standard procedure. At the present stage, a pre-test numerical analysis was performed to support future experimental tests. The presented work aims to support the upcoming experimental Activity in terms of setting up Boundary & Initial condition, specifying the most important parameters to be measured during tests and calculated by SIMMER-III code during transient and obtaining the best nodalization for the post-testing simulation. In particular, a qualitative analysis of obtained results was performed according to the available data time trends and based on engineering considerations. It aims to interpret the resulting sequence of main events and the identification of phenomenological windows and aspects, relevant to pressure transient and hydrogen production due to the chemical reaction between heavy liquid metal and water.
-
implementation of the chemical pbli water reaction in the simmer code
Fusion Engineering and Design, 2016Co-Authors: Marica Eboli, Nicola Forgione, Alessandro Del NevoAbstract:Abstract The availability of a qualified system code for the deterministic safety analysis of the in-box LOCA postulated accident is of primary importance. Considering the renewed interest for the WCLL breeding blanket, such code shall be multi-phase, shall manage the thermodynamic interaction among the fluids, and shall include the exothermic chemical reaction between lithium-lead and water, generating oxides and hydrogen. The paper presents the implementation of the chemical correlations in SIMMER-III code, the verification of the code model in simple geometries and the first Validation Activity based on BLAST Test N°5 experimental data.
