Verification Activity

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 114 Experts worldwide ranked by ideXlab platform

Sara Mortimore - One of the best experts on this subject based on the ideXlab platform.

  • Food Safety Assurance Systems: Audits of Food Safety Management Systems
    Encyclopedia of Food Safety, 2014
    Co-Authors: Y. Motarjemi, Sara Mortimore
    Abstract:

    Audits of food safety management systems are a Verification Activity with the objective to evaluate the compliance with set standards. Audits can be carried out by an industry as part of self-control or by a third party, for example, a certification body or customers. It can be comprehensive and cover the audit of the entire food safety management system, or be partial and limited to some elements of the system, operations, or products. This will depend on the purpose of the audit. The validity of the audits depends on a number of factors, in particular the competence of auditors. The frequency and scope must be based on the level of risk presented by the operation. Among different factors, the previous records of compliance are important criteria to be considered.

  • Assessment of Food Safety Management Systems
    Food Safety Management, 2013
    Co-Authors: Y. Motarjemi, Sara Mortimore
    Abstract:

    Assessment of food safety management systems is a Verification Activity with the objective of evaluating the compliance with set standards. While it cannot be relied upon for ensuring safety, it is important for verifying that stakeholders comply with safety and regulatory requirements. Assessment can be carried out by authorities or by the private sector itself. It can be comprehensive and cover the assessment of the entire food safety management system, or be partial and limited to some elements of the food safety management system, operations or products. This will depend on the purpose of the assessment. The validity of the assessment depends on a number of factors, in particular the competence of assessors. The frequency and scope must be based on the level of risk presented by the operation. Among different factors, the previous records of compliance are important criteria to be considered.

Y. Motarjemi - One of the best experts on this subject based on the ideXlab platform.

  • Food Safety Assurance Systems: Audits of Food Safety Management Systems
    Encyclopedia of Food Safety, 2014
    Co-Authors: Y. Motarjemi, Sara Mortimore
    Abstract:

    Audits of food safety management systems are a Verification Activity with the objective to evaluate the compliance with set standards. Audits can be carried out by an industry as part of self-control or by a third party, for example, a certification body or customers. It can be comprehensive and cover the audit of the entire food safety management system, or be partial and limited to some elements of the system, operations, or products. This will depend on the purpose of the audit. The validity of the audits depends on a number of factors, in particular the competence of auditors. The frequency and scope must be based on the level of risk presented by the operation. Among different factors, the previous records of compliance are important criteria to be considered.

  • Assessment of Food Safety Management Systems
    Food Safety Management, 2013
    Co-Authors: Y. Motarjemi, Sara Mortimore
    Abstract:

    Assessment of food safety management systems is a Verification Activity with the objective of evaluating the compliance with set standards. While it cannot be relied upon for ensuring safety, it is important for verifying that stakeholders comply with safety and regulatory requirements. Assessment can be carried out by authorities or by the private sector itself. It can be comprehensive and cover the assessment of the entire food safety management system, or be partial and limited to some elements of the food safety management system, operations or products. This will depend on the purpose of the assessment. The validity of the assessment depends on a number of factors, in particular the competence of assessors. The frequency and scope must be based on the level of risk presented by the operation. Among different factors, the previous records of compliance are important criteria to be considered.

Alejandro Salado - One of the best experts on this subject based on the ideXlab platform.

  • Efficient Population of the Verification Tradespace Using Bayesian Inference
    IEEE Systems Journal, 2020
    Co-Authors: Farshad Farkhondehmaal, Alejandro Salado
    Abstract:

    This article presents a process to efficiently elicit belief models of Verification strategies in the context of applying tradespace exploration to the design of Verification strategies. The need for efficiency is at the core of tradespace exploration, where a large region of the solution space needs to be explored before anchoring to a specific solution or solution set. In conceptual design and systems architecture, solutions are modeled by leveraging independent models that are connected by an overarching model. In designing Verification strategies, however, Verification activities cannot be modeled independently of the overall strategy in which they are used. As a result, probabilities associated with the confidence generated by each Verification Activity, need to be elicited for each candidate Verification strategy individually. This requires, in principle, to generate a specific model for each solution in the solution space, which may hamper efficiency. In this article, we show that Bayesian inference can be used to overcome this limitation. In particular, the proposed process in this article uses only one elicitation Activity for an overarching Verification strategy and then leverages Bayesian inference to determine automatically the probabilities of other Verification strategies in the solution space.

  • Capturing the Information Dependencies of Verification Activities with Bayesian Networks
    Systems Engineering in Context, 2019
    Co-Authors: Alejandro Salado, Hanumanthrao Kannan, Farshad Farkhondehmaal
    Abstract:

    Verification activities provide the evidence of contractual fulfillment in the engineering of systems. Thus, the importance of adequately defining Verification activities in any acquisition program is unquestionable. Its significance extends beyond contracting though. A major portion of the development financial budget is spent in executing Verification activities, and Verification activities are the main vehicle in discovering knowledge about the system, which is key to reduce development risk. Hence, it is important to optimize Verification activities so that a given level of confidence about the proper functioning of the system is achieved with minimum investment. Current approaches to optimize Verification strategies assume that a Verification Activity contributes to an absolute increase or decrease in such confidence. That means that the confidence generated by a Verification Activity is independent of the past or potential future results of other Verification activities. However, this representation is not an accurate reflection of actual practice. On the contrary, the necessity to perform a given Verification Activity depends on the results of all Verification activities that have been previously performed. In order to address such limitation, we show in this paper how Bayesian networks can be an effective approach to capture the information dependencies of Verification activities.

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, 2019
    Co-Authors: Samad Khani Moghanaki, Marica Eboli, Nicola Forgione, Daniele Martelli, Alessandro Del Nevo
    Abstract:

    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', 2019
    Co-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