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

G R Cefus - One of the best experts on this subject based on the ideXlab platform.

  • griset Certification Package
    1992
    Co-Authors: J J Taylor, G R Cefus
    Abstract:

    The GRISET (GRIMHX setup) computer code is an input driver for the three dimensional G computer code (Reference 4). GRISET provides a method for automating the creation of G geometry and associated problem specific information such as the reactor maps and the cross section data references. GRISET provides methods which allow the user to model control rod positioning, safety rod insertion with any number failing, control rod withdrawal or insertion, and full or partial melting of control rods. GRISET also calculates the radial shape factor, tilt, roof-top-ratios, and the assembly power peaking.

  • griset Certification Package revision 2
    1992
    Co-Authors: J J Taylor, G R Cefus
    Abstract:

    The GRISET (GRIMHX setup) computer code is an input driver for the three dimensional G computer code (Reference 4). GRISET provides a method for automating the creation of G geometry and associated problem specific information such as the reactor maps and the cross section data references. GRISET provides methods which allow the user to model control rod positioning, safety rod insertion with any number failing, control rod withdrawal or insertion, and full or partial melting of control rods. GRISET also calculates the radial shape factor, tilt, roof-top-ratios, and the assembly power peaking.

G Romanski - One of the best experts on this subject based on the ideXlab platform.

  • requirements configuration management and traceability for safety critical software
    IEEE International Conference on Requirements Engineering, 2003
    Co-Authors: G Romanski
    Abstract:

    Software requirements are the focal point from which traceability to all related artifacts are established during the Certification of safety critical software. For the Certification of air-borne software, the guidance document DO-178B, requires that the link between requirements, design, code and tests be documented and verified. The DO-178B document does not describe how this should be done, but it permits the reengineering of information that is missing, to support the Certification of commercial-off-the-shelf (COTS) products. Requirements were entered in a database and evolved through a sequence that enforced the states described in company process documents. The design descriptions, source code, tests, results and so on were maintained in a configuration management (CM) system. The final audit was successful and the CD-ROM delivery of a requirements based Certification Package was accepted and commended. The details of the approach and the lessons learned were presented.

J J Taylor - One of the best experts on this subject based on the ideXlab platform.

  • griset Certification Package
    1992
    Co-Authors: J J Taylor, G R Cefus
    Abstract:

    The GRISET (GRIMHX setup) computer code is an input driver for the three dimensional G computer code (Reference 4). GRISET provides a method for automating the creation of G geometry and associated problem specific information such as the reactor maps and the cross section data references. GRISET provides methods which allow the user to model control rod positioning, safety rod insertion with any number failing, control rod withdrawal or insertion, and full or partial melting of control rods. GRISET also calculates the radial shape factor, tilt, roof-top-ratios, and the assembly power peaking.

  • griset Certification Package revision 2
    1992
    Co-Authors: J J Taylor, G R Cefus
    Abstract:

    The GRISET (GRIMHX setup) computer code is an input driver for the three dimensional G computer code (Reference 4). GRISET provides a method for automating the creation of G geometry and associated problem specific information such as the reactor maps and the cross section data references. GRISET provides methods which allow the user to model control rod positioning, safety rod insertion with any number failing, control rod withdrawal or insertion, and full or partial melting of control rods. GRISET also calculates the radial shape factor, tilt, roof-top-ratios, and the assembly power peaking.

E F Trumble - One of the best experts on this subject based on the ideXlab platform.

  • mcnp Certification Package
    1992
    Co-Authors: E F Trumble
    Abstract:

    In response to a Department of Energy (DOE) request, Westinghouse Savannah River Company committed to certify all computer codes used in critical calculations at the site. Since the Monte Carlo Neutron Photon Transport (MCNP) code will be used to perform critical analyses involving criticality and shielding, the code must be certified. Certification as applied to existing computer codes includes the verification and validation process, placing the code in configuration control, and establishing user qualification standards and training requirements. All software intended for use in critical calculations must be certified. This report is intended to fulfill the requirements for the Certification of the MCNP code, version 4.2, built June 11, 1992, by J.H. Hightower on the SRS CRAY. This report does not release MCNP for use under production status for any application for which a MCNP validation document does not exist. These validation documents will describe the specific range of applicability, limitations on use, results and biases for a particular MCNP application.

Michael Paulitsch - One of the best experts on this subject based on the ideXlab platform.

  • flight safety Certification implications for complex multi core processor based avionics systems
    IEEE AIAA Digital Avionics Systems Conference, 2019
    Co-Authors: Jyotika Athavale, Riccardo Mariani, Michael Paulitsch
    Abstract:

    Weight is fuel and cost. In the future the quest to continue integration and leverage modern powerful compute fabrics is a central goal of modern avionics architectures combined functional integration to create emergent new functionality. Additionally, cost savings in aerospace lead to the need of having to use commercial-off-the-shelf (COTS) computing architectures. This paper provides a brief overview of issues in using COTS electronics with focus on multi-core processors (MCP) in avionics architectures, their requirements and describes what standards and processes need to be followed. The paper suggests potential support items - Certification Package - for use of multicore architectures in safety-critical avionics architectures.