Formal Methods Case Studies for DO-333

NASA Technical Reports Server (NTRS)

Cofer, Darren; Miller, Steven P.

2014-01-01

RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. The supplement identifies the modifications and additions to DO-178C and DO-278A objectives, activities, and software life cycle data that should be addressed when formal methods are used as part of the software development process. This report presents three case studies describing the use of different classes of formal methods to satisfy certification objectives for a common avionics example - a dual-channel Flight Guidance System. The three case studies illustrate the use of theorem proving, model checking, and abstract interpretation. The material presented is not intended to represent a complete certification effort. Rather, the purpose is to illustrate how formal methods can be used in a realistic avionics software development project, with a focus on the evidence produced that could be used to satisfy the verification objectives found in Section 6 of DO-178C.

SAFER CVIEW interface re-certification : description of re-certification process for CVISN stakeholders : version 1.0

DOT National Transportation Integrated Search

2008-04-23

In order to improve data quality in the SAFER system, two major software changes have been made in the recent SAFER releases. SAFER version 4.9, released in October 2005, has implemented data rules (SAFER CR 131) to support the requirements for manda...

IMCS reflight certification requirements and design specifications

NASA Technical Reports Server (NTRS)

1984-01-01

The requirements for reflight certification are established. Software requirements encompass the software programs that are resident in the PCC, DEP, PDSS, EC, or any related GSE. A design approach for the reflight software packages is recommended. These designs will be of sufficient detail to permit the implementation of reflight software. The PDSS/IMC Reflight Certification system provides the tools and mechanisms for the user to perform the reflight certification test procedures, test data capture, test data display, and test data analysis. The system as defined will be structured to permit maximum automation of reflight certification procedures and test data analysis.

Claims-Based Authentication for a Web-Based Enterprise

DTIC Science & Technology

2013-07-01

authority must use known and registered (or in specific cases defined ) certificate revocation and currency-checking software . B. Translation of...Machines and services are issued software certificates that contain the public key with the private key generated and remaining in hardware...publicly available) information. A hardware token that contains the certificate is preferred to software -only certificates. For enterprise users

Software verification plan for GCS. [guidance and control software

NASA Technical Reports Server (NTRS)

Dent, Leslie A.; Shagnea, Anita M.; Hayhurst, Kelly J.

1990-01-01

This verification plan is written as part of an experiment designed to study the fundamental characteristics of the software failure process. The experiment will be conducted using several implementations of software that were produced according to industry-standard guidelines, namely the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, Software Consideration in Airborne Systems and Equipment Certification, for the development of flight software. This plan fulfills the DO-178A requirements for providing instructions on the testing of each implementation of software. The plan details the verification activities to be performed at each phase in the development process, contains a step by step description of the testing procedures, and discusses all of the tools used throughout the verification process.

9 CFR 205.101 - Certification-request and processing.

Code of Federal Regulations, 2012 CFR

2012-01-01

... required by subsection (c)(2)(F) (details of computer hardware and software need not be furnished but the... of computer hardware and software need not be furnished but the results it will produce must be..., and requirements issued under such legislation or other legal authority and governing operation of the...

Experiments in fault tolerant software reliability

NASA Technical Reports Server (NTRS)

Mcallister, David F.; Tai, K. C.; Vouk, Mladen A.

1987-01-01

The reliability of voting was evaluated in a fault-tolerant software system for small output spaces. The effectiveness of the back-to-back testing process was investigated. Version 3.0 of the RSDIMU-ATS, a semi-automated test bed for certification testing of RSDIMU software, was prepared and distributed. Software reliability estimation methods based on non-random sampling are being studied. The investigation of existing fault-tolerance models was continued and formulation of new models was initiated.

An Empirical Evaluation of Automated Theorem Provers in Software Certification

NASA Technical Reports Server (NTRS)

Denney, Ewen; Fischer, Bernd; Schumann, Johann

2004-01-01

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, and usability. For full automation, however, the obligations must be aggressively preprocessed and simplified, and we demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATPs to solve the proof tasks. Our results are based on 13 certification experiments that lead to more than 25,000 proof tasks which have each been attempted by Vampire, Spass, e-setheo, and Otter. The proofs found by Otter have been proof-checked by IVY.

Towards Certification of a Space System Application of Fault Detection and Isolation

NASA Technical Reports Server (NTRS)

Feather, Martin S.; Markosian, Lawrence Z.

2008-01-01

Advanced fault detection, isolation and recovery (FDIR) software is being investigated at NASA as a means to the improve reliability and availability of its space systems. Certification is a critical step in the acceptance of such software. Its attainment hinges on performing the necessary verification and validation to show that the software will fulfill its requirements in the intended setting. Presented herein is our ongoing work to plan for the certification of a pilot application of advanced FDIR software in a NASA setting. We describe the application, and the key challenges and opportunities it offers for certification.

Space Shuttle Software Development and Certification

NASA Technical Reports Server (NTRS)

Orr, James K.; Henderson, Johnnie A

2000-01-01

Man-rated software, "software which is in control of systems and environments upon which human life is critically dependent," must be highly reliable. The Space Shuttle Primary Avionics Software System is an excellent example of such a software system. Lessons learn from more than 20 years of effort have identified basic elements that must be present to achieve this high degree of reliability. The elements include rigorous application of appropriate software development processes, use of trusted tools to support those processes, quantitative process management, and defect elimination and prevention. This presentation highlights methods used within the Space Shuttle project and raises questions that must be addressed to provide similar success in a cost effective manner on future long-term projects where key application development tools are COTS rather than internally developed custom application development tools

Experimental control in software reliability certification

NASA Technical Reports Server (NTRS)

Trammell, Carmen J.; Poore, Jesse H.

1994-01-01

There is growing interest in software 'certification', i.e., confirmation that software has performed satisfactorily under a defined certification protocol. Regulatory agencies, customers, and prospective reusers all want assurance that a defined product standard has been met. In other industries, products are typically certified under protocols in which random samples of the product are drawn, tests characteristic of operational use are applied, analytical or statistical inferences are made, and products meeting a standard are 'certified' as fit for use. A warranty statement is often issued upon satisfactory completion of a certification protocol. This paper outlines specific engineering practices that must be used to preserve the validity of the statistical certification testing protocol. The assumptions associated with a statistical experiment are given, and their implications for statistical testing of software are described.

Certification Considerations for Adaptive Systems

NASA Technical Reports Server (NTRS)

Bhattacharyya, Siddhartha; Cofer, Darren; Musliner, David J.; Mueller, Joseph; Engstrom, Eric

2015-01-01

Advanced capabilities planned for the next generation of aircraft, including those that will operate within the Next Generation Air Transportation System (NextGen), will necessarily include complex new algorithms and non-traditional software elements. These aircraft will likely incorporate adaptive control algorithms that will provide enhanced safety, autonomy, and robustness during adverse conditions. Unmanned aircraft will operate alongside manned aircraft in the National Airspace (NAS), with intelligent software performing the high-level decision-making functions normally performed by human pilots. Even human-piloted aircraft will necessarily include more autonomy. However, there are serious barriers to the deployment of new capabilities, especially for those based upon software including adaptive control (AC) and artificial intelligence (AI) algorithms. Current civil aviation certification processes are based on the idea that the correct behavior of a system must be completely specified and verified prior to operation. This report by Rockwell Collins and SIFT documents our comprehensive study of the state of the art in intelligent and adaptive algorithms for the civil aviation domain, categorizing the approaches used and identifying gaps and challenges associated with certification of each approach.

Towards FAA Certification of UAVs

NASA Technical Reports Server (NTRS)

Nelson, Stacy

2003-01-01

As of June 30, 2003, all Unmanned Aerial Vehicles (UAV), no matter how small, must adhere to the same FAA regulations as human-piloted aircraft. These regulations include certification for flying in controlled airspace and certification of flight software based on RTCA DO-178B. This paper provides an overview of the steps necessary to obtain certification, as well as a discussion about the challenges UAV's face when trying to meet these requirements. It is divided into two parts: 1) Certifications for Flying in Controlled Airspace; 2) Certification of Flight Software per RTCA DO-178B.

Streamlining Software Aspects of Certification: Technical Team Report on the First Industry Workshop

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J.; Holloway, C. Michael; Knight, John C.; Leveson, Nancy G.; Yang, Jeffrey C.; Dorsey, Cheryl A.; McCormick, G. Frank

1998-01-01

To address concerns about time and expense associated with software aspects of certification, the Federal Aviation Administration (FAA) began the Streamlining Software Aspects of Certification (SSAC) program. As part of this program, a Technical Team was established to determine whether the cost and time associated with certifying aircraft can be reduced while maintaining or improving safety, with the intent of impacting the FAA's Flight 2000 program. The Technical Team conducted a workshop to gain a better understanding of the major concerns in industry about software cost and schedule. Over 120 people attended the workshop, including representatives from the FAA,commercial transport and general aviation aircraft manufacturers and suppliers, and procurers and developers of non-airborne systems; and, more than 200 issues about software aspects of certification were recorded. This paper provides an overview of the SSAC program, motivation for the workshop, details of the workshop activities and outcomes, and recommendations for follow-on work.

15 CFR 995.27 - Format validation software testing.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 15 Commerce and Foreign Trade 3 2010-01-01 2010-01-01 false Format validation software testing... CERTIFICATION REQUIREMENTS FOR NOAA HYDROGRAPHIC PRODUCTS AND SERVICES CERTIFICATION REQUIREMENTS FOR... of NOAA ENC Products § 995.27 Format validation software testing. Tests shall be performed verifying...

Certification of highly complex safety-related systems.

PubMed

Reinert, D; Schaefer, M

1999-01-01

The BIA has now 15 years of experience with the certification of complex electronic systems for safety-related applications in the machinery sector. Using the example of machining centres this presentation will show the systematic procedure for verifying and validating control systems using Application Specific Integrated Circuits (ASICs) and microcomputers for safety functions. One section will describe the control structure of machining centres with control systems using "integrated safety." A diverse redundant architecture combined with crossmonitoring and forced dynamization is explained. In the main section the steps of the systematic certification procedure are explained showing some results of the certification of drilling machines. Specification reviews, design reviews with test case specification, statistical analysis, and walk-throughs are the analytical measures in the testing process. Systematic tests based on the test case specification, Electro Magnetic Interference (EMI), and environmental testing, and site acceptance tests on the machines are the testing measures for validation. A complex software driven system is always undergoing modification. Most of the changes are not safety-relevant but this has to be proven. A systematic procedure for certifying software modifications is presented in the last section of the paper.

The Dangers of Failure Masking in Fault-Tolerant Software: Aspects of a Recent In-Flight Upset Event

NASA Technical Reports Server (NTRS)

Johnson, C. W.; Holloway, C. M.

2007-01-01

On 1 August 2005, a Boeing Company 777-200 aircraft, operating on an international passenger flight from Australia to Malaysia, was involved in a significant upset event while flying on autopilot. The Australian Transport Safety Bureau's investigation into the event discovered that an anomaly existed in the component software hierarchy that allowed inputs from a known faulty accelerometer to be processed by the air data inertial reference unit (ADIRU) and used by the primary flight computer, autopilot and other aircraft systems. This anomaly had existed in original ADIRU software, and had not been detected in the testing and certification process for the unit. This paper describes the software aspects of the incident in detail, and suggests possible implications concerning complex, safety-critical, fault-tolerant software.

GCS programmer's manual

NASA Technical Reports Server (NTRS)

Lowman, Douglas S.; Withers, B. Edward; Shagnea, Anita M.; Dent, Leslie A.; Hayhurst, Kelly J.

1990-01-01

A variety of instructions to be used in the development of implementations of software for the Guidance and Control Software (GCS) project is described. This document fulfills the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, 'Software Considerations in Airborne Systems and Equipment Certification' requirements for document No. 4, which specifies the information necessary for understanding and programming the host computer, and document No. 12, which specifies the software design and implementation standards that are applicable to the software development and testing process. Information on the following subjects is contained: activity recording, communication protocol, coding standards, change management, error handling, design standards, problem reporting, module testing logs, documentation formats, accuracy requirements, and programmer responsibilities.

Certification of COTS Software in NASA Human Rated Flight Systems

NASA Technical Reports Server (NTRS)

Goforth, Andre

2012-01-01

Adoption of commercial off-the-shelf (COTS) products in safety critical systems has been seen as a promising acquisition strategy to improve mission affordability and, yet, has come with significant barriers and challenges. Attempts to integrate COTS software components into NASA human rated flight systems have been, for the most part, complicated by verification and validation (V&V) requirements necessary for flight certification per NASA s own standards. For software that is from COTS sources, and, in general from 3rd party sources, either commercial, government, modified or open source, the expectation is that it meets the same certification criteria as those used for in-house and that it does so as if it were built in-house. The latter is a critical and hidden issue. This paper examines the longstanding barriers and challenges in the use of 3rd party software in safety critical systems and cover recent efforts to use COTS software in NASA s Multi-Purpose Crew Vehicle (MPCV) project. It identifies some core artifacts that without them, the use of COTS and 3rd party software is, for all practical purposes, a nonstarter for affordable and timely insertion into flight critical systems. The paper covers the first use in a flight critical system by NASA of COTS software that has prior FAA certification heritage, which was shown to meet the RTCA-DO-178B standard, and how this certification may, in some cases, be leveraged to allow the use of analysis in lieu of testing. Finally, the paper proposes the establishment of an open source forum for development of safety critical 3rd party software.

Case Study: Test Results of a Tool and Method for In-Flight, Adaptive Control System Verification on a NASA F-15 Flight Research Aircraft

NASA Technical Reports Server (NTRS)

Jacklin, Stephen A.; Schumann, Johann; Guenther, Kurt; Bosworth, John

2006-01-01

Adaptive control technologies that incorporate learning algorithms have been proposed to enable autonomous flight control and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments [1-2]. At the present time, however, it is unknown how adaptive algorithms can be routinely verified, validated, and certified for use in safety-critical applications. Rigorous methods for adaptive software verification end validation must be developed to ensure that. the control software functions as required and is highly safe and reliable. A large gap appears to exist between the point at which control system designers feel the verification process is complete, and when FAA certification officials agree it is complete. Certification of adaptive flight control software verification is complicated by the use of learning algorithms (e.g., neural networks) and degrees of system non-determinism. Of course, analytical efforts must be made in the verification process to place guarantees on learning algorithm stability, rate of convergence, and convergence accuracy. However, to satisfy FAA certification requirements, it must be demonstrated that the adaptive flight control system is also able to fail and still allow the aircraft to be flown safely or to land, while at the same time providing a means of crew notification of the (impending) failure. It was for this purpose that the NASA Ames Confidence Tool was developed [3]. This paper presents the Confidence Tool as a means of providing in-flight software assurance monitoring of an adaptive flight control system. The paper will present the data obtained from flight testing the tool on a specially modified F-15 aircraft designed to simulate loss of flight control faces.

Certification of Safety-Critical Software Under DO-178C and DO-278A

NASA Technical Reports Server (NTRS)

Jacklin, Stephen A.

2012-01-01

The RTCA has recently released DO-178C and DO-278A as new certification guidance for the production of airborne and ground-based air traffic management software, respectively. Additionally, RTCA special committee SC-205 has also produced, at the same time, five other companion documents. These documents are RTCA DO-248C, DO-330, DO-331, DO- 332, and DO-333. These supplements address frequently asked questions about software certification, provide guidance on tool qualification requirements, and illustrate the modifications recommended to DO-178C when using model-based software design, object oriented programming, and formal methods. The objective of this paper is to first explain the relationship of DO-178C to the former DO-178B in order to give those familiar with DO- 178B an indication of what has been changed and what has not been changed. With this background, the relationship of DO-178C and DO-278 to the new DO-278A document for ground-based software development is shown. Last, an overview of the new guidance contained in the tool qualification document and the three new supplements to DO-178C and DO-278A is presented. For those unfamiliar with DO-178B, this paper serves to provide an entry point to this new certification guidance for airborne and ground-based CNS/ATM software certification.

Application of industry-standard guidelines for the validation of avionics software

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J.; Shagnea, Anita M.

1990-01-01

The application of industry standards to the development of avionics software is discussed, focusing on verification and validation activities. It is pointed out that the procedures that guide the avionics software development and testing process are under increased scrutiny. The DO-178A guidelines, Software Considerations in Airborne Systems and Equipment Certification, are used by the FAA for certifying avionics software. To investigate the effectiveness of the DO-178A guidelines for improving the quality of avionics software, guidance and control software (GCS) is being developed according to the DO-178A development method. It is noted that, due to the extent of the data collection and configuration management procedures, any phase in the life cycle of a GCS implementation can be reconstructed. Hence, a fundamental development and testing platform has been established that is suitable for investigating the adequacy of various software development processes. In particular, the overall effectiveness and efficiency of the development method recommended by the DO-178A guidelines are being closely examined.

MNE Scan: Software for real-time processing of electrophysiological data.

PubMed

Esch, Lorenz; Sun, Limin; Klüber, Viktor; Lew, Seok; Baumgarten, Daniel; Grant, P Ellen; Okada, Yoshio; Haueisen, Jens; Hämäläinen, Matti S; Dinh, Christoph

2018-06-01

Magnetoencephalography (MEG) and Electroencephalography (EEG) are noninvasive techniques to study the electrophysiological activity of the human brain. Thus, they are well suited for real-time monitoring and analysis of neuronal activity. Real-time MEG/EEG data processing allows adjustment of the stimuli to the subject's responses for optimizing the acquired information especially by providing dynamically changing displays to enable neurofeedback. We introduce MNE Scan, an acquisition and real-time analysis software based on the multipurpose software library MNE-CPP. MNE Scan allows the development and application of acquisition and novel real-time processing methods in both research and clinical studies. The MNE Scan development follows a strict software engineering process to enable approvals required for clinical software. We tested the performance of MNE Scan in several device-independent use cases, including, a clinical epilepsy study, real-time source estimation, and Brain Computer Interface (BCI) application. Compared to existing tools we propose a modular software considering clinical software requirements expected by certification authorities. At the same time the software is extendable and freely accessible. We conclude that MNE Scan is the first step in creating a device-independent open-source software to facilitate the transition from basic neuroscience research to both applied sciences and clinical applications. Copyright © 2018 Elsevier B.V. All rights reserved.

Human factors certification in the development of future air traffic control systems

NASA Technical Reports Server (NTRS)

Evans, Alyson E.

1994-01-01

If human factors certification of aviation technologies aims to encompass the wide range of issues which need to be addressed for any new system, then human factors involvement must be present throughout the whole design process in a manner which relates to final certification. A certification process cannot simply be applied to the final product of design. Standards and guidelines will be required by designers at the outset of design for reference in preparing for certification. The most effective use of human factors principles, methods, and measures is made as part of an iterative design process, leading to a system which reflects these as far as possible. This particularly applies where the technology is complex and may be represented by a number of components or sub-systems. Some aspects of the system are best certified during early prototyping, when there is still scope to make changes to software or hardware. At this stage in design, financial and/or time pressures will not rule out the possibility of necessary changes, as may be the case later. Other aspects of the system will be best certified during the final phases of design when the system is in a more complete form and in a realistic environment.

The Legacy of Space Shuttle Flight Software

NASA Technical Reports Server (NTRS)

Hickey, Christopher J.; Loveall, James B.; Orr, James K.; Klausman, Andrew L.

2011-01-01

The initial goals of the Space Shuttle Program required that the avionics and software systems blaze new trails in advancing avionics system technology. Many of the requirements placed on avionics and software were accomplished for the first time on this program. Examples include comprehensive digital fly-by-wire technology, use of a digital databus for flight critical functions, fail operational/fail safe requirements, complex automated redundancy management, and the use of a high-order software language for flight software development. In order to meet the operational and safety goals of the program, the Space Shuttle software had to be extremely high quality, reliable, robust, reconfigurable and maintainable. To achieve this, the software development team evolved a software process focused on continuous process improvement and defect elimination that consistently produced highly predictable and top quality results, providing software managers the confidence needed to sign each Certificate of Flight Readiness (COFR). This process, which has been appraised at Capability Maturity Model (CMM)/Capability Maturity Model Integration (CMMI) Level 5, has resulted in one of the lowest software defect rates in the industry. This paper will present an overview of the evolution of the Primary Avionics Software System (PASS) project and processes over thirty years, an argument for strong statistical control of software processes with examples, an overview of the success story for identifying and driving out errors before flight, a case study of the few significant software issues and how they were either identified before flight or slipped through the process onto a flight vehicle, and identification of the valuable lessons learned over the life of the project.

Human-rated Safety Certification of a High Voltage Robonaut Lithium-ion Battery

NASA Technical Reports Server (NTRS)

Jeevarajan, Judith; Yayathi, S.; Johnson, M.; Waligora, T.; Verdeyen, W.

2013-01-01

NASA's rigorous certification process is being followed for the R2 high voltage battery program for use of R2 on International Space Station (ISS). Rigorous development testing at appropriate levels to credible off-nominal conditions and review of test data led to design improvements for safety at the virtual cell, cartridge and battery levels. Tests were carried out at all levels to confirm that both hardware and software controls work. Stringent flight acceptance testing of the flight battery will be completed before launch for mission use on ISS.

IT Certification: What It Is and Where It's Headed.

ERIC Educational Resources Information Center

Dean, Harvey

2001-01-01

Suggests that certification can help ensure a solid future for information technology (IT). Describes IT certification as the attainment of expertise in a particular field of information technology such as computer hardware and software. Looks at certification offered by Novel, Microsoft, and Cisco. (JOW)

CrossTalk. The Journal of Defense Software Engineering. Volume 25, Number 1, Jan/Feb 2012

DTIC Science & Technology

2012-01-01

Considerations in Airborne Systems and Equipment Certification – RTCA/DO-178B,” Washington, D.C., 1992. 5. Ishikawa , Kaoru (Translator: J. H...significant, repeated issue, a formal root cause analysis process is performed. This method uses fishbone or Ishikawa diagrams [5], where possible

Using certification trails to achieve software fault tolerance

NASA Technical Reports Server (NTRS)

Sullivan, Gregory F.; Masson, Gerald M.

1993-01-01

A conceptually novel and powerful technique to achieve fault tolerance in hardware and software systems is introduced. When used for software fault tolerance, this new technique uses time and software redundancy and can be outlined as follows. In the initial phase, a program is run to solve a problem and store the result. In addition, this program leaves behind a trail of data called a certification trail. In the second phase, another program is run which solves the original problem again. This program, however, has access to the certification trail left by the first program. Because of the availability of the certification trail, the second phase can be performed by a less complex program and can execute more quickly. In the final phase, the two results are accepted as correct; otherwise an error is indicated. An essential aspect of this approach is that the second program must always generate either an error indication or a correct output even when the certification trail it receives from the first program is incorrect. The certification trail approach to fault tolerance was formalized and it was illustrated by applying it to the fundamental problem of finding a minimum spanning tree. Cases in which the second phase can be run concorrectly with the first and act as a monitor are discussed. The certification trail approach was compared to other approaches to fault tolerance. Because of space limitations we have omitted examples of our technique applied to the Huffman tree, and convex hull problems. These can be found in the full version of this paper.

A Generic Software Safety Document Generator

NASA Technical Reports Server (NTRS)

Denney, Ewen; Venkatesan, Ram Prasad

2004-01-01

Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in principle, can be subjected to external scrutiny. In practice, however, proofs themselves are unlikely to be of much interest to engineers. Nevertheless, it is possible to use the information obtained from a mathematical analysis of software to produce a detailed textual justification of correctness. In this paper, we describe an approach to generating textual explanations from automatically generated proofs of program safety, where the proofs are of compliance with an explicit safety policy that can be varied. Key to this is tracing proof obligations back to the program, and we describe a tool which implements this to certify code auto-generated by AutoBayes and AutoFilter, program synthesis systems under development at the NASA Ames Research Center. Our approach is a step towards combining formal certification with traditional certification methods.

Army Communicator. Volume 37, Number 2, Summer 2012

DTIC Science & Technology

2012-01-01

solution will have to meet four criteria: FIPS 140-2 validated crypto; approved data-at-rest; Common Access Card enablement; and, enterprise management...Information Grid. Common Access Cards , Federal Information Processing Standard 140-2 certifications, and software compliance are just a few of the...and Evaluation Command BMC – Brigade Modernization Command CAC – Common Access Card FIPS – Federal Information Processing Standard GIG – Global

Knowledge management in the engineering design environment

NASA Technical Reports Server (NTRS)

Briggs, Hugh C.

2006-01-01

The Aerospace and Defense industry is experiencing an increasing loss of knowledge through workforce reductions associated with business consolidation and retirement of senior personnel. Significant effort is being placed on process definition as part of ISO certification and, more recently, CMMI certification. The process knowledge in these efforts represents the simplest of engineering knowledge and many organizations are trying to get senior engineers to write more significant guidelines, best practices and design manuals. A new generation of design software, known as Product Lifecycle Management systems, has many mechanisms for capturing and deploying a wider variety of engineering knowledge than simple process definitions. These hold the promise of significant improvements through reuse of prior designs, codification of practices in workflows, and placement of detailed how-tos at the point of application.

CrossTalk: The Journal of Defense Software Engineering. Volume 25, Number 1, January/February 2012

DTIC Science & Technology

2012-02-01

Equipment Certification – RTCA/DO-178B,” Washington, D.C., 1992. 5. Ishikawa , Kaoru (Translator: J. H. Loftus), Introduction to Quality Control, Tokyo...cause analysis process is performed. This method uses fishbone or Ishikawa diagrams [5], where possible causes for the outliers are listed, followed by

Certification of computational results

NASA Technical Reports Server (NTRS)

Sullivan, Gregory F.; Wilson, Dwight S.; Masson, Gerald M.

1993-01-01

A conceptually novel and powerful technique to achieve fault detection and fault tolerance in hardware and software systems is described. When used for software fault detection, this new technique uses time and software redundancy and can be outlined as follows. In the initial phase, a program is run to solve a problem and store the result. In addition, this program leaves behind a trail of data called a certification trail. In the second phase, another program is run which solves the original problem again. This program, however, has access to the certification trail left by the first program. Because of the availability of the certification trail, the second phase can be performed by a less complex program and can execute more quickly. In the final phase, the two results are compared and if they agree the results are accepted as correct; otherwise an error is indicated. An essential aspect of this approach is that the second program must always generate either an error indication or a correct output even when the certification trail it receives from the first program is incorrect. The certification trail approach to fault tolerance is formalized and realizations of it are illustrated by considering algorithms for the following problems: convex hull, sorting, and shortest path. Cases in which the second phase can be run concurrently with the first and act as a monitor are discussed. The certification trail approach are compared to other approaches to fault tolerance.

Planning and tracking chemotherapy production for cancer treatment: a performing and integrated solution.

PubMed

Kergosien, Y; Tournamille, J-F; Laurence, B; Billaut, J-C

2011-09-01

Chemotherapy drugs are intended for the treatment of cancer. The production of such drugs and their administration to the patient is a delicate and expensive operation. The study deals with the acquisition and processing of data regarding the production of intravenous chemotherapy, from the production request (the medical prescription), the production itself (pharmaceutical process), to the delivery in the health care unit, for the administration of the chemotherapy. The goal of this study is to develop a system that can schedule, control and track the chemotherapy preparations and satisfy a certification process of quality management ("ISO 9001 version 2000" standard). The solution proposed in this paper was developed within the framework of a common certification process at the Biopharmaceutical Unit of the Oncology Clinic (UBCO) of the Bretonneau hospital in Tours (France). The system consists of two software programs: a software to insure traceability and a decision making software to plan the production. To simplify the data entry process, some mobile entry points with bar code reader have been deployed. These tools enable an accurate tracking of the production, a security and control for the schedule production phases, and a full traceability of each operation leading to the administration of the chemotherapy drug. The first result is a software that creates the production schedule, allows a real time control of the production process and a full traceability of each step. Computational experiments are based on real data sets, with a comparison of a time period before and after the implementation of this solution. The results show the positive impacts of this software, like the reduction of delayed deliveries, real time generation of production indicators, optimization of the production and a saving of staff time. This intuitive system guarantees a traceability in connection with a high quality system certified ISO 9001-v2000 (with a rapid data entry), an assistant to schedule the production of preparations in a better way, a permanent follow-up and analysis of operations. This project proves the benefits of implementing computer solutions for the traceability and assistance in decision making in the hospital systems. Copyright © 2011 Elsevier Ireland Ltd. All rights reserved.

[Death certificate data in France: Production process and main types of analyses].

PubMed

Rey, G

2016-10-01

Mortality data, by the unambiguity of their definition and understanding by all stakeholders, and completeness of registration, are a cornerstone of public health statistics in France and in most industrialized countries. This article describes the data production process, and the main types of possible analyses. Data production is composed of different stages: death certification by a medical doctor on paper or electronic (using a web application) format, data transmission to Inserm, capture and coding of information. The encoding of the information follows the WHO recommendations of the International Classification of Diseases ([ICD], 10th revision used since 2000). It is carried out using an automatic coding software, called Iris, developed in an international consortium. The coding aims, first, at assigning an ICD code to all nosologic entities encountered on the certificate, and then at selecting the underlying cause of death. The latter is the main information used for statistical analyses. Three main types of analysis emerge in the literature: the exploitation of data on the death certificate only, ecological analyses (studies of associations between variables measured across groups) and analysis from data individually linked to other databases. Many public health issues can be addressed with these various analyses. Several developments in the production process are being implemented: the deployment of electronic certification, increased automation of the death certificate information processing and durable and complete record linkage with health insurance and hospitalisation data. They could soon be deeply expanding the scope of possible uses of causes of death data. Copyright © 2016 Société Nationale Française de Médecine Interne (SNFMI). Published by Elsevier SAS. All rights reserved.

Certification of production-quality gLite Job Management components

NASA Astrophysics Data System (ADS)

Andreetto, P.; Bertocco, S.; Capannini, F.; Cecchi, M.; Dorigo, A.; Frizziero, E.; Giacomini, F.; Gianelle, A.; Mezzadri, M.; Molinari, E.; Monforte, S.; Prelz, F.; Rebatto, D.; Sgaravatto, M.; Zangrando, L.

2011-12-01

With the advent of the recent European Union (EU) funded projects aimed at achieving an open, coordinated and proactive collaboration among the European communities that provide distributed computing services, more strict requirements and quality standards will be asked to middleware providers. Such a highly competitive and dynamic environment, organized to comply a business-oriented model, has already started pursuing quality criteria, thus requiring to formally define rigorous procedures, interfaces and roles for each step of the software life-cycle. This will ensure quality-certified releases and updates of the Grid middleware. In the European Middleware Initiative (EMI), the release management for one or more components will be organized into Product Team (PT) units, fully responsible for delivering production ready, quality-certified software and for coordinating each other to contribute to the EMI release as a whole. This paper presents the certification process, with respect to integration, installation, configuration and testing, adopted at INFN by the Product Team responsible for the gLite Web-Service based Computing Element (CREAM CE) and for the Workload Management System (WMS). The used resources, the testbeds layout, the integration and deployment methods, the certification steps to provide feedback to developers and to grant quality results are described.

75 FR 64737 - Automated Commercial Environment (ACE): Announcement of a National Customs Automation Program...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-10-20

... Commissioner of CBP with authority to conduct limited test programs or procedures designed to evaluate planned.... Specifically, CBP is looking for test participants to include: 2-3 Ocean Carriers. At least one must be filing... their software ready to test with CBP once CBP begins the certification process. CBP will post the...

Using ISO 25040 standard for evaluating electronic health record systems.

PubMed

Oliveira, Marília; Novaes, Magdala; Vasconcelos, Alexandre

2013-01-01

Quality of electronic health record systems (EHR-S) is one of the key points in the discussion about the safe use of this kind of system. It stimulates creation of technical standards and certifications in order to establish the minimum requirements expected for these systems. [1] In other side, EHR-S suppliers need to invest in evaluation of their products to provide systems according to these requirements. This work presents a proposal of use ISO 25040 standard, which focuses on the evaluation of software products, for define a model of evaluation of EHR-S in relation to Brazilian Certification for Electronic Health Record Systems - SBIS-CFM Certification. Proposal instantiates the process described in ISO 25040 standard using the set of requirements that is scope of the Brazilian certification. As first results, this research has produced an evaluation model and a scale for classify an EHR-S about its compliance level in relation to certification. This work in progress is part for the acquisition of the degree of master in Computer Science at the Federal University of Pernambuco.

Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications

NASA Technical Reports Server (NTRS)

Jacklin, Stephen; Schumann, Johann; Gupta, Pramod; Richard, Michael; Guenther, Kurt; Soares, Fola

2005-01-01

Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highly safe and reliable. Rigorous methods for adaptive software verification and validation must be developed to ensure that control system software failures will not occur. Of central importance in this regard is the need to establish reliable methods that guarantee convergent learning, rapid convergence (learning) rate, and algorithm stability. This paper presents the major problems of adaptive control systems that use learning to improve performance. The paper then presents the major procedures and tools presently developed or currently being developed to enable the verification, validation, and ultimate certification of these adaptive control systems. These technologies include the application of automated program analysis methods, techniques to improve the learning process, analytical methods to verify stability, methods to automatically synthesize code, simulation and test methods, and tools to provide on-line software assurance.

Verification and Validation of Neural Networks for Aerospace Systems

NASA Technical Reports Server (NTRS)

Mackall, Dale; Nelson, Stacy; Schumman, Johann; Clancy, Daniel (Technical Monitor)

2002-01-01

The Dryden Flight Research Center V&V working group and NASA Ames Research Center Automated Software Engineering (ASE) group collaborated to prepare this report. The purpose is to describe V&V processes and methods for certification of neural networks for aerospace applications, particularly adaptive flight control systems like Intelligent Flight Control Systems (IFCS) that use neural networks. This report is divided into the following two sections: 1) Overview of Adaptive Systems; and 2) V&V Processes/Methods.

Verification and Validation of Neural Networks for Aerospace Systems

NASA Technical Reports Server (NTRS)

Mackall, Dale; Nelson, Stacy; Schumann, Johann

2002-01-01

The Dryden Flight Research Center V&V working group and NASA Ames Research Center Automated Software Engineering (ASE) group collaborated to prepare this report. The purpose is to describe V&V processes and methods for certification of neural networks for aerospace applications, particularly adaptive flight control systems like Intelligent Flight Control Systems (IFCS) that use neural networks. This report is divided into the following two sections: Overview of Adaptive Systems and V&V Processes/Methods.

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

NASA Technical Reports Server (NTRS)

Denney, Ewen; Fischer, Bernd; Schumann, Johann

2004-01-01

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

A Practical Tutorial on Modified Condition/Decision Coverage

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J.; Veerhusen, Dan S.; Chilenski, John J.; Rierson, Leanna K.

2001-01-01

This tutorial provides a practical approach to assessing modified condition/decision coverage (MC/DC) for aviation software products that must comply with regulatory guidance for DO-178B level A software. The tutorial's approach to MC/DC is a 5-step process that allows a certification authority or verification analyst to evaluate MC/DC claims without the aid of a coverage tool. In addition to the MC/DC approach, the tutorial addresses factors to consider in selecting and qualifying a structural coverage analysis tool, tips for reviewing life cycle data related to MC/DC, and pitfalls common to structural coverage analysis.

A data model for clinical legal medicine practice and the development of a dedicated software for both practitioners and researchers.

PubMed

Dang, Catherine; Phuong, Thomas; Beddag, Mahmoud; Vega, Anabel; Denis, Céline

2018-07-01

To present a data model for clinical legal medicine and the software based on that data model for both practitioners and researchers. The main functionalities of the presented software are computer-assisted production of medical certificates and data capture, storage and retrieval. The data model and the software were jointly developed by the department of forensic medicine of the Jean Verdier Hospital (Bondy, France) and an bioinformatics laboratory (LIMICS, Paris universities 6-13) between November 2015 and May 2016. The data model was built based on four sources: i) a template used in our department for producing standardised medical certificates; ii) a random sample of medical certificates produced by the forensic department; iii) anterior consensus between four healthcare professionals (two forensic practitioners, a psychologist and a forensic psychiatrist) and iv) anatomical dictionaries. The trial version of the open source software was first designed for examination of physical assault survivors. An UML-like data model dedicated to clinical legal practice was built. The data model describes the terminology for examinations of sexual assault survivors, physical assault survivors, individuals kept in police custody and undocumented migrants for age estimation. A trial version of a software relying on the data model was developed and tested by three physicians. The software allows files archiving, standardised data collection, extraction and assistance for certificate generation. It can be used for research purpose, by data exchange and analysis. Despite some current limitations of use, it is a tool which can be shared and used by other departments of forensic medicine and other specialties, improving data management and exploitation. Full integration with external sources, analytics software and use of a semantic interoperability framework are planned for the next months. Copyright © 2016 Elsevier Ltd and Faculty of Forensic and Legal Medicine. All rights reserved.

Industry Supplied CAD Curriculum: Case Study on Passing Certification Exams

ERIC Educational Resources Information Center

Webster, Rustin; Dues, Joseph; Ottway, Rudy

2017-01-01

Students who successfully pass professional certification exams while in school are often targeted first by industry for internships and entry level positions. Over the last decade, leading industry suppliers of computer-aided design (CAD) software have developed and launched certification exams for many of their product offerings. Some have also…

Reflight certification software design specifications

NASA Technical Reports Server (NTRS)

1984-01-01

The PDSS/IMC Software Design Specification for the Payload Development Support System (PDSS)/Image Motion Compensator (IMC) is contained. The PDSS/IMC is to be used for checkout and verification of the IMC flight hardware and software by NASA/MSFC.

Software simulators for the evaluation of socio-personal competence for certification of qualifications of university graduates

NASA Astrophysics Data System (ADS)

Guseva, A. I.; Kireev, V. S.; Silenko, A. N.; Tikhomirov, G. V.; Sheina, E. A.

2017-01-01

This article discusses the issues associated with the use of software simulators for the evaluation of competences for certification of qualifications of employees of the nuclear industry. This study was conducted for the expert and methodical center of assessment and certification of qualifications of specialists in the nuclear industry, based on the National nuclear innovation consortium. The goal of this study is to build a model for assessing the socio-personal competence and its realization in the form of a software simulator. The study was conducted among a large number of senior students MEPhI - future managers, IT professionals, and nuclear physicists. As a result of the survey five classes of students have been allocated differently performing case studies, and for and for different areas of training recommendations on the use of various educational technologies have been made.

ACES: Space shuttle flight software analysis expert system

NASA Technical Reports Server (NTRS)

Satterwhite, R. Scott

1990-01-01

The Analysis Criteria Evaluation System (ACES) is a knowledge based expert system that automates the final certification of the Space Shuttle onboard flight software. Guidance, navigation and control of the Space Shuttle through all its flight phases are accomplished by a complex onboard flight software system. This software is reconfigured for each flight to allow thousands of mission-specific parameters to be introduced and must therefore be thoroughly certified prior to each flight. This certification is performed in ground simulations by executing the software in the flight computers. Flight trajectories from liftoff to landing, including abort scenarios, are simulated and the results are stored for analysis. The current methodology of performing this analysis is repetitive and requires many man-hours. The ultimate goals of ACES are to capture the knowledge of the current experts and improve the quality and reduce the manpower required to certify the Space Shuttle onboard flight software.

47 CFR 2.1043 - Changes in certificated equipment.

Code of Federal Regulations, 2010 CFR

2010-10-01

... permissive change includes modifications to the software of a software defined radio transmitter that change... compliance with the other provisions of this section. Changes to the software installed in a transmitter that... complies with the applicable rules with the new software loaded, including compliance with the applicable...

47 CFR 2.1043 - Changes in certificated equipment.

Code of Federal Regulations, 2013 CFR

2013-10-01

... permissive change includes modifications to the software of a software defined radio transmitter that change... compliance with the other provisions of this section. Changes to the software installed in a transmitter that... complies with the applicable rules with the new software loaded, including compliance with the applicable...

47 CFR 2.1043 - Changes in certificated equipment.

Code of Federal Regulations, 2011 CFR

2011-10-01

... permissive change includes modifications to the software of a software defined radio transmitter that change... compliance with the other provisions of this section. Changes to the software installed in a transmitter that... complies with the applicable rules with the new software loaded, including compliance with the applicable...

47 CFR 2.1043 - Changes in certificated equipment.

Code of Federal Regulations, 2012 CFR

2012-10-01

... permissive change includes modifications to the software of a software defined radio transmitter that change... compliance with the other provisions of this section. Changes to the software installed in a transmitter that... complies with the applicable rules with the new software loaded, including compliance with the applicable...

47 CFR 2.1043 - Changes in certificated equipment.

Code of Federal Regulations, 2014 CFR

2014-10-01

... permissive change includes modifications to the software of a software defined radio transmitter that change... compliance with the other provisions of this section. Changes to the software installed in a transmitter that... complies with the applicable rules with the new software loaded, including compliance with the applicable...

Embedding X.509 Digital Certificates in Three-Dimensional Models for Authentication, Authorization, and Traceability of Product Data.

PubMed

Hedberg, Thomas D; Krima, Sylvere; Camelio, Jaime A

2017-03-01

Exchange and reuse of three-dimensional (3D)-product models are hampered by the absence of trust in product-lifecycle-data quality. The root cause of the missing trust is years of "silo" functions (e.g., engineering, manufacturing, quality assurance) using independent and disconnected processes. Those disconnected processes result in data exchanges that do not contain all of the required information for each downstream lifecycle process, which inhibits the reuse of product data and results in duplicate data. The X.509 standard, maintained by the Telecommunication Standardization Sector of the International Telecommunication Union (ITU-T), was first issued in 1988. Although originally intended as the authentication framework for the X.500 series for electronic directory services, the X.509 framework is used in a wide range of implementations outside the originally intended paradigm. These implementations range from encrypting websites to software-code signing, yet X.509 certificate use has not widely penetrated engineering and product realms. Our approach is not trying to provide security mechanisms, but equally as important, our method aims to provide insight into what is happening with product data to support trusting the data. This paper provides a review of the use of X.509 certificates and proposes a solution for embedding X.509 digital certificates in 3D models for authentication, authorization, and traceability of product data. This paper also describes an application within the Aerospace domain. Finally, the paper draws conclusions and provides recommendations for further research into using X.509 certificates in product lifecycle management (PLM) workflows to enable a product lifecycle of trust.

Implications of Aggregated DoD Information Systems for Information Assurance Certification and Accreditation

DTIC Science & Technology

2010-01-01

offshoring, or producing major software components overseas (Defense Science Board, 2009). These trends raise concerns about the level of trust that...7 Software Complexity...7 Increasing Software Vulnerabilities and Malware Population . . . . . . . . . . . . . . . . 9 Limitations of

75 FR 65706 - Fifteenth Plenary Meeting, RTCA Special Committee 205/EUROCAE WG 71: Software Considerations in...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-10-26

..., Software Considerations in Airborne Systems and Equipment Certification ED-94B/DO-248B, Final Annual Report for Clarification of ED-94B/DO-178B ``Software Considerations In Airborne Systems And Equipment...

Modular Certification

NASA Technical Reports Server (NTRS)

Rushby, John; Miner, Paul S. (Technical Monitor)

2002-01-01

Airplanes are certified as a whole: there is no established basis for separately certifying some components, particularly software-intensive ones, independently of their specific application in a given airplane. The absence of separate certification inhibits the development of modular components that could be largely "precertified" and used in several different contexts within a single airplane, or across many different airplanes. In this report, we examine the issues in modular certification of software components and propose an approach based on assume-guarantee reasoning. We extend the method from verification to certification by considering behavior in the presence of failures. This exposes the need for partitioning, and separation of assumptions and guarantees into normal and abnormal cases. We then identify three classes of property that must be verified within this framework: safe function, true guarantees, and controlled failure. We identify a particular assume-guarantee proof rule (due to McMillan) that is appropriate to the applications considered, and formally verify its soundness in PVS.

World Record Earned Value Management System Certification for Cleanup of the East Tennessee Technology Park, Oak Ridge, Tennessee, USA - 13181

DOE Office of Scientific and Technical Information (OSTI.GOV)

Haynes, Ray; Hirschy, Anita

On projects that require Earned Value Management (EVMS) Certification, it is critical to quickly prepare for and then successfully obtain certification. This is especially true for government contracts. Projects that do poorly during the review are subject to financial penalties to their company and they lose creditability with their customer creating problems with the project at the outset. At East Tennessee Technology Park (ETTP), we began preparing for Department of Energy (DOE) certification early during proposal development. Once the contract was awarded, while still in transition phase from the previous contractor to our new company, we immediately began reviewing themore » project controls systems that were in place on the project and determined if any replacements needed to be made immediately. The ETTP contract required the scheduling software to be upgraded to Primavera P6 and we determined that no other software changes would be done prior to certification. Next, preparation of the Project Controls System Description (PCSD) and associated procedures began using corporate standards as related to the project controls systems. During the transition phase, development was started on the Performance Measurement Baseline which is the resource loaded schedule used to measure our performance on the project and which is critical to good Earned Value Management of the project. Early on, and throughout the baseline review, there was positive feedback from the Department of Energy that the quality of the new baseline was good. Having this superior baseline also contributed to our success in EVMS certification. The combined companies of URS and CH2M Hill had recent experience with certifications at other Department of Energy sites and we were able to capitalize on that knowledge and experience. Generic PCSD and procedures consistent with our co-operations approach to Earned Value Management were available to us and were easily tailorable to the specifics of our contract and site. We also had corporate EVMS experts available to us so as to draw upon their recent certification experiences with lessons learned. This knowledge was especially helpful for training of personnel that were involved in the certification which included Project Controls, Project Management and Control Account Managers. We were also able to bring in these corporate experts to assist with our training efforts. To assure our readiness for the review, we conducted a 'White Hat' review. The 'White Hat' team consisted of corporate experts in EVMS along with an industry expert in EVMS from Humphrey and Associates. This review identified early any weaknesses that we had so corrections could be enacted prior to the EVMS Certification Readiness Review. It also helped give the evaluators confidence that we had done proper due diligence prior to their arrival. Also critical to our success, was early communication with our evaluators. It is important to start the communications early to ensure you understand the expectations of the certification team and the process that will be used during the certification. Communication through the entire process is critical to understand expectations and issues along the way. Very important to the overall process was management commitment, support and reinforcement. Management made sure that all personnel involved knew the importance and made preparations a priority. This was noted as a key strength by the evaluators during the out-brief. As a result of our preparation, our review yielded one Corrective Action Report (CAR) and two Continuous Improvement Opportunities (CIOs). The Certification team in their out-brief explained that this was the lowest number of CARs and CIOs in the history of EVMS certifications in the DOE Complex. (authors)« less

15 CFR Supplement No. 1 to Part 730 - Information Collection Requirements Under the Paperwork Reduction Act: OMB Control Numbers

Code of Federal Regulations, 2011 CFR

2011-01-01

... Triangular Transactions Involving Commodities Covered by a U.S. Import Certificate § 748.10(e). 0694-0012... Delivery Verification Certificate §§ 748.13 and 762.2(b). 0694-0017 International Import Certificate § 748... Assurance Requirement of License Exception TSR (Technology and Software Under Restriction) §§ 740.3(d) and...

Embedding X.509 Digital Certificates in Three-Dimensional Models for Authentication, Authorization, and Traceability of Product Data

PubMed Central

Hedberg, Thomas D.; Krima, Sylvere; Camelio, Jaime A.

2016-01-01

Exchange and reuse of three-dimensional (3D)-product models are hampered by the absence of trust in product-lifecycle-data quality. The root cause of the missing trust is years of “silo” functions (e.g., engineering, manufacturing, quality assurance) using independent and disconnected processes. Those disconnected processes result in data exchanges that do not contain all of the required information for each downstream lifecycle process, which inhibits the reuse of product data and results in duplicate data. The X.509 standard, maintained by the Telecommunication Standardization Sector of the International Telecommunication Union (ITU-T), was first issued in 1988. Although originally intended as the authentication framework for the X.500 series for electronic directory services, the X.509 framework is used in a wide range of implementations outside the originally intended paradigm. These implementations range from encrypting websites to software-code signing, yet X.509 certificate use has not widely penetrated engineering and product realms. Our approach is not trying to provide security mechanisms, but equally as important, our method aims to provide insight into what is happening with product data to support trusting the data. This paper provides a review of the use of X.509 certificates and proposes a solution for embedding X.509 digital certificates in 3D models for authentication, authorization, and traceability of product data. This paper also describes an application within the Aerospace domain. Finally, the paper draws conclusions and provides recommendations for further research into using X.509 certificates in product lifecycle management (PLM) workflows to enable a product lifecycle of trust. PMID:27840596

Formal methods and digital systems validation for airborne systems

NASA Technical Reports Server (NTRS)

Rushby, John

1993-01-01

This report has been prepared to supplement a forthcoming chapter on formal methods in the FAA Digital Systems Validation Handbook. Its purpose is as follows: to outline the technical basis for formal methods in computer science; to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations; to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used on board aircraft; and to suggest factors for consideration when formal methods are offered in support of certification. These latter factors assume the context for software development and assurance described in RTCA document DO-178B, 'Software Considerations in Airborne Systems and Equipment Certification,' Dec. 1992.

Information Security Controls against Cross-Site Request Forgery Attacks on Software Applications of Automated Systems

NASA Astrophysics Data System (ADS)

Barabanov, A. V.; Markov, A. S.; Tsirlov, V. L.

2018-05-01

This paper presents statistical results and their consolidation, which were received in the study into security of various web-application against cross-site request forgery attacks. Some of the results were received in the study carried out within the framework of certification for compliance with information security requirements. The paper provides the results of consolidating information about the attack and protection measures, which are currently used by the developers of web-applications. It specifies results of the study, which demonstrate various distribution types: distribution of identified vulnerabilities as per the developer type (Russian and foreign), distribution of the security measures used in web-applications, distribution of the identified vulnerabilities as per the programming languages, data on the number of security measures that are used in the studied web-applications. The results of the study show that in most cases the developers of web-applications do not pay due attention to protection against cross-site request forgery attacks. The authors give recommendations to the developers that are planning to undergo a certification process for their software applications.

Automatic Generation of Just-in-Time Online Assessments from Software Design Models

ERIC Educational Resources Information Center

Zualkernan, Imran A.; El-Naaj, Salim Abou; Papadopoulos, Maria; Al-Amoudi, Budoor K.; Matthews, Charles E.

2009-01-01

Computer software is pervasive in today's society. The rate at which new versions of computer software products are released is phenomenal when compared to the release rate of new products in traditional industries such as aircraft building. This rapid rate of change can partially explain why most certifications in the software industry are…

78 FR 46295 - Special Conditions: Eclipse, EA500, Certification of Autothrottle Functions Under Part 23

Federal Register 2010, 2011, 2012, 2013, 2014

2013-07-31

... supplemental type certificate for an update to the aircraft software to activate the previously installed...Airspeeds ACE-05-34: 14 CFR Sec. 23.181(b), Dynamic Stability ACE-05-35: 14 CFR Sec. 23.1353(h), Storage... defined in 14 CFR 11.19, in accordance with Sec. 11.38, and they become part of the type- certification...

Software design studies emphasizing Project LOGOS

NASA Technical Reports Server (NTRS)

1972-01-01

The results of a research project on the development of computer software are presented. Research funds of $200,000 were expended over a three year period for software design and projects in connection with Project LOGOS (computer-aided design and certification of computing systems). Abstracts of theses prepared during the project are provided.

Framework for Small-Scale Experiments in Software Engineering: Guidance and Control Software Project: Software Engineering Case Study

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J.

1998-01-01

Software is becoming increasingly significant in today's critical avionics systems. To achieve safe, reliable software, government regulatory agencies such as the Federal Aviation Administration (FAA) and the Department of Defense mandate the use of certain software development methods. However, little scientific evidence exists to show a correlation between software development methods and product quality. Given this lack of evidence, a series of experiments has been conducted to understand why and how software fails. The Guidance and Control Software (GCS) project is the latest in this series. The GCS project is a case study of the Requirements and Technical Concepts for Aviation RTCA/DO-178B guidelines, Software Considerations in Airborne Systems and Equipment Certification. All civil transport airframe and equipment vendors are expected to comply with these guidelines in building systems to be certified by the FAA for use in commercial aircraft. For the case study, two implementations of a guidance and control application were developed to comply with the DO-178B guidelines for Level A (critical) software. The development included the requirements, design, coding, verification, configuration management, and quality assurance processes. This paper discusses the details of the GCS project and presents the results of the case study.

Next-generation services for e-traceability to ionizing radiation national standards

NASA Astrophysics Data System (ADS)

Desrosiers, Marc F.; Klemick, Mark; Puhl, James M.; Uchida, David; Mallis, Steven

2004-09-01

An Internet-based system for fast, remote certification of high-dose radiation sources against the US national standard is being constructed at the National Institute of Standards and Technology (NIST). The new service will establish traceability (through transfer dosimetry) in real time at a lower cost by using automated routines and the Internet. A prototype of this service was successfully demonstrated in 2000 at the American Society for Testing and Materials (ASTM) Dosimetry Workshop in San Diego. Despite this impressive accomplishment, new developments demanded that several aspects of the service be modified. The new service has been completely redesigned to address these new demands and ensure greater accessibility. A description of the hardware and software configurations of this service as well as the communication and information management aspects will be presented. The Internet-based transfer certification program will provide industry with 24-h, 7-day-per-week, on-demand certifications, immediate turnaround times, and lower cost, ultimately improving the quality of the manufacturing process.

Health IT for Patient Safety and Improving the Safety of Health IT.

PubMed

Magrabi, Farah; Ong, Mei-Sing; Coiera, Enrico

2016-01-01

Alongside their benefits health IT applications can pose new risks to patient safety. Problems with IT have been linked to many different types of clinical errors including prescribing and administration of medications; as well as wrong-patient, wrong-site errors, and delays in procedures. There is also growing concern about the risks of data breach and cyber-security. IT-related clinical errors have their origins in processes undertaken to design, build, implement and use software systems in a broader sociotechnical context. Safety can be improved with greater standardization of clinical software and by improving the quality of processes at different points in the technology life cycle, spanning design, build, implementation and use in clinical settings. Oversight processes can be set up at a regional or national level to ensure that clinical software systems meet specific standards. Certification and regulation are two mechanisms to improve oversight. In the absence of clear standards, guidelines are useful to promote safe design and implementation practices. Processes to identify and mitigate hazards can be formalised via a safety management system. Minimizing new patient safety risks is critical to realizing the benefits of IT.

Safety Characteristics in System Application of Software for Human Rated Exploration Missions for the 8th IAASS Conference

NASA Technical Reports Server (NTRS)

Mango, Edward J.

2016-01-01

NASA and its industry and international partners are embarking on a bold and inspiring development effort to design and build an exploration class space system. The space system is made up of the Orion system, the Space Launch System (SLS) and the Ground Systems Development and Operations (GSDO) system. All are highly coupled together and dependent on each other for the combined safety of the space system. A key area of system safety focus needs to be in the ground and flight application software system (GFAS). In the development, certification and operations of GFAS, there are a series of safety characteristics that define the approach to ensure mission success. This paper will explore and examine the safety characteristics of the GFAS development. The GFAS system integrates the flight software packages of the Orion and SLS with the ground systems and launch countdown sequencers through the 'agile' software development process. A unique approach is needed to develop the GFAS project capabilities within this agile process. NASA has defined the software development process through a set of standards. The standards were written during the infancy of the so-called industry 'agile development' movement and must be tailored to adapt to the highly integrated environment of human exploration systems. Safety of the space systems and the eventual crew on board is paramount during the preparation of the exploration flight systems. A series of software safety characteristics have been incorporated into the development and certification efforts to ensure readiness for use and compatibility with the space systems. Three underlining factors in the exploration architecture require the GFAS system to be unique in its approach to ensure safety for the space systems, both the flight as well as the ground systems. The first are the missions themselves, which are exploration in nature, and go far beyond the comfort of low Earth orbit operations. The second is the current exploration system will launch only one mission per year even less during its developmental phases. Finally, the third is the partnered approach through the use of many different prime contractors, including commercial and international partners, to design and build the exploration systems. These three factors make the challenges to meet the mission preparations and the safety expectations extremely difficult to implement. As NASA leads a team of partners in the exploration beyond earth's influence, it is a safety imperative that the application software used to test, checkout, prepare and launch the exploration systems put safety of the hardware and mission first. Software safety characteristics are built into the design and development process to enable the human rated systems to begin their missions safely and successfully. Exploration missions beyond Earth are inherently risky, however, with solid safety approaches in both hardware and software, the boldness of these missions can be realized for all on the home planet.

Software Development Processes Applied to Computational Icing Simulation

NASA Technical Reports Server (NTRS)

Levinson, Laurie H.; Potapezuk, Mark G.; Mellor, Pamela A.

1999-01-01

The development of computational icing simulation methods is making the transition form the research to common place use in design and certification efforts. As such, standards of code management, design validation, and documentation must be adjusted to accommodate the increased expectations of the user community with respect to accuracy, reliability, capability, and usability. This paper discusses these concepts with regard to current and future icing simulation code development efforts as implemented by the Icing Branch of the NASA Lewis Research Center in collaboration with the NASA Lewis Engineering Design and Analysis Division. With the application of the techniques outlined in this paper, the LEWICE ice accretion code has become a more stable and reliable software product.

Global Hawk Systems Engineering. Case Study

DTIC Science & Technology

2010-01-01

Management Core System ( TBMCS ) (complex software development) • F-111 Fighter (joint program with significant involvement by the Office of the...Software Requirements Specification TACC Tailored Airworthiness Certification Criteria TBMCS Theater Battle Management Core System TEMP Test and

Interim Update to the AN/UPX-41(C) Spectrum Certification Conditions (SPS-18778/1).

DOT National Transportation Integrated Search

2015-11-01

In 2012, the Navy requested spectrum certification for the shipboard AN/UPX-41(C) Digital Interrogator System, Software Version 5.5 with Mode 5. Current operating conditions for the Navys AN/UPX-41(C) are the same as restrictions imposed on the AN...

An experimental evaluation of software redundancy as a strategy for improving reliability

NASA Technical Reports Server (NTRS)

Eckhardt, Dave E., Jr.; Caglayan, Alper K.; Knight, John C.; Lee, Larry D.; Mcallister, David F.; Vouk, Mladen A.; Kelly, John P. J.

1990-01-01

The strategy of using multiple versions of independently developed software as a means to tolerate residual software design faults is suggested by the success of hardware redundancy for tolerating hardware failures. Although, as generally accepted, the independence of hardware failures resulting from physical wearout can lead to substantial increases in reliability for redundant hardware structures, a similar conclusion is not immediate for software. The degree to which design faults are manifested as independent failures determines the effectiveness of redundancy as a method for improving software reliability. Interest in multi-version software centers on whether it provides an adequate measure of increased reliability to warrant its use in critical applications. The effectiveness of multi-version software is studied by comparing estimates of the failure probabilities of these systems with the failure probabilities of single versions. The estimates are obtained under a model of dependent failures and compared with estimates obtained when failures are assumed to be independent. The experimental results are based on twenty versions of an aerospace application developed and certified by sixty programmers from four universities. Descriptions of the application, development and certification processes, and operational evaluation are given together with an analysis of the twenty versions.

Guidance and Control Software Project Data - Volume 1: Planning Documents

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J. (Editor)

2008-01-01

The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the planning documents from the GCS project. Volume 1 contains five appendices: A. Plan for Software Aspects of Certification for the Guidance and Control Software Project; B. Software Development Standards for the Guidance and Control Software Project; C. Software Verification Plan for the Guidance and Control Software Project; D. Software Configuration Management Plan for the Guidance and Control Software Project; and E. Software Quality Assurance Activities.

Mending the Gap, An Effort to Aid the Transfer of Formal Methods Technology

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly

2009-01-01

Formal methods can be applied to many of the development and verification activities required for civil avionics software. RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification, gives a brief description of using formal methods as an alternate method of compliance with the objectives of that standard. Despite this, the avionics industry at large has been hesitant to adopt formal methods, with few developers have actually used formal methods for certification credit. Why is this so, given the volume of evidence of the benefits of formal methods? This presentation will explore some of the challenges to using formal methods in a certification context and describe the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to develop guidance to make the use of formal methods a recognized approach.

Health care professional workstation: software system construction using DSSA scenario-based engineering process.

PubMed

Hufnagel, S; Harbison, K; Silva, J; Mettala, E

1994-01-01

This paper describes a new method for the evolutionary determination of user requirements and system specifications called scenario-based engineering process (SEP). Health care professional workstations are critical components of large scale health care system architectures. We suggest that domain-specific software architectures (DSSAs) be used to specify standard interfaces and protocols for reusable software components throughout those architectures, including workstations. We encourage the use of engineering principles and abstraction mechanisms. Engineering principles are flexible guidelines, adaptable to particular situations. Abstraction mechanisms are simplifications for management of complexity. We recommend object-oriented design principles, graphical structural specifications, and formal components' behavioral specifications. We give an ambulatory care scenario and associated models to demonstrate SEP. The scenario uses health care terminology and gives patients' and health care providers' system views. Our goal is to have a threefold benefit. (i) Scenario view abstractions provide consistent interdisciplinary communications. (ii) Hierarchical object-oriented structures provide useful abstractions for reuse, understandability, and long term evolution. (iii) SEP and health care DSSA integration into computer aided software engineering (CASE) environments. These environments should support rapid construction and certification of individualized systems, from reuse libraries.

Access control for electronic patient records.

PubMed

Glagola, M J

1998-01-01

The transition from hardcopy records to electronic records is in the forefront for healthcare today. For healthcare facilities, a major issue is determining who can access patients' medical information and how access to this information can be controlled. There are three components to access control: identification, authentication and authorization. Checking proof of identity is a means of authenticating someone--through a driver's license, passport or their fingerprints. Similar processes are needed in a computer environment, through the use of passwords, one-time passwords or smartcards, encryption and kerberos, and call-back procedures. New in the area of access control are biometric devices, which are hardware/software combinations that digitize a physical characteristic and compare the sample with previously stored samples. Fingerprints, voiceprints and facial features are examples. Their cost is currently prohibitive, but in time, they may become more common. Digital certificates and certification authorities are other means used to authenticate identify. When a system challenges a user's identity at log on, the user provides a certification that tells the system to go to the issuing certification authority and find proof the user's claim is valid. Low-level certifications offer little value for sensitive data, but high-level certification is now being introduced. It requires more specific, detailed information on the applicant. Authorization, the final component of access control, establishes what a specific user can and cannot access. To have effective access control, transaction logging and system monitoring are needed to ensure the various techniques are being used and performing properly.

NASA Airframe Icing Research Overview Past and Current

NASA Technical Reports Server (NTRS)

Potapczuk, Mark

2009-01-01

This slide presentation reviews the past and current research that NASA has done in the area of airframe icing. Both the history experimental efforts and model development to understand the process and problem of ice formation are reviewed. This has resulted in the development of new experimental methods, advanced icing simulation software, flight dynamics and experimental databases that have an impact on design, testing, construction and certification and qualification of the aircraft and its sub-systems.

Safe Software for Space Applications: Building on the DO-178 Experience

NASA Astrophysics Data System (ADS)

Dorsey, Cheryl A.; Dorsey, Timothy A.

2013-09-01

DO-178, Software Considerations in Airborne Systems and Equipment Certification, is the well-known international standard dealing with the assurance of software used in airborne systems [1,2]. Insights into the DO-178 experiences, strengths and weaknesses can benefit the international space community. As DO-178 is an excellent standard for safe software development when used appropriately, this paper provides lessons learned and suggestions for using it effectively.

SenseMyHeart: A cloud service and API for wearable heart monitors.

PubMed

Pinto Silva, P M; Silva Cunha, J P

2015-01-01

In the era of ubiquitous computing, the growing adoption of wearable systems and body sensor networks is trailing the path for new research and software for cardiovascular intensity, energy expenditure and stress and fatigue detection through cardiovascular monitoring. Several systems have received clinical-certification and provide huge amounts of reliable heart-related data in a continuous basis. PhysioNet provides equally reliable open-source software tools for ECG processing and analysis that can be combined with these devices. However, this software remains difficult to use in a mobile environment and for researchers unfamiliar with Linux-based systems. In the present paper we present an approach that aims at tackling these limitations by developing a cloud service that provides an API for a PhysioNet-based pipeline for ECG processing and Heart Rate Variability measurement. We describe the proposed solution, along with its advantages and tradeoffs. We also present some client tools (windows and Android) and several projects where the developed cloud service has been used successfully as a standard for Heart Rate and Heart Rate Variability studies in different scenarios.

Provision of Training for the IT Industry: The ELEVATE Project

NASA Astrophysics Data System (ADS)

Paraskakis, Iraklis; Konstantinidis, Andreas; Bouras, Thanassis; Perakis, Kostas; Pantelopoulos, Stelios; Hatziapostolou, Thanos

This paper will present ELEVATE that aims to deliver an innovative training, educational and certification environment integrating the application software to be taught with the training procedure. ELEVATE aspires to address the training needs of software development SMEs and the solution proposed is based on three basic notions: to provide competence training that is tailored to the needs of the individual trainee, to allow the trainee to carry out authentic activities as well as problem based learning that draws from real life scenarios and finally to allow for the assessment and certification of the skills and competences acquired. In order to achieve the desired results the ELEVATE architecture utilises an Interactive Interoperability Layer, an Intelligent Personalization Trainer as well as the Training, Evaluation & Certification component. As an end product, the ELEVATE project The ELEVATE pedagogical model is based on blended learning, the e-Training component (an intelligent system that provides tailored training) and Learning 2.0.

Certification of computer professionals: A good idea?

DOE Office of Scientific and Technical Information (OSTI.GOV)

Boggess, G.

1994-12-31

In the early stages of computing there was little understanding or attention paid to the ethical responsibilities of professionals. Compainies routinely put secretaries and music majors through 30 hours of video training and turned them loose on data processing projects. As the nature of the computing task changed, these same practices were followed and the trainees were set loose on life-critical software development projects. The enormous risks of using programmers with limited training has been by the GAO report on the BSY-2 program.

An Incremental Life-cycle Assurance Strategy for Critical System Certification

DTIC Science & Technology

2014-11-04

for Safe Aircraft Operation Embedded software systems introduce a new class of problems not addressed by traditional system modeling & analysis...Platform Runtime Architecture Application Software Embedded SW System Engineer Data Stream Characteristics Latency jitter affects control behavior...do system level failures still occur despite fault tolerance techniques being deployed in systems ? Embedded software system as major source of

Automatic coding and selection of causes of death: an adaptation of Iris software for using in Brazil.

PubMed

Martins, Renata Cristófani; Buchalla, Cassia Maria

2015-01-01

To prepare a dictionary in Portuguese for using in Iris and to evaluate its completeness for coding causes of death. Iniatially, a dictionary with all illness and injuries was created based on the International Classification of Diseases - tenth revision (ICD-10) codes. This dictionary was based on two sources: the electronic file of ICD-10 volume 1 and the data from Thesaurus of the International Classification of Primary Care (ICPC-2). Then, a death certificate sample from the Program of Improvement of Mortality Information in São Paulo (PRO-AIM) was coded manually and by Iris version V4.0.34, and the causes of death were compared. Whenever Iris was not able to code the causes of death, adjustments were made in the dictionary. Iris was able to code all causes of death in 94.4% death certificates, but only 50.6% were directly coded, without adjustments. Among death certificates that the software was unable to fully code, 89.2% had a diagnosis of external causes (chapter XX of ICD-10). This group of causes of death showed less agreement when comparing the coding by Iris to the manual one. The software performed well, but it needs adjustments and improvement in its dictionary. In the upcoming versions of the software, its developers are trying to solve the external causes of death problem.

Certification trails for data structures

NASA Technical Reports Server (NTRS)

Sullivan, Gregory F.; Masson, Gerald M.

1993-01-01

Certification trails are a recently introduced and promising approach to fault detection and fault tolerance. The applicability of the certification trail technique is significantly generalized. Previously, certification trails had to be customized to each algorithm application; trails appropriate to wide classes of algorithms were developed. These certification trails are based on common data-structure operations such as those carried out using these sets of operations such as those carried out using balanced binary trees and heaps. Any algorithms using these sets of operations can therefore employ the certification trail method to achieve software fault tolerance. To exemplify the scope of the generalization of the certification trail technique provided, constructions of trails for abstract data types such as priority queues and union-find structures are given. These trails are applicable to any data-structure implementation of the abstract data type. It is also shown that these ideals lead naturally to monitors for data-structure operations.

User-Driven Quality Certification of Workplace Software, the UsersAward Experience

DTIC Science & Technology

2004-06-01

the set of criteria and the chosen level of approval was sufficiently balanced . Furthermore, the fact that both software providers experienced... Worklife - Building Social Capacity - European Approaches, Edition sigma Berlin. Lind, T. (2002). IT-kartan, användare och IT-system i svenskt

The information retrieval system of {open_quotes}heat abd nass transfer{close_quotes} software complexes

DOE Office of Scientific and Technical Information (OSTI.GOV)

Tsitsin, A.G.

A project is discussed which is aimed at creating the International Center for certification of software complexes (SC), intended to for soling various heat and mass transfer problems. Information on the experience gained in the operation of an information retrieval SC system is presented.

76 FR 58044 - Amended Certification Regarding Eligibility To Apply for Worker Adjustment Assistance; The Mega...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-09-19

...., including on-site leased workers from Computer Solutions and Software International, Inc., Dell Service... Insphere Insurance Solutions, Inc., Including On-Site Leased Workers From Computer Solutions and Software International, Inc., Dell Service Sales, Emdeon Business Services, KFORCE, Microsoft, Pariveda Solutions, Inc...

Transdisciplinary integration and interfacing software in mechatronic system for carbon sequestration and harvesting energy in the agricultural soils for rewarding farmers through green certificates

NASA Astrophysics Data System (ADS)

Pop, P. P.; Pop-Vadean, A.; Barz, C.; Latinovic, T.

2017-01-01

In this article we will present a transdisciplinary approach to carbon sequestration in agricultural soils. The software provides a method proposed to measure the amount of carbon that can be captured from different soil types and different crop. The application has integrated an intuitive interface, is portable and calculate the number of green certificates as a reward for farmers financial support for environmental protection. We plan to initiate a scientific approach to environmental protection through financial incentives for agriculture fits in EU rules by taxing big polluters and rewarding those who maintain a suitable environment for the development of ecological and competitive agriculture.

Formal Safety Certification of Aerospace Software

NASA Technical Reports Server (NTRS)

Denney, Ewen; Fischer, Bernd

2005-01-01

In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (t.e., they rely on the "heroic proof"). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code. In this paper, we describe a tool for formally demonstrating safety-relevant aspects of aerospace software, which largely circumvents these problems. We focus on safely properties because it has been observed that safety violations such as out-of-bounds memory accesses or use of uninitialized variables constitute the majority of the errors found in the aerospace domain. In our approach, safety means that the program will not violate a set of rules that can range for the simple memory access rules to high-level flight rules. These different safety properties are formalized as different safety policies in Hoare logic, which are then used by a verification condition generator along with the code and logical annotations in order to derive formal safety conditions; these are then proven using an automated theorem prover. Our certification system is currently integrated into a model-based code generation toolset that generates the annotations together with the code. However, this automated formal certification technology is not exclusively constrained to our code generator and could, in principle, also be integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

a Framework for AN Open Source Geospatial Certification Model

NASA Astrophysics Data System (ADS)

Khan, T. U. R.; Davis, P.; Behr, F.-J.

2016-06-01

The geospatial industry is forecasted to have an enormous growth in the forthcoming years and an extended need for well-educated workforce. Hence ongoing education and training play an important role in the professional life. Parallel, in the geospatial and IT arena as well in the political discussion and legislation Open Source solutions, open data proliferation, and the use of open standards have an increasing significance. Based on the Memorandum of Understanding between International Cartographic Association, OSGeo Foundation, and ISPRS this development led to the implementation of the ICA-OSGeo-Lab imitative with its mission "Making geospatial education and opportunities accessible to all". Discussions in this initiative and the growth and maturity of geospatial Open Source software initiated the idea to develop a framework for a worldwide applicable Open Source certification approach. Generic and geospatial certification approaches are already offered by numerous organisations, i.e., GIS Certification Institute, GeoAcademy, ASPRS, and software vendors, i. e., Esri, Oracle, and RedHat. They focus different fields of expertise and have different levels and ways of examination which are offered for a wide range of fees. The development of the certification framework presented here is based on the analysis of diverse bodies of knowledge concepts, i.e., NCGIA Core Curriculum, URISA Body Of Knowledge, USGIF Essential Body Of Knowledge, the "Geographic Information: Need to Know", currently under development, and the Geospatial Technology Competency Model (GTCM). The latter provides a US American oriented list of the knowledge, skills, and abilities required of workers in the geospatial technology industry and influenced essentially the framework of certification. In addition to the theoretical analysis of existing resources the geospatial community was integrated twofold. An online survey about the relevance of Open Source was performed and evaluated with 105 respondents worldwide. 15 interviews (face-to-face or by telephone) with experts in different countries provided additional insights into Open Source usage and certification. The findings led to the development of a certification framework of three main categories with in total eleven sub-categories, i.e., "Certified Open Source Geospatial Data Associate / Professional", "Certified Open Source Geospatial Analyst Remote Sensing & GIS", "Certified Open Source Geospatial Cartographer", "Certified Open Source Geospatial Expert", "Certified Open Source Geospatial Associate Developer / Professional Developer", "Certified Open Source Geospatial Architect". Each certification is described by pre-conditions, scope and objectives, course content, recommended software packages, target group, expected benefits, and the methods of examination. Examinations can be flanked by proofs of professional career paths and achievements which need a peer qualification evaluation. After a couple of years a recertification is required. The concept seeks the accreditation by the OSGeo Foundation (and other bodies) and international support by a group of geospatial scientific institutions to achieve wide and international acceptance for this Open Source geospatial certification model. A business case for Open Source certification and a corresponding SWOT model is examined to support the goals of the Geo-For-All initiative of the ICA-OSGeo pact.

Current trends in hardware and software for brain-computer interfaces (BCIs)

NASA Astrophysics Data System (ADS)

Brunner, P.; Bianchi, L.; Guger, C.; Cincotti, F.; Schalk, G.

2011-04-01

A brain-computer interface (BCI) provides a non-muscular communication channel to people with and without disabilities. BCI devices consist of hardware and software. BCI hardware records signals from the brain, either invasively or non-invasively, using a series of device components. BCI software then translates these signals into device output commands and provides feedback. One may categorize different types of BCI applications into the following four categories: basic research, clinical/translational research, consumer products, and emerging applications. These four categories use BCI hardware and software, but have different sets of requirements. For example, while basic research needs to explore a wide range of system configurations, and thus requires a wide range of hardware and software capabilities, applications in the other three categories may be designed for relatively narrow purposes and thus may only need a very limited subset of capabilities. This paper summarizes technical aspects for each of these four categories of BCI applications. The results indicate that BCI technology is in transition from isolated demonstrations to systematic research and commercial development. This process requires several multidisciplinary efforts, including the development of better integrated and more robust BCI hardware and software, the definition of standardized interfaces, and the development of certification, dissemination and reimbursement procedures.

Visions of Automation and Realities of Certification

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J.; Holloway, Michael C.

2005-01-01

Quite a lot of people envision automation as the solution to many of the problems in aviation and air transportation today, across all sectors: commercial, private, and military. This paper explains why some recent experiences with complex, highly-integrated, automated systems suggest that this vision will not be realized unless significant progress is made over the current state-of-the-practice in software system development and certification.

Windshear certification data base for forward-look detection systems

NASA Technical Reports Server (NTRS)

Switzer, George F.; Hinton, David A.; Proctor, Fred H.

1994-01-01

Described is an introduction to a comprehensive database that is to be used for certification testing of airborne forward-look windshear detection systems. The database was developed by NASA Langley Research Center, at the request of the Federal Aviation Administration (FAA), to support the industry initiative to certify and produce forward-looking windshear detection equipment. The database contains high-resolution three-dimensional fields for meteorological variables that may be sensed by forward-looking systems. The database is made up of seven case studies that are generated by the Terminal Area Simulation System, a state-of-the-art numerical system for the realistic modeling of windshear phenomena. The selected cases contained in the certification documentation represent a wide spectrum of windshear events. The database will be used with vendor-developed sensor simulation software and vendor-collected ground-clutter data to demonstrate detection performance in a variety of meteorological conditions using NASA/FAA pre-defined path scenarios for each of the certification cases. A brief outline of the contents and sample plots from the database documentation are included. These plots show fields of hazard factor, or F-factor (Bowles 1990), radar reflectivity, and velocity vectors on a horizontal plane overlayed with the applicable certification paths. For the plot of the F-factor field the region of 0.105 and above signify an area of hazardous, performance decreasing windshear, while negative values indicate regions of performance increasing windshear. The values of F-factor are based on 1-Km averaged segments along horizontal flight paths, assuming an air speed of 150 knots (approx. 75 m/s). The database has been released to vendors participating in the certification process. The database and associated document have been transferred to the FAA for archival storage and distribution.

Component Verification and Certification in NASA Missions

NASA Technical Reports Server (NTRS)

Giannakopoulou, Dimitra; Penix, John; Norvig, Peter (Technical Monitor)

2001-01-01

Software development for NASA missions is a particularly challenging task. Missions are extremely ambitious scientifically, have very strict time frames, and must be accomplished with a maximum degree of reliability. Verification technologies must therefore be pushed far beyond their current capabilities. Moreover, reuse and adaptation of software architectures and components must be incorporated in software development within and across missions. This paper discusses NASA applications that we are currently investigating from these perspectives.

Progress on automated data analysis algorithms for ultrasonic inspection of composites

NASA Astrophysics Data System (ADS)

Aldrin, John C.; Forsyth, David S.; Welter, John T.

2015-03-01

Progress is presented on the development and demonstration of automated data analysis (ADA) software to address the burden in interpreting ultrasonic inspection data for large composite structures. The automated data analysis algorithm is presented in detail, which follows standard procedures for analyzing signals for time-of-flight indications and backwall amplitude dropout. New algorithms have been implemented to reliably identify indications in time-of-flight images near the front and back walls of composite panels. Adaptive call criteria have also been applied to address sensitivity to variation in backwall signal level, panel thickness variation, and internal signal noise. ADA processing results are presented for a variety of test specimens that include inserted materials and discontinuities produced under poor manufacturing conditions. Software tools have been developed to support both ADA algorithm design and certification, producing a statistical evaluation of indication results and false calls using a matching process with predefined truth tables. Parametric studies were performed to evaluate detection and false call results with respect to varying algorithm settings.

Scientific Data Analysis and Software Support: Geodynamics

NASA Technical Reports Server (NTRS)

Klosko, Steven; Sanchez, B. (Technical Monitor)

2000-01-01

The support on this contract centers on development of data analysis strategies, geodynamic models, and software codes to study four-dimensional geodynamic and oceanographic processes, as well as studies and mission support for near-Earth and interplanetary satellite missions. SRE had a subcontract to maintain the optical laboratory for the LTP, where instruments such as MOLA and GLAS are developed. NVI performed work on a Raytheon laser altimetry task through a subcontract, providing data analysis and final data production for distribution to users. HBG had a subcontract for specialized digital topography analysis and map generation. Over the course of this contract, Raytheon ITSS staff have supported over 60 individual tasks. Some tasks have remained in place during this entire interval whereas others have been completed and were of shorter duration. Over the course of events, task numbers were changed to reflect changes in the character of the work or new funding sources. The description presented below will detail the technical accomplishments that have been achieved according to their science and technology areas. What will be shown is a brief overview of the progress that has been made in each of these investigative and software development areas. Raytheon ITSS staff members have received many awards for their work on this contract, including GSFC Group Achievement Awards for TOPEX Precision Orbit Determination and the Joint Gravity Model One Team. NASA JPL gave the TOPEX/POSEIDON team a medal commemorating the completion of the primary mission and a Certificate of Appreciation. Raytheon ITSS has also received a Certificate of Appreciation from GSFC for its extensive support of the Shuttle Laser Altimeter Experiment.

User type certification for advanced flight control systems

NASA Technical Reports Server (NTRS)

Gilson, Richard D.; Abbott, David W.

1994-01-01

Advanced avionics through flight management systems (FMS) coupled with autopilots can now precisely control aircraft from takeoff to landing. Clearly, this has been the most important improvement in aircraft since the jet engine. Regardless of the eventual capabilities of this technology, it is doubtful that society will soon accept pilotless airliners with the same aplomb they accept driverless passenger trains. Flight crews are still needed to deal with inputing clearances, taxiing, in-flight rerouting, unexpected weather decisions, and emergencies; yet it is well known that the contribution of human errors far exceed those of current hardware or software systems. Thus human errors remain, and are even increasing in percentage as the largest contributor to total system error. Currently, the flight crew is regulated by a layered system of certification: by operation, e.g., airline transport pilot versus private pilot; by category, e.g., airplane versus helicopter; by class, e.g., single engine land versus multi-engine land; and by type (for larger aircraft and jet powered aircraft), e.g., Boeing 767 or Airbus A320. Nothing in the certification process now requires an in-depth proficiency with specific types of avionics systems despite their prominent role in aircraft control and guidance.

7 CFR 652.23 - Certification process for private-sector entities.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 6 2010-01-01 2010-01-01 false Certification process for private-sector entities. 652... ASSISTANCE Certification § 652.23 Certification process for private-sector entities. (a) A private sector... individual basis as part of the private-sector entity's certification and ensures that the requirements set...

76 FR 54528 - Standard Operating Procedures (SOP) of the Aircraft Certification Service (AIR) Process for the...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-09-01

...) of the Aircraft Certification Service (AIR) Process for the Sequencing of Certification and... on the Aircraft Certification Service (AIR) standard operating procedure (SOP) describing the process... comments on the SOP : AIR-100-001; Standard Operating Procedure--Aircraft Certification Service Project...

National Board Certification: It's Time for Preschool Teachers!

ERIC Educational Resources Information Center

Gillentine, Jonathan

2010-01-01

National Board Certification is a voluntary process by which teachers of students ages 3 through 18 demonstrate accomplished teaching. This article describes the process and certification requirements for one certificate--the Early Childhood/Generalist (ECG), for teachers of children ages 3 through 8. The National Board Certification process was…

31 CFR 592.307 - Kimberley Process Certificate.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance:Treasury 3 2013-07-01 2013-07-01 false Kimberley Process Certificate. 592.307... Definitions § 592.307 Kimberley Process Certificate. The term Kimberley Process Certificate means a tamper... English translation is incorporated: (a) The title “Kimberley Process Certificate” and the statement: “The...

31 CFR 592.307 - Kimberley Process Certificate.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 3 2012-07-01 2012-07-01 false Kimberley Process Certificate. 592.307... Definitions § 592.307 Kimberley Process Certificate. The term Kimberley Process Certificate means a tamper... English translation is incorporated: (a) The title “Kimberley Process Certificate” and the statement: “The...

31 CFR 592.307 - Kimberley Process Certificate.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance:Treasury 3 2014-07-01 2014-07-01 false Kimberley Process Certificate. 592.307... Definitions § 592.307 Kimberley Process Certificate. The term Kimberley Process Certificate means a tamper... English translation is incorporated: (a) The title “Kimberley Process Certificate” and the statement: “The...

31 CFR 592.307 - Kimberley Process Certificate.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance:Treasury 3 2011-07-01 2011-07-01 false Kimberley Process Certificate. 592.307... Definitions § 592.307 Kimberley Process Certificate. The term Kimberley Process Certificate means a tamper... English translation is incorporated: (a) The title “Kimberley Process Certificate” and the statement: “The...

75 FR 49534 - Investigations Regarding Certifications of Eligibility To Apply for Worker Adjustment Assistance

Federal Register 2010, 2011, 2012, 2013, 2014

2010-08-13

... services, or mail, to FOIA Disclosure Officer, Office of Trade Adjustment Assistance (ETA), U.S. Department...- Farmington, CT.... 07/19/10 07/15/10 Stop). 74397 Progress Software Bedford, MA....... 07/20/10 07/12/10 Corporation and DataDirect Technologies (Company). 74398 Progress Software El Segundo, CA.... 07/20/10 07/12...

FTDD973: A multimedia knowledge-based system and methodology for operator training and diagnostics

NASA Technical Reports Server (NTRS)

Hekmatpour, Amir; Brown, Gary; Brault, Randy; Bowen, Greg

1993-01-01

FTDD973 (973 Fabricator Training, Documentation, and Diagnostics) is an interactive multimedia knowledge based system and methodology for computer-aided training and certification of operators, as well as tool and process diagnostics in IBM's CMOS SGP fabrication line (building 973). FTDD973 is an example of what can be achieved with modern multimedia workstations. Knowledge-based systems, hypertext, hypergraphics, high resolution images, audio, motion video, and animation are technologies that in synergy can be far more useful than each by itself. FTDD973's modular and object-oriented architecture is also an example of how improvements in software engineering are finally making it possible to combine many software modules into one application. FTDD973 is developed in ExperMedia/2; and OS/2 multimedia expert system shell for domain experts.

YIP Formal Synthesis of Software-Based Control Protocols for Fractionated,Composable Autonomous Systems

DTIC Science & Technology

2016-07-08

Systems Using Automata Theory and Barrier Certifi- cates We developed a sound but incomplete method for the computational verification of specifications...method merges ideas from automata -based model checking with those from control theory including so-called barrier certificates and optimization-based... Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems,” IEEE Transactions on Automatic Control, 2015. [J2] R

Causes of deaths data, linkages and big data perspectives.

PubMed

Rey, Grégoire; Bounebache, Karim; Rondet, Claire

2018-07-01

The study of cause-specific mortality data is one of the main sources of information for public health monitoring. In most industrialized countries, when a death occurs, it is a legal requirement that a medical certificate based on the international form recommended by World Health Organization's (WHO) is filled in by a physician. The physician reports the causes of death that directly led or contributed to the death on the death certificate. The death certificate is then forwarded to a coding office, where each cause is coded, and one underlying cause is defined, using the rules of the International Classification of Diseases and Related Health Problems, now in its 10th Revision (ICD-10). Recently, a growing number of countries have adopted, or have decided to adopt, the coding software Iris, developed and maintained by an international consortium 1 . This whole standardized production process results in a high and constantly increasing international comparability of cause-specific mortality data. While these data could be used for international comparisons and benchmarking of global burden of diseases, quality of care and prevention policies, there are also many other ways and methods to explore their richness, especially when they are linked with other data sources. Some of these methods are potentially referring to the so-called "big data" field. These methods could be applied both to the production of the data, to the statistical processing of the data, and even more to process these data linked to other databases. In the present note, we depict the main domains in which this new field of methods could be applied. We focus specifically on the context of France, a 65 million inhabitants country with a centralized health data system. Finally we will insist on the importance of data quality, and the specific problematics related to death certification in the forensic medicine domain. Copyright © 2016 Elsevier Ltd and Faculty of Forensic and Legal Medicine. All rights reserved.

CrossTalk: The Journal of Defense Software Engineering. Volume 21, Number 12

DTIC Science & Technology

2008-12-01

that provide recognized certifications, and examples of how these standards relate. The first qual- ification ( ISO 27000 ) should be strongly considered...Several ISO 20000 requirements relate to ISO 27000 and ISO 9001. As a result, achieving ISO 20000 cer- tification helps an organization to also...achieve ISO 9001 and ISO 27000 certifica- tion. ISO 20000 certification can also help organizations with CMMI® appraisals. Table 1 also shows some of the

Dynamometer Facilities | Water Power | NREL

Science.gov Websites

, mechanical or electro-dynamic brakes, power electronics, control systems, and software. Manufacturers and power electronics with the electric grid, to perform accelerated lifetime certification, and to develop

Simulation of atmospheric PAH emissions from diesel engines.

PubMed

Durán, A; de Lucas, A; Carmona, M; Ballesteros, R

2001-08-01

Simulation of atmospheric PAH emissions in a typical European passenger car diesel engine at steady conditions or under a certification cycle is made using in-house software. It is based on neural fitting of experimental data from eight different fuels tested under five operating steady conditions (reproducing modes of the European transient urban/extraurban certification cycle). The software allows the determination of PAH emissions as a function of the fuel composition parameters (aromatic content, cetane index, gross heat power, nitrogen and sulphur content) and operation conditions (torque and engine speed). The mathematical model reproduces experimental data with a maximum error of 20%. This tool is very useful, since changes in parameters can be made without experimental cost and the trend in modifications in PAH emissions is immediately obvious.

Control of Space-Based Electron Beam Free Form Fabrication

NASA Technical Reports Server (NTRS)

Seifzer. W. J.; Taminger, K. M.

2007-01-01

Engineering a closed-loop control system for an electron beam welder for space-based additive manufacturing is challenging. For earth and space based applications, components must work in a vacuum and optical components become occluded with metal vapor deposition. For extraterrestrial applications added components increase launch weight, increase complexity, and increase space flight certification efforts. Here we present a software tool that closely couples path planning and E-beam parameter controls into the build process to increase flexibility. In an environment where data collection hinders real-time control, another approach is considered that will still yield a high quality build.

Formal Assurance Certifiable Tooling Formal Assurance Certifiable Tooling Strategy Final Report

NASA Technical Reports Server (NTRS)

Bush, Eric; Oglesby, David; Bhatt, Devesh; Murugesan, Anitha; Engstrom, Eric; Mueller, Joe; Pelican, Michael

2017-01-01

This is the Final Report of a research project to investigate issues and provide guidance for the qualification of formal methods tools under the DO-330 qualification process. It consisted of three major subtasks spread over two years: 1) an assessment of theoretical soundness issues that may affect qualification for three categories of formal methods tools, 2) a case study simulating the DO-330 qualification of two actual tool sets, and 3) an investigation of risk mitigation strategies that might be applied to chains of such formal methods tools in order to increase confidence in their certification of airborne software.

20 CFR 656.16 - Labor certification applications for sheepherders.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 20 Employees' Benefits 3 2010-04-01 2010-04-01 false Labor certification applications for... LABOR LABOR CERTIFICATION PROCESS FOR PERMANENT EMPLOYMENT OF ALIENS IN THE UNITED STATES Labor Certification Process § 656.16 Labor certification applications for sheepherders. (a) Filing requirements and...

77 FR 53865 - Export Trade Certificate of Review

Federal Register 2010, 2011, 2012, 2013, 2014

2012-09-04

... process based on exports of poultry products (``the TRQ System'') to support the operation and... the Board of Directors of COLOM-PEQ. 3. Open Tender Process. COLOM-PEQ shall offer TRQ Certificates... through an open tender process with certificates awarded to the highest bidders (``TRQ Certificates...

x509-free access to WLCG resources

NASA Astrophysics Data System (ADS)

Short, H.; Manzi, A.; De Notaris, V.; Keeble, O.; Kiryanov, A.; Mikkonen, H.; Tedesco, P.; Wartel, R.

2017-10-01

Access to WLCG resources is authenticated using an x509 and PKI infrastructure. Even though HEP users have always been exposed to certificates directly, the development of modern Web Applications by the LHC experiments calls for simplified authentication processes keeping the underlying software unmodified. In this work we will show a solution with the goal of providing access to WLCG resources using the user’s home organisations credentials, without the need for user-acquired x509 certificates. In particular, we focus on identity providers within eduGAIN, which interconnects research and education organisations worldwide, and enables the trustworthy exchange of identity-related information. eduGAIN has been integrated at CERN in the SSO infrastructure so that users can authenticate without the need of a CERN account. This solution achieves x509-free access to Grid resources with the help of two services: STS and an online CA. The STS (Security Token Service) allows credential translation from the SAML2 format used by Identity Federations to the VOMS-enabled x509 used by most of the Grid. The IOTA CA (Identifier-Only Trust Assurance Certification Authority) is responsible for the automatic issuing of short-lived x509 certificates. The IOTA CA deployed at CERN has been accepted by EUGridPMA as the CERN LCG IOTA CA, included in the IGTF trust anchor distribution and installed by the sites in WLCG. We will also describe the first pilot projects which are integrating the solution.

31 CFR 592.301 - Controlled through the Kimberley Process Certification Scheme.

Code of Federal Regulations, 2011 CFR

2011-07-01

... Process Certification Scheme. 592.301 Section 592.301 Money and Finance: Treasury Regulations Relating to... Certification Scheme. (a) Except as otherwise provided in paragraph (b) of this section, the term controlled through the Kimberley Process Certification Scheme refers to the following requirements that apply, as...

31 CFR 592.301 - Controlled through the Kimberley Process Certification Scheme.

Code of Federal Regulations, 2013 CFR

2013-07-01

... Process Certification Scheme. 592.301 Section 592.301 Money and Finance: Treasury Regulations Relating to... Certification Scheme. (a) Except as otherwise provided in paragraph (b) of this section, the term controlled through the Kimberley Process Certification Scheme refers to the following requirements that apply, as...

31 CFR 592.301 - Controlled through the Kimberley Process Certification Scheme.

Code of Federal Regulations, 2014 CFR

2014-07-01

... Process Certification Scheme. 592.301 Section 592.301 Money and Finance: Treasury Regulations Relating to... Certification Scheme. (a) Except as otherwise provided in paragraph (b) of this section, the term controlled through the Kimberley Process Certification Scheme refers to the following requirements that apply, as...

31 CFR 592.301 - Controlled through the Kimberley Process Certification Scheme.

Code of Federal Regulations, 2010 CFR

2010-07-01

... Process Certification Scheme. 592.301 Section 592.301 Money and Finance: Treasury Regulations Relating to... Certification Scheme. (a) Except as otherwise provided in paragraph (b) of this section, the term controlled through the Kimberley Process Certification Scheme refers to the following requirements that apply, as...

31 CFR 592.301 - Controlled through the Kimberley Process Certification Scheme.

Code of Federal Regulations, 2012 CFR

2012-07-01

... Process Certification Scheme. 592.301 Section 592.301 Money and Finance: Treasury Regulations Relating to... Certification Scheme. (a) Except as otherwise provided in paragraph (b) of this section, the term controlled through the Kimberley Process Certification Scheme refers to the following requirements that apply, as...

Automated, Certified Program-rewriting for Software Security Enforcement

DTIC Science & Technology

2012-03-05

VLC ), pages 257-260, Oak Brook, Illinois, Oc- tober 2010. [14] Aditi A. Patwardhan. Security-aware program visualization for analyz- ing in-lined...January 2010. [17] Meera Sridhar and Kevin W. Hamlen. Flexible in-lined reference moni- tor certification: Challenges and future directions. In...pages 55-60, Austin, Texas, January 2011. [18] Bhavani Thuraisingham and Kevin W. Hamlen. Challenges and future directions of software technology

Making the Implicit Explicit: Towards an Assurance Case for DO-178C

NASA Technical Reports Server (NTRS)

Holloway, C. Michael

2013-01-01

For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B) has been the primary means for receiving regulatory approval for using software on commercial airplanes. A new edition of the standard, DO-178C, was published in December 2011, and regulatory bodies have started the process towards recognizing this edition. The stated purpose of DO-178C remains unchanged from its predecessor: providing guidance “for the production of software for airborne systems and equipment that performs its intended function with a level of confidence in safety that complies with airworthiness requirements.” Within the text of the guidance, little or no rationale is given for how a particular objective or collection of objectives contributes to achieving this purpose. Thus the assurance case for the document is implicit. This paper discusses a current effort to make the implicit explicit. In particular, the paper describes the current status of the research seeking to identify the specific arguments contained in, or implied by, the DO-178C guidance that implicitly justify the assumption that the document meets its stated purpose.

Formal methods and their role in digital systems validation for airborne systems

NASA Technical Reports Server (NTRS)

Rushby, John

1995-01-01

This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a guide to assist FAA certification specialists with advanced technology issues). Its purpose is to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations; to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications; and to suggest factors for consideration when formal methods are offered in support of certification. The presentation concentrates on the rationale for formal methods and on their contribution to assurance for critical applications within a context such as that provided by DO-178B (the guidelines for software used on board civil aircraft); it is intended as an introduction for those to whom these topics are new.

Certification trails and software design for testability

NASA Technical Reports Server (NTRS)

Sullivan, Gregory F.; Wilson, Dwight S.; Masson, Gerald M.

1993-01-01

Design techniques which may be applied to make program testing easier were investigated. Methods for modifying a program to generate additional data which we refer to as a certification trail are presented. This additional data is designed to allow the program output to be checked more quickly and effectively. Certification trails were described primarily from a theoretical perspective. A comprehensive attempt to assess experimentally the performance and overall value of the certification trail method is reported. The method was applied to nine fundamental, well-known algorithms for the following problems: convex hull, sorting, huffman tree, shortest path, closest pair, line segment intersection, longest increasing subsequence, skyline, and voronoi diagram. Run-time performance data for each of these problems is given, and selected problems are described in more detail. Our results indicate that there are many cases in which certification trails allow for significantly faster overall program execution time than a 2-version programming approach, and also give further evidence of the breadth of applicability of this method.

Certification renewal process of the American Board of Orthodontics.

PubMed

Castelein, Paul T; DeLeon, Eladio; Dugoni, Steven A; Chung, Chun-Hsi; Tadlock, Larry P; Barone, Nicholas D; Kulbersh, Valmy P; Sabott, David G; Kastrop, Marvin C

2015-05-01

The American Board of Orthodontics was established in 1929 and is the oldest specialty board in dentistry. Its goal is to protect the public by ensuring competency through the certification of eligible orthodontists. Originally, applicants for certification submitted a thesis, 5 case reports, and a set of casts with appliances. Once granted, the certification never expired. Requirements have changed over the years. In 1950, 15 cases were required, and then 10 in 1987. The Board has continued to refine and improve the certification process. In 1998, certification became time limited, and a renewal process was initiated. The Board continues to improve the recertification process. Copyright © 2015 American Association of Orthodontists. Published by Elsevier Inc. All rights reserved.

Innovative Approaches to Flaw-Tolerant Design and Certification of Airframe Components. Report on NACA Data- Task 6

DTIC Science & Technology

2017-10-16

parameter A3 of the design curve is negative for 24S-T3. The design curve shown in Figure 41 for Model S2 is comparable with the design curve shown...Approaches to Flaw-Tolerant Design and Certification of Airframe Components Report on NACA Data – Task 6 Ricardo Actis and Barna Szabó Engineering...Software Research and Development, Inc. 111 West Port Plaza, Suite 825 St. Louis, MO 63146 September 26, 2017 Revised: October 16, 2017

General Aviation Pilot Advisory and Training System (GAPATS)

NASA Technical Reports Server (NTRS)

Painter, John; Ward, Donald T.; Kelly, Wallace; Crump, John W.; Phillips, Ron; Trang, Jeff; Lee, Kris; Branham, Paul A.; Krishnamurthy, Karthik; Alcorn, William P., Jr.;

CrossTalk: The Journal of Defense Software Engineering. Volume 19, Number 7

DTIC Science & Technology

2006-07-01

public key certificates and cryptographic keys for crypto - graphic devices. In an environment where enterprise protection relies on an array of IA-enabled...allowing for greater accuracy, currency , and relevance of the information con- tained in the satellite communications data- base will be evaluated...JWPO). The purpose of the JWPO is to define, develop, validate, and evolve the JTRS SCA; acquire wave- form software applications; acquire Crypto

Space station data management system - A common GSE test interface for systems testing and verification

NASA Technical Reports Server (NTRS)

Martinez, Pedro A.; Dunn, Kevin W.

1987-01-01

This paper examines the fundamental problems and goals associated with test, verification, and flight-certification of man-rated distributed data systems. First, a summary of the characteristics of modern computer systems that affect the testing process is provided. Then, verification requirements are expressed in terms of an overall test philosophy for distributed computer systems. This test philosophy stems from previous experience that was gained with centralized systems (Apollo and the Space Shuttle), and deals directly with the new problems that verification of distributed systems may present. Finally, a description of potential hardware and software tools to help solve these problems is provided.

Verification and Validation Challenges for Adaptive Flight Control of Complex Autonomous Systems

NASA Technical Reports Server (NTRS)

Nguyen, Nhan T.

2018-01-01

Autonomy of aerospace systems requires the ability for flight control systems to be able to adapt to complex uncertain dynamic environment. In spite of the five decades of research in adaptive control, the fact still remains that currently no adaptive control system has ever been deployed on any safety-critical or human-rated production systems such as passenger transport aircraft. The problem lies in the difficulty with the certification of adaptive control systems since existing certification methods cannot readily be used for nonlinear adaptive control systems. Research to address the notion of metrics for adaptive control began to appear in the recent years. These metrics, if accepted, could pave a path towards certification that would potentially lead to the adoption of adaptive control as a future control technology for safety-critical and human-rated production systems. Development of certifiable adaptive control systems represents a major challenge to overcome. Adaptive control systems with learning algorithms will never become part of the future unless it can be proven that they are highly safe and reliable. Rigorous methods for adaptive control software verification and validation must therefore be developed to ensure that adaptive control system software failures will not occur, to verify that the adaptive control system functions as required, to eliminate unintended functionality, and to demonstrate that certification requirements imposed by regulatory bodies such as the Federal Aviation Administration (FAA) can be satisfied. This presentation will discuss some of the technical issues with adaptive flight control and related V&V challenges.

Type Certification Process

DOT National Transportation Integrated Search

1995-03-02

This order prescribes the responsibilities and procedures for Federal Aviation Administration (FAA) aircraft certification personnel responsible for the certification process required by the Federal Aviation Regulations for civil aircraft,aircraft en...

Framework for Design of Traceability System on Organic Rice Certification

NASA Astrophysics Data System (ADS)

Purwandoko, P. B.; Seminar, K. B.; Sutrisno; Sugiyanta

2018-05-01

Nowadays, the preferences of organic products such as organic rice have been increased. It because of the people awareness of the healthy and eco-friendly food product consumption has grown. Therefore, it is very important to ensure organic quality of the product that will be produced. Certification is a series of process that holds to ensure the quality of products meets all criteria of organic standards. Currently, there is a problem that traceability information system for organic rice certification has been not available. The current system still conducts manually caused the loss of information during storage process. This paper aimed at developing a traceability framework on organic rice certification process. First, the main discussed issues are organic certification process. Second, unified modeling language (UML) is used to build the model of user requirement in order to develop traceability system for all actors in the certification process. Furthermore, the information captured model along certification process will be explained in this paper. The model shows the information flow that has to be recorded for each actor. Finally, the challenges in the implementation system will be discussed in this paper.

40 CFR 1033.625 - Special certification provisions for non-locomotive-specific engines.

Code of Federal Regulations, 2010 CFR

2010-07-01

... and engine family identifier for the engines. (ii) A brief engineering analysis describing how the... engine software. Note that this allowance to separately submit some of the information required by § 1033...

40 CFR 1033.625 - Special certification provisions for non-locomotive-specific engines.

Code of Federal Regulations, 2011 CFR

2011-07-01

... and engine family identifier for the engines. (ii) A brief engineering analysis describing how the... engine software. Note that this allowance to separately submit some of the information required by § 1033...

40 CFR 1033.625 - Special certification provisions for non-locomotive-specific engines.

Code of Federal Regulations, 2014 CFR

2014-07-01

... name of the engine manufacturer and engine family identifier for the engines. (ii) A brief engineering... proprietary engine software. Note that this allowance to separately submit some of the information required by...

40 CFR 1033.625 - Special certification provisions for non-locomotive-specific engines.

Code of Federal Regulations, 2012 CFR

2012-07-01

... name of the engine manufacturer and engine family identifier for the engines. (ii) A brief engineering... proprietary engine software. Note that this allowance to separately submit some of the information required by...

40 CFR 1033.625 - Special certification provisions for non-locomotive-specific engines.

Code of Federal Regulations, 2013 CFR

2013-07-01

... name of the engine manufacturer and engine family identifier for the engines. (ii) A brief engineering... proprietary engine software. Note that this allowance to separately submit some of the information required by...

28 CFR 26.23 - Certification process.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 28 Judicial Administration 1 2010-07-01 2010-07-01 false Certification process. 26.23 Section 26.23 Judicial Administration DEPARTMENT OF JUSTICE DEATH SENTENCES PROCEDURES Certification Process for... mechanism for providing legal representation to indigent prisoners in state postconviction proceedings in...

Certifying Domain-Specific Policies

NASA Technical Reports Server (NTRS)

Lowry, Michael; Pressburger, Thomas; Rosu, Grigore; Koga, Dennis (Technical Monitor)

2001-01-01

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

Natural Language Interface for Safety Certification of Safety-Critical Software

NASA Technical Reports Server (NTRS)

Denney, Ewen; Fischer, Bernd

2011-01-01

Model-based design and automated code generation are being used increasingly at NASA. The trend is to move beyond simulation and prototyping to actual flight code, particularly in the guidance, navigation, and control domain. However, there are substantial obstacles to more widespread adoption of code generators in such safety-critical domains. Since code generators are typically not qualified, there is no guarantee that their output is correct, and consequently the generated code still needs to be fully tested and certified. The AutoCert generator plug-in supports the certification of automatically generated code by formally verifying that the generated code is free of different safety violations, by constructing an independently verifiable certificate, and by explaining its analysis in a textual form suitable for code reviews.

Uav Photgrammetric Workflows: a best Practice Guideline

NASA Astrophysics Data System (ADS)

Federman, A.; Santana Quintero, M.; Kretz, S.; Gregg, J.; Lengies, M.; Ouimet, C.; Laliberte, J.

2017-08-01

The increasing commercialization of unmanned aerial vehicles (UAVs) has opened the possibility of performing low-cost aerial image acquisition for the documentation of cultural heritage sites through UAV photogrammetry. The flying of UAVs in Canada is regulated through Transport Canada and requires a Special Flight Operations Certificate (SFOC) in order to fly. Various image acquisition techniques have been explored in this review, as well as well software used to register the data. A general workflow procedure has been formulated based off of the literature reviewed. A case study example of using UAV photogrammetry at Prince of Wales Fort is discussed, specifically in relation to the data acquisition and processing. Some gaps in the literature reviewed highlight the need for streamlining the SFOC application process, and incorporating UAVs into cultural heritage documentation courses.

75 FR 75955 - Notice of Request for Extension and Revision of a Currently Approved Information Collection for...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-12-07

... Governing Inspection and Certification of Processed Fruits and Vegetables and Related Products AGENCY...: ``Regulations Governing Inspection and Certification of Processed Fruits and Vegetables and Related Products--7..., certifications of quantity and quality, import product inspections, and export certification. Affected public may...

Ruggedized minicomputer hardware and software topics, 1981: Proceedings of the 4th ROLM MIL-SPEC Computer User's Group Conference

NASA Technical Reports Server (NTRS)

1981-01-01

Presentations of a conference on the use of ruggedized minicomputers are summarized. The following topics are discussed: (1) the role of minicomputers in the development and/or certification of commercial or military airplanes in both the United States and Europe; (2) generalized software error detection techniques; (3) real time software development tools; (4) a redundancy management research tool for aircraft navigation/flight control sensors; (5) extended memory management techniques using a high order language; and (6) some comments on establishing a system maintenance scheme. Copies of presentation slides are also included.

78 FR 40627 - Prohibitions and Conditions on the Importation and Exportation of Rough Diamonds

Federal Register 2010, 2011, 2012, 2013, 2014

2013-07-08

... November 5, 2002, the launch of the Kimberley Process Certification Scheme (KPCS) for rough diamonds. Under... implements the Kimberley Process Certification Scheme (KPCS) for rough diamonds. The KPCS is a process, based... not been controlled through the Kimberley Process Certification Scheme. By Executive Order 13312 dated...

Development of design parameters for virtual cement and concrete testing.

DOT National Transportation Integrated Search

2013-12-01

The development, testing, and certification of new concrete mix designs is an expensive and time-consuming aspect : of the concrete industry. A software package, named the Virtual Concrete and Cement Testing Laboratory (VCCTL), : has been developed b...

Quality Assurance of Software Used In Aircraft Or Related Products

DOT National Transportation Integrated Search

1993-02-01

This advisory circular (AC) provides an acceptable means, but not the only means, to show compliance with the quality assurance requirements of Federal Aviation Regulations (FAR) Part 21, Certification Procedures for Products and Parts, as applicable...

Software Construction and Analysis Tools for Future Space Missions

NASA Technical Reports Server (NTRS)

Lowry, Michael R.; Clancy, Daniel (Technical Monitor)

2002-01-01

NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long distances exploring geographic features formed by surface water early in the planet's history. The software-based functions for these missions will need to be robust and highly reliable, raising significant challenges in the context of recent Mars mission failures attributed to software faults. After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges; 1) Program synthesis tools based on automated inference that generate documentation for manual review and annotations for automated certification. 2) Model-checking tools for concurrent object-oriented software that achieve memorability through synergy with program abstraction and static analysis tools.

Configuring the Orion Guidance, Navigation, and Control Flight Software for Automated Sequencing

NASA Technical Reports Server (NTRS)

Odegard, Ryan G.; Siliwinski, Tomasz K.; King, Ellis T.; Hart, Jeremy J.

2010-01-01

The Orion Crew Exploration Vehicle is being designed with greater automation capabilities than any other crewed spacecraft in NASA s history. The Guidance, Navigation, and Control (GN&C) flight software architecture is designed to provide a flexible and evolvable framework that accommodates increasing levels of automation over time. Within the GN&C flight software, a data-driven approach is used to configure software. This approach allows data reconfiguration and updates to automated sequences without requiring recompilation of the software. Because of the great dependency of the automation and the flight software on the configuration data, the data management is a vital component of the processes for software certification, mission design, and flight operations. To enable the automated sequencing and data configuration of the GN&C subsystem on Orion, a desktop database configuration tool has been developed. The database tool allows the specification of the GN&C activity sequences, the automated transitions in the software, and the corresponding parameter reconfigurations. These aspects of the GN&C automation on Orion are all coordinated via data management, and the database tool provides the ability to test the automation capabilities during the development of the GN&C software. In addition to providing the infrastructure to manage the GN&C automation, the database tool has been designed with capabilities to import and export artifacts for simulation analysis and documentation purposes. Furthermore, the database configuration tool, currently used to manage simulation data, is envisioned to evolve into a mission planning tool for generating and testing GN&C software sequences and configurations. A key enabler of the GN&C automation design, the database tool allows both the creation and maintenance of the data artifacts, as well as serving the critical role of helping to manage, visualize, and understand the data-driven parameters both during software development and throughout the life of the Orion project.

Implementation Of The Materials Certification Process

DOT National Transportation Integrated Search

2000-05-26

The South Dakota Department of Transportation has committed resources to investigate certification practices across the United States, and to develop and implement an improved material certification process. The research team reviewed Study SD96-06 a...

Coverage Metrics for Model Checking

NASA Technical Reports Server (NTRS)

Penix, John; Visser, Willem; Norvig, Peter (Technical Monitor)

2001-01-01

When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

7 CFR 868.262 - Grade designation and other certificate information.

Code of Federal Regulations, 2013 CFR

2013-01-01

... Brown Rice for Processing Principles Governing Application of Standards § 868.262 Grade designation and other certificate information. (a) Brown rice for processing. The grade designation for all classes of Brown rice for processing shall be included on the certificate grade-line in the following order: (1...

7 CFR 868.262 - Grade designation and other certificate information.

Code of Federal Regulations, 2010 CFR

2010-01-01

... Brown Rice for Processing Principles Governing Application of Standards § 868.262 Grade designation and other certificate information. (a) Brown rice for processing. The grade designation for all classes of Brown rice for processing shall be included on the certificate grade-line in the following order: (1...

7 CFR 868.262 - Grade designation and other certificate information.

Code of Federal Regulations, 2011 CFR

2011-01-01

... Brown Rice for Processing Principles Governing Application of Standards § 868.262 Grade designation and other certificate information. (a) Brown rice for processing. The grade designation for all classes of Brown rice for processing shall be included on the certificate grade-line in the following order: (1...

7 CFR 868.262 - Grade designation and other certificate information.

Code of Federal Regulations, 2014 CFR

2014-01-01

... Brown Rice for Processing Principles Governing Application of Standards § 868.262 Grade designation and other certificate information. (a) Brown rice for processing. The grade designation for all classes of Brown rice for processing shall be included on the certificate grade-line in the following order: (1...

7 CFR 868.262 - Grade designation and other certificate information.

Code of Federal Regulations, 2012 CFR

2012-01-01

... Brown Rice for Processing Principles Governing Application of Standards § 868.262 Grade designation and other certificate information. (a) Brown rice for processing. The grade designation for all classes of Brown rice for processing shall be included on the certificate grade-line in the following order: (1...

Direct Certification Process. Nourishing News. Volume 4, Issue 3

ERIC Educational Resources Information Center

Idaho State Department of Education, 2009

2009-01-01

This newsletter discusses the Electronic Direct Certification process and provides additional insight as needed. Under this New Direct Certification process school districts compare information from their student information system to Idaho State Department of Health and Welfare database to certify children receiving Food Stamps or TAFI as…

78 FR 12135 - List of Participating Countries and Entities (Hereinafter Known as “Participants”) Under the...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-02-21

... has not been controlled through the Kimberley Process Certification Scheme (KPCS). Under Section 3(2) of the Act, ``controlled through the Kimberley Process Certification Scheme'' means an importation... Kimberley Process Certification Scheme. Angola--Ministry of Geology and Mines. Armenia--Ministry of Trade...

PEM public key certificate cache server

NASA Astrophysics Data System (ADS)

Cheung, T.

1993-12-01

Privacy Enhanced Mail (PEM) provides privacy enhancement services to users of Internet electronic mail. Confidentiality, authentication, message integrity, and non-repudiation of origin are provided by applying cryptographic measures to messages transferred between end systems by the Message Transfer System. PEM supports both symmetric and asymmetric key distribution. However, the prevalent implementation uses a public key certificate-based strategy, modeled after the X.509 directory authentication framework. This scheme provides an infrastructure compatible with X.509. According to RFC 1422, public key certificates can be stored in directory servers, transmitted via non-secure message exchanges, or distributed via other means. Directory services provide a specialized distributed database for OSI applications. The directory contains information about objects and then provides structured mechanisms for accessing that information. Since directory services are not widely available now, a good approach is to manage certificates in a centralized certificate server. This document describes the detailed design of a centralized certificate cache serve. This server manages a cache of certificates and a cache of Certificate Revocation Lists (CRL's) for PEM applications. PEMapplications contact the server to obtain/store certificates and CRL's. The server software is programmed in C and ELROS. To use this server, ISODE has to be configured and installed properly. The ISODE library 'libisode.a' has to be linked together with this library because ELROS uses the transport layer functions provided by 'libisode.a.' The X.500 DAP library that is included with the ELROS distribution has to be linked in also, since the server uses the DAP library functions to communicate with directory servers.

77 FR 27831 - List of Participating Countries and Entities Under the Clean Diamond Trade Act of 2003

Federal Register 2010, 2011, 2012, 2013, 2014

2012-05-11

... Kimberley Process Certification Scheme (KPCS). Under Section 3(2) of the Act, ``controlled through the Kimberley Process Certification Scheme'' means an importation from the territory of a Participant or... Participants in the Kimberley Process Certification Scheme. Angola--Ministry of Geology and Mines. Armenia...

31 CFR 592.201 - Prohibited importation and exportation of any rough diamond; permitted importation or exportation...

Code of Federal Regulations, 2010 CFR

2010-07-01

..., unless the rough diamond has been controlled through the Kimberley Process Certification Scheme. (b) The... States of any rough diamond not controlled through the Kimberley Process Certification Scheme do not... Process Certification Scheme and thus is not permitted, except in the following circumstance. The...

Turning Schools Around: The National Board Certification Process as a School Improvement Strategy

ERIC Educational Resources Information Center

Jaquith, Ann; Snyder, Jon

2016-01-01

Can the National Board certification process support school improvement where large proportions of students score below grade level on standardized tests? This SCOPE study examines a project that sought to seize and capitalize upon the learning opportunities embedded in the National Board certification process, particularly opportunities to learn…

Turning Schools Around: The National Board Certification Process as a School Improvement Strategy. Research Brief

ERIC Educational Resources Information Center

Jaquith, Ann; Snyder, Jon

2016-01-01

Can the National Board certification process support school improvement where large proportions of students score below grade level on standardized tests? This SCOPE study examines a project that sought to seize and capitalize upon the learning opportunities embedded in the National Board certification process, particularly opportunities to learn…

40 CFR 75.20 - Initial certification and recertification procedures.

Code of Federal Regulations, 2014 CFR

2014-07-01

... all applicable initial certification tests under paragraph (c) of this section are completed by the... installed, initial certification is required. (1) Notification of initial certification test dates. The...) tests. (4) Certification (or recertification) application formal approval process. The Administrator...

40 CFR 75.20 - Initial certification and recertification procedures.

Code of Federal Regulations, 2013 CFR

2013-07-01

... all applicable initial certification tests under paragraph (c) of this section are completed by the... installed, initial certification is required. (1) Notification of initial certification test dates. The...) tests. (4) Certification (or recertification) application formal approval process. The Administrator...

40 CFR 75.20 - Initial certification and recertification procedures.

Code of Federal Regulations, 2011 CFR

2011-07-01

... all applicable initial certification tests under paragraph (c) of this section are completed by the... installed, initial certification is required. (1) Notification of initial certification test dates. The...) tests. (4) Certification (or recertification) application formal approval process. The Administrator...

42 CFR 484.20 - Condition of participation: Reporting OASIS information.

Code of Federal Regulations, 2010 CFR

2010-10-01

... information. 484.20 Section 484.20 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) STANDARDS AND CERTIFICATION HOME HEALTH SERVICES Administration...) Transmit data using electronics communications software that provides a direct telephone connection from...

Use of Unified Modeling Language (UML) in Model-Based Development (MBD) For Safety-Critical Applications

DTIC Science & Technology

2014-12-01

appears that UML is becoming the de facto MBD language. OMG® states the following on the MDA® FAQ page: “Although not formally required [for MBD], UML...a known limitation [42], so UML users should plan accordingly, especially for safety-critical programs. For example, “models are not used to...description of the MBD tool chain can be produced. That description could be resident in a Plan for Software Aspects of Certification (PSAC) or Software

Quality assurance and risk management: Perspectives on Human Factors Certification of Advanced Aviation Systems

NASA Technical Reports Server (NTRS)

Taylor, Robert M.; Macleod, Iain S.

1994-01-01

This paper is based on the experience of engineering psychologists advising the U.K. Ministry of Defense (MoD) on the procurement of advanced aviation systems that conform to good human engineering (HE) practice. Traditional approaches to HE in systems procurement focus on the physical nature of the human-machine interface. Advanced aviation systems present increasingly complex design requirements for human functional integration, information processing, and cognitive task performance effectiveness. These developing requirements present new challenges for HE quality assurance (QA) and risk management, requiring focus on design processes as well as on design content or product. A new approach to the application of HE, recently adopted by NATO, provides more systematic ordering and control of HE processes and activities to meet the challenges of advanced aircrew systems design. This systematic approach to HE has been applied by MoD to the procurement of mission systems for the Royal Navy Merlin helicopter. In MoD procurement, certification is a judicial function, essentially independent of the service customer and industry contractor. Certification decisions are based on advice from MoD's appointed Acceptance Agency. Test and evaluation (T&E) conducted by the contractor and by the Acceptance Agency provide evidence for certification. Certification identifies limitations of systems upon release to the service. Evidence of compliance with HE standards traditionally forms the main basis of HE certification and significant non-compliance could restrict release. The systems HE approach shows concern for the quality of processes as well as for the content of the product. Human factors certification should be concerned with the quality of HE processes as well as products. Certification should require proof of process as well as proof of content and performance. QA criteria such as completeness, consistency, timeliness, and compatibility provide generic guidelines for progressive acceptance and certification of HE processes. Threats to the validity of certification arise from problems and assumptions in T&E methods. T&E should seek to reduce the risk of specification non-compliance and certification failure.

Overview of Computer Security Certification and Accreditation. Final Report.

ERIC Educational Resources Information Center

Ruthberg, Zella G.; Neugent, William

Primarily intended to familiarize ADP (automatic data processing) policy and information resource managers with the approach to computer security certification and accreditation found in "Guideline to Computer Security Certification and Accreditation," Federal Information Processing Standards Publications (FIPS-PUB) 102, this overview…

45 CFR 155.1010 - Certification process for QHPs.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 155.1010 Public Welfare DEPARTMENT OF HEALTH AND HUMAN SERVICES REQUIREMENTS RELATING TO HEALTH CARE ACCESS EXCHANGE ESTABLISHMENT STANDARDS AND OTHER RELATED STANDARDS UNDER THE AFFORDABLE CARE ACT Exchange Functions: Certification of Qualified Health Plans § 155.1010 Certification process for QHPs. (a...

Holistic nurses' examinations: past, present, future.

PubMed

Erickson, Helen L

2009-09-01

Social and professional paradigm shifts of the 1990s moved holistic nursing into the mainstream of health care, resulting in the need for national certification of Holistic Nurses. Given the assumptions that certification examinations are based on the knowledge, skills, and abilities prerequisite for competent practice in a given specialty, and that the certification credential tells the public and peers that the certificant has such knowledge, The American Holistic Nurses Association's Leadership Council (AHNA-LC) initiated certification processes in 1994. On the request of AHNA-LC, the American Holistic Nurses' Certification Corporation (AHNCC) assumed these responsibilities in April, 1997. Since then, AHNCC has overseen the revision of the first certification process for holistic nursing prepared at the baccalaureate level and development of a second one designed for holistic nurses prepared in graduate nursing programs. This article describe these developmental processes.

24 CFR 208.108 - Requirements.

Code of Federal Regulations, 2010 CFR

2010-04-01

... their software packages and begin electronic transmission of that data in a HUD specified format by... for certification, recertification and subsidy billing procedures in a HUD specified format to the... format after appropriate review and correction of the data. (d) Projects specified in § 208.104(c...

GASB 34 Financial Statements Are Easier With the Right Tools.

ERIC Educational Resources Information Center

Heinfeld, Gary; Arvizu, C. Christopher; Herrera, Michael L.

2001-01-01

Describes experience with certain tools and resources to help school business officials implement the Governmental Accounting Standards Board Statement 34. Focuses on Association of School Business Officials International's new Certificate of Excellence in Financial Reporting guidebook and financial-statement report-writer software called…

Emerging technologies for V&V of ISHM software for space exploration

NASA Technical Reports Server (NTRS)

Feather, Martin S.; Markosian, Lawrence Z.

2006-01-01

Systems1,2 required to exhibit high operational reliability often rely on some form of fault protection to recognize and respond to faults, preventing faults' escalation to catastrophic failures. Integrated System Health Management (ISHM) extends the functionality of fault protection to both scale to more complex systems (and systems of systems), and to maintain capability rather than just avert catastrophe. Forms of ISHM have been utilized to good effect in the maintenance phase of systems' total lifecycles (often referred to as 'condition-based mainte-nance'), but less so in a 'fault protection' role during actual operations. One of the impediments to such use lies in the challenges of verification, validation and certification of ISHM systems themselves. This paper makes the case that state-of-the-practice V&V and certification techniques will not suffice for emerging forms of ISHM systems; however, a number of maturing software engineering assurance technologies show particular promise for addressing these ISHM V&V challenges.

Implementation of thermographers' certification in Brazil

NASA Astrophysics Data System (ADS)

dos Santos, Laerte; Alves, Luiz M.; da Costa Bortoni, Edson

2011-05-01

In recent years Brazil has experienced extraordinary growth despite the recent economic global crisis. The demand for infrared thermography products and services has accompanied this growth. Like other non-destructive testing and inspection, the results obtained by thermography are highly dependent on the skills of thermographer. Therefore, it is very important to establish a serious and recognized process of certification to assess thermographers' qualifications and help services suppliers to establish credibility with their customers and increase the confidence of these costumers on the quality of these services. The Brazilian Society of Non-Destructive Testing and Inspection, ABENDI, a non-profitable, private technical-scientific entity, recognized nationally and internationally, has observed the necessity of starting a process for certification of thermographers in Brazil. With support of a work group composed by experts from oil and energy industries, transportation, universities and manufactures, the activities started in 2005. This paper describes the economic background required for installation of the certification process, its initial steps, the main characteristics of the Brazilian certification and the expectation for initiating the certification process.

Federal Communications Commission (FCC) Transponder Loading Data Conversion Software. User's guide and software maintenance manual, version 1.2

NASA Technical Reports Server (NTRS)

Mallasch, Paul G.

1993-01-01

This volume contains the complete software system documentation for the Federal Communications Commission (FCC) Transponder Loading Data Conversion Software (FIX-FCC). This software was written to facilitate the formatting and conversion of FCC Transponder Occupancy (Loading) Data before it is loaded into the NASA Geosynchronous Satellite Orbital Statistics Database System (GSOSTATS). The information that FCC supplies NASA is in report form and must be converted into a form readable by the database management software used in the GSOSTATS application. Both the User's Guide and Software Maintenance Manual are contained in this document. This volume of documentation passed an independent quality assurance review and certification by the Product Assurance and Security Office of the Planning Research Corporation (PRC). The manuals were reviewed for format, content, and readability. The Software Management and Assurance Program (SMAP) life cycle and documentation standards were used in the development of this document. Accordingly, these standards were used in the review. Refer to the System/Software Test/Product Assurance Report for the Geosynchronous Satellite Orbital Statistics Database System (GSOSTATS) for additional information.

Synthesizing Certified Code

NASA Technical Reports Server (NTRS)

Whalen, Michael; Schumann, Johann; Fischer, Bernd

2002-01-01

Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

7 CFR 52.28 - Appeal inspection certificate.

Code of Federal Regulations, 2010 CFR

2010-01-01

... MARKETING ACT OF 1946 PROCESSED FRUITS AND VEGETABLES, PROCESSED PRODUCTS THEREOF, AND CERTAIN OTHER PROCESSED FOOD PRODUCTS 1 Regulations Governing Inspection and Certification Appeal Inspection § 52.28...

7 CFR 52.18 - Issuance of certificates.

Code of Federal Regulations, 2010 CFR

2010-01-01

... MARKETING ACT OF 1946 PROCESSED FRUITS AND VEGETABLES, PROCESSED PRODUCTS THEREOF, AND CERTAIN OTHER PROCESSED FOOD PRODUCTS 1 Regulations Governing Inspection and Certification Inspection Service § 52.18...

Transient Faults in Computer Systems

NASA Technical Reports Server (NTRS)

Masson, Gerald M.

1993-01-01

A powerful technique particularly appropriate for the detection of errors caused by transient faults in computer systems was developed. The technique can be implemented in either software or hardware; the research conducted thus far primarily considered software implementations. The error detection technique developed has the distinct advantage of having provably complete coverage of all errors caused by transient faults that affect the output produced by the execution of a program. In other words, the technique does not have to be tuned to a particular error model to enhance error coverage. Also, the correctness of the technique can be formally verified. The technique uses time and software redundancy. The foundation for an effective, low-overhead, software-based certification trail approach to real-time error detection resulting from transient fault phenomena was developed.

Certification & validation of biosafety level-2 & biosafety level-3 laboratories in Indian settings & common issues

PubMed Central

Mourya, Devendra T.; Yadav, Pragya D.; Khare, Ajay; Khan, Anwar H.

2017-01-01

With increasing awareness regarding biorisk management worldwide, many biosafety laboratories are being setup in India. It is important for the facility users, project managers and the executing agencies to understand the process of validation and certification of such biosafety laboratories. There are some international guidelines available, but there are no national guidelines or reference standards available in India on certification and validation of biosafety laboratories. There is no accredited government/private agency available in India to undertake validation and certification of biosafety laboratories. Therefore, the reliance is mostly on indigenous experience, talent and expertise available, which is in short supply. This article elucidates the process of certification and validation of biosafety laboratories in a concise manner for the understanding of the concerned users and suggests the important parameters and criteria that should be considered and addressed during the laboratory certification and validation process. PMID:29434059

Certification & validation of biosafety level-2 & biosafety level-3 laboratories in Indian settings & common issues.

PubMed

Mourya, Devendra T; Yadav, Pragya D; Khare, Ajay; Khan, Anwar H

2017-10-01

With increasing awareness regarding biorisk management worldwide, many biosafety laboratories are being setup in India. It is important for the facility users, project managers and the executing agencies to understand the process of validation and certification of such biosafety laboratories. There are some international guidelines available, but there are no national guidelines or reference standards available in India on certification and validation of biosafety laboratories. There is no accredited government/private agency available in India to undertake validation and certification of biosafety laboratories. Therefore, the reliance is mostly on indigenous experience, talent and expertise available, which is in short supply. This article elucidates the process of certification and validation of biosafety laboratories in a concise manner for the understanding of the concerned users and suggests the important parameters and criteria that should be considered and addressed during the laboratory certification and validation process.

7 CFR 52.19 - Issuance of corrected certificates.

Code of Federal Regulations, 2010 CFR

2010-01-01

... MARKETING ACT OF 1946 PROCESSED FRUITS AND VEGETABLES, PROCESSED PRODUCTS THEREOF, AND CERTAIN OTHER PROCESSED FOOD PRODUCTS 1 Regulations Governing Inspection and Certification Inspection Service § 52.19...

77 FR 74852 - Draft Guidance for Industry on Certification of Designated Medical Gases; Availability

Federal Register 2010, 2011, 2012, 2013, 2014

2012-12-18

... the availability of a draft guidance for industry entitled ``Certification Process for Designated Medical Gases.'' This draft guidance describes the new certification process created by the Food and Drug Administration Safety and Innovation Act (FDASIA) for certain medical gases and explains how FDA plans to...

Towards a certification process for tsunami early warning systems

NASA Astrophysics Data System (ADS)

Löwe, Peter; Wächter, Jochen; Hammitzsch, Martin

2013-04-01

The natural disaster of the Boxing Day Tsunami of 2004 was followed by an information catastrophe. Crucial early warning information could not be delivered to the communities under imminent threat, resulting in over 240,000 casualties in 14 countries. This tragedy sparked the development of a new generation of integrated modular Tsunami Early Warning Systems (TEWS). While significant advances were accomplished in the past years, recent events, like the Chile 2010 and the Tohoku 2011 tsunami demonstrate that the key technical challenge for Tsunami Early Warning research on the supranational scale still lies in the timely issuing of status information and reliable early warning messages in a proven workflow. A second challenge stems from the main objective of the Intergovernmental Oceanographic Commission of UNESCO (IOC) Tsunami Programme, the integration of national TEWS towards ocean-wide networks: Each of the increasing number of integrated Tsunami Early Warning Centres has to cope with the continuing evolution of sensors, hardware and software while having to maintain reliable inter-center information exchange services. To avoid future information catastrophes, the performance of all components, ranging from individual sensors, to Warning Centers within their particular end-to-end Warning System Environments, and up to federated Systems of Tsunami Warning Systems has to be regularly validated against defined criteria. Since 2004, GFZ German Research Centre for Geosciences (GFZ) has built up expertise in the field of TEWS. Within GFZ, the Centre for GeoInformation Technology (CeGIT) has focused its work on the geoinformatics aspects of TEWS in two projects already, being the German Indonesian Tsunami Early Warning System (GITEWS) and the Distant Early Warning System (DEWS). This activity is continued in the TRIDEC project (Collaborative, Complex, and Critical Decision Processes in Evolving Crises) funded under the European Union's seventh Framework Programme (FP7). TRIDEC focuses on real-time intelligent information management in Earth management and its long-term application: The technical development is based on mature system architecture models and industry standards. The use of standards already applies to the operation of individual TRIDEC reference installations and their interlinking into an integrated service infrastructure for supranational warning services. This is a first step towards best practices and service lifecycles for Early Warning Centre IT service management, including Service Level Agreements (SLA) and Service Certification. While on a global scale the integration of TEWS progresses towards Systems of Systems (SoS), there is still an absence of accredited and reliable certifications for national TEWS or regional Tsunami Early Warning Systems of Systems (TEWSoS). Concepts for TEWS operations have already been published under the guidance of the IOC, and can now be complemented by the recent research advances concerning SoS architecture. Combined with feedback from the real world, such as the NEAMwave 2012 Tsunami exercise in the Mediterranean, this can serve as a starting point to formulate initial requirements for TEWS and TEWSoS certification: Certification activities will cover the establishment of new TEWS and TEWSoS, and also both maintenance and enhancement of existing TEWS/TEWSoS. While the IOC is expected to take a central role in the development of the certification strategy, it remains to be defined which bodies will actually conduct the certification process. Certification requirements and results are likely to become a valuable information source for various target groups, ranging from national policy decision makers, government agency planners, national and local government preparedness officials, TWC staff members, Disaster Responders, the media and the insurance industry.

Certification for civil flight decks and the human-computer interface

NASA Technical Reports Server (NTRS)

Mcclumpha, Andrew J.; Rudisill, Marianne

1994-01-01

This paper will address the issue of human factor aspects of civil flight deck certification, with emphasis on the pilot's interface with automation. In particular, three questions will be asked that relate to this certification process: (1) are the methods, data, and guidelines available from human factors to adequately address the problems of certifying as safe and error tolerant the complex automated systems of modern civil transport aircraft; (2) do aircraft manufacturers effectively apply human factors information during the aircraft flight deck design process; and (3) do regulatory authorities effectively apply human factors information during the aircraft certification process?

Employing National Board Certification Practices with All Teachers: The Potential of Cognitive Coaching and Mentoring

ERIC Educational Resources Information Center

Diaz, Kirsten Anne

2013-01-01

National Board Certification is an esteemed certification and professional learning and reflective opportunity for teachers. Cognitive coaching is also a method of support many teachers receive over the course of their National Board Certification journey. The certification process involves reflective practices and opportunities for teachers to…

7 CFR 52.39 - Issuance of certificate of sampling.

Code of Federal Regulations, 2010 CFR

2010-01-01

... MARKETING ACT OF 1946 PROCESSED FRUITS AND VEGETABLES, PROCESSED PRODUCTS THEREOF, AND CERTAIN OTHER PROCESSED FOOD PRODUCTS 1 Regulations Governing Inspection and Certification Sampling § 52.39 Issuance of...

Design and demonstration of automated data analysis algorithms for ultrasonic inspection of complex composite panels with bonds

NASA Astrophysics Data System (ADS)

Aldrin, John C.; Forsyth, David S.; Welter, John T.

2016-02-01

To address the data review burden and improve the reliability of the ultrasonic inspection of large composite structures, automated data analysis (ADA) algorithms have been developed to make calls on indications that satisfy the detection criteria and minimize false calls. The original design followed standard procedures for analyzing signals for time-of-flight indications and backwall amplitude dropout. However, certain complex panels with varying shape, ply drops and the presence of bonds can complicate this interpretation process. In this paper, enhancements to the automated data analysis algorithms are introduced to address these challenges. To estimate the thickness of the part and presence of bonds without prior information, an algorithm tracks potential backwall or bond-line signals, and evaluates a combination of spatial, amplitude, and time-of-flight metrics to identify bonded sections. Once part boundaries, thickness transitions and bonded regions are identified, feature extraction algorithms are applied to multiple sets of through-thickness and backwall C-scan images, for evaluation of both first layer through thickness and layers under bonds. ADA processing results are presented for a variety of complex test specimens with inserted materials and other test discontinuities. Lastly, enhancements to the ADA software interface are presented, which improve the software usability for final data review by the inspectors and support the certification process.

20 CFR 655.163 - Certification fee.

Code of Federal Regulations, 2011 CFR

2011-04-01

... Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Labor Certification Determinations § 655.163 Certification fee. A...

7 CFR 1753.39 - Closeout documents.

Code of Federal Regulations, 2011 CFR

2011-01-01

... amendments may be submitted to RUS with the engineer's contract closeout certification. (b) Taxes. Under the... equipment, material and software covered by the contracts. If any such tax is paid by the bidder, the... closeout procedure contained in RUS Contract Form 525, the borrower shall: (1) Obtain from the engineer a...

7 CFR 1753.39 - Closeout documents.

Code of Federal Regulations, 2013 CFR

2013-01-01

... amendments may be submitted to RUS with the engineer's contract closeout certification. (b) Taxes. Under the... equipment, material and software covered by the contracts. If any such tax is paid by the bidder, the... closeout procedure contained in RUS Contract Form 525, the borrower shall: (1) Obtain from the engineer a...

7 CFR 1753.39 - Closeout documents.

Code of Federal Regulations, 2012 CFR

2012-01-01

... amendments may be submitted to RUS with the engineer's contract closeout certification. (b) Taxes. Under the... equipment, material and software covered by the contracts. If any such tax is paid by the bidder, the... closeout procedure contained in RUS Contract Form 525, the borrower shall: (1) Obtain from the engineer a...

7 CFR 1753.39 - Closeout documents.

Code of Federal Regulations, 2014 CFR

2014-01-01

... amendments may be submitted to RUS with the engineer's contract closeout certification. (b) Taxes. Under the... equipment, material and software covered by the contracts. If any such tax is paid by the bidder, the... closeout procedure contained in RUS Contract Form 525, the borrower shall: (1) Obtain from the engineer a...

AN/UPX-41(C) Test Data Analysis of Impacts to Secondary Surveillance Radars.

DOT National Transportation Integrated Search

2015-02-01

In 2012, the Navy requested spectrum certification for the shipboard AN/UPX-41(C) Digital Interrogator System, Software Version 5.5 with Mode 5. Current operating conditions for the Navys AN/UPX-41(C) are the same as restrictions imposed on the AN...

Model for Characterizing and Creating Certificate Programs in Technology-Specific Areas,

DTIC Science & Technology

1996-05-01

the TOEFL for applicants whose first language is not English. • GRE general and subject test. • Demonstrated competency in <prerequisites for...least 2.75 • English competency as demonstrated by TOEFL • Competence in data structures • Introductory level course in software engineering Course

Validation of the PCN Concept: Mobility, Traffic Flow Confidentiality and Protection Against Directed Attacks

DTIC Science & Technology

2010-11-01

peer, racoon (IKE-daemon) will start authenticating using certificates. After a successful authentication, IPSec security associations will be set up...colour had credentials from one CA. Racoon and ipsec-tools are open-source software, implementing IKE and IPSec. Validation of the PCN Concept; Mobility

The Leverage of National Board Candidacy: An Exploration of Teacher Learning

ERIC Educational Resources Information Center

Hunzicker, Jana

2008-01-01

The vast majority of teachers who engage in the process of National Board certification describe it as the best professional development they have ever experienced - even when they do not achieve the certification. Learning leverage, an interactive dynamic characterized by rigor, reward, and risk, is what makes the certification process such a…

20 CFR 655.208 - Temporary labor certification applications involving fraud or willful misrepresentation.

Code of Federal Regulations, 2010 CFR

2010-04-01

... Labor Certification Process for Logging Employment and Non-H-2A Agricultural Employment § 655.208... prior to a final temporary labor certification determination, or if it is learned that the employer or... employer or agent in writing of this referral. The OFLC Administrator shall continue to process the...

78 FR 27936 - Request for Extension and Revision of a Currently Approved Information Collection With Additional...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-05-13

... Inspection, Certification, Standards, and Audit Services for Fresh Fruits, Vegetables, and Other Products--7... Certification of Processed Fruits and Vegetables and Related Products-- 7 CFR part 52. This notice also combines... Regulations Governing Inspections and Certification of Processed Fruits and Vegetables and Related Products--7...

Report of the 1981 Certificate in Data Processing Examination.

ERIC Educational Resources Information Center

Psychological Corp., New York, NY.

The Certificate in Data Processing (CDP) Examination conducted by the Institute for Certification of Computer Professionals (ICCP) is one of the qualifications for the CDP. The May 1981 administration tested 3,601 candidates at 149 international test sites. Half of the candidates were taking the examination for the first time and were taking all…

Certification in echocardiography of congenital heart disease: experience of the first 6 years of a European process.

PubMed

Mertens, Luc; Miller, Owen; Fox, Kevin; Simpson, John

2013-02-01

Certification in congenital heart disease echocardiography presents unique challenges compared with certification of adult transthoracic and transoesophageal echocardiography. We report our experience in collaboratively developing an exam process that covers the size and age range of congenital heart patients, the varying professional backgrounds of echocardiography practitioners across the field and our approach to the challenge of introducing a pan-European certification endorsed by the major stakeholder groups; the European Association of Echocardiography (EAE), the Association for European Paediatric and Congenital Cardiology (AEPC) and the Grown Up Congenital Heart Working Group of the European Society of Cardiology (ESC). Since its inception in 2006 the exam has been held seven times; 137 candidates from 27 countries have sat the exam, 107 candidates (78%) have passed the exam components and 60 candidates have successfully completed the logbook submission and have been certified in echocardiography of congenital heart disease echocardiography by the EAE. In addition to the certification process, a comprehensive curriculum, teaching programme, and teaching courses have been developed. The instititution of a European certification process for echocardiography of congenital heart disease has proved feasible.

Certification Systems

EPA Pesticide Factsheets

The WaterSense Product Certification System outlines the process and procedures for the product certification to ensure that all WaterSense labeled products meet EPA's criteria for efficiency and performance.

7 CFR 3434.6 - Certification.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 7 Agriculture 15 2013-01-01 2013-01-01 false Certification. 3434.6 Section 3434.6 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE HISPANIC-SERVING AGRICULTURAL COLLEGES AND UNIVERSITIES CERTIFICATION PROCESS § 3434.6 Certification. (a) Except as...

7 CFR 3434.6 - Certification.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 7 Agriculture 15 2014-01-01 2014-01-01 false Certification. 3434.6 Section 3434.6 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE HISPANIC-SERVING AGRICULTURAL COLLEGES AND UNIVERSITIES CERTIFICATION PROCESS § 3434.6 Certification. (a) Except as...

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)

NASA Technical Reports Server (NTRS)

Brat, Guillaume P.; Laserna, Jorge A.; Shi, Nija; Venet, Arnaud Jean

2014-01-01

The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation and makes it accessible to a larger class of static analysis developers by separating concerns such as code parsing, model development, abstract domain management, results management, and analysis strategy. The benefits of the approach is demonstrated by a buffer overflow analysis applied to flight control systems.

The Certification Bandwagon: Know Where You're Headed before Jumping On.

ERIC Educational Resources Information Center

Barksdale, Susan B.; Lund, Teri B.

1998-01-01

Presents results of research focusing on identifying "certification best practices" to provide a framework for business managers and certification practitioners. Describes a 10-step process for evaluating certification programs that takes into consideration four perspectives: audience, learning, business, and financial. (AEF)

20 CFR 656.32 - Revocation of approved labor certifications.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 20 Employees' Benefits 3 2010-04-01 2010-04-01 false Revocation of approved labor certifications. 656.32 Section 656.32 Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR LABOR CERTIFICATION PROCESS FOR PERMANENT EMPLOYMENT OF ALIENS IN THE UNITED STATES Labor Certification...

Unobtrusive Software and System Health Management with R2U2 on a Parallel MIMD Coprocessor

NASA Technical Reports Server (NTRS)

Schumann, Johann; Moosbrugger, Patrick

2017-01-01

Dynamic monitoring of software and system health of a complex cyber-physical system requires observers that continuously monitor variables of the embedded software in order to detect anomalies and reason about root causes. There exists a variety of techniques for code instrumentation, but instrumentation might change runtime behavior and could require costly software re-certification. In this paper, we present R2U2E, a novel realization of our real-time, Realizable, Responsive, and Unobtrusive Unit (R2U2). The R2U2E observers are executed in parallel on a dedicated 16-core EPIPHANY co-processor, thereby avoiding additional computational overhead to the system under observation. A DMA-based shared memory access architecture allows R2U2E to operate without any code instrumentation or program interference.

Experimental evaluation of the certification-trail method

NASA Technical Reports Server (NTRS)

Sullivan, Gregory F.; Wilson, Dwight S.; Masson, Gerald M.; Itoh, Mamoru; Smith, Warren W.; Kay, Jonathan S.

1993-01-01

Certification trails are a recently introduced and promising approach to fault-detection and fault-tolerance. A comprehensive attempt to assess experimentally the performance and overall value of the method is reported. The method is applied to algorithms for the following problems: huffman tree, shortest path, minimum spanning tree, sorting, and convex hull. Our results reveal many cases in which an approach using certification-trails allows for significantly faster overall program execution time than a basic time redundancy-approach. Algorithms for the answer-validation problem for abstract data types were also examined. This kind of problem provides a basis for applying the certification-trail method to wide classes of algorithms. Answer-validation solutions for two types of priority queues were implemented and analyzed. In both cases, the algorithm which performs answer-validation is substantially faster than the original algorithm for computing the answer. Next, a probabilistic model and analysis which enables comparison between the certification-trail method and the time-redundancy approach were presented. The analysis reveals some substantial and sometimes surprising advantages for ther certification-trail method. Finally, the work our group performed on the design and implementation of fault injection testbeds for experimental analysis of the certification trail technique is discussed. This work employs two distinct methodologies, software fault injection (modification of instruction, data, and stack segments of programs on a Sun Sparcstation ELC and on an IBM 386 PC) and hardware fault injection (control, address, and data lines of a Motorola MC68000-based target system pulsed at logical zero/one values). Our results indicate the viability of the certification trail technique. It is also believed that the tools developed provide a solid base for additional exploration.

An Operational Safety and Certification Assessment of a TASAR EFB Application

NASA Technical Reports Server (NTRS)

Koczo, Stefan; Wing, David

2013-01-01

This paper presents an overview of a Traffic Aware Strategic Aircrew Requests (TASAR) Electronic Flight Bag application intended to inform the pilot of trajectory improvement opportunities while en route that result in operational benefits. The results of safety analyses and a detailed review of Federal Aviation Administration (FAA) regulatory documents that establish certification and operational approval requirements are presented for TASAR. The safety analyses indicate that TASAR has a likely Failure Effects Classification of “No Effect,” and at most, is no worse than “Minor Effect.” Based on this safety assessment and the detailed review of FAA regulatory documents that determine certification and operational approval requirements, this study concludes that TASAR can be implemented in the flight deck as a Type B software application hosted on a Class 2 Portable Electronic Device (PED) Electronic Flight Bag (EFB). This implementation approach would provide a relatively low-cost path to certification and operational approval for both retrofit and forward fit implementation, while at the same time facilitating the business case for early ADS-B IN equipage. A preliminary review by FAA certification and operational approvers of the analyses presented here confirmed that the conclusions are appropriate and that TASAR will be considered a Type B application.

Need for Formal Specialization in Pharmacy in Canada: A Survey of Hospital Pharmacists

PubMed Central

Penm, Jonathan; MacKinnon, Neil J; Jorgenson, Derek; Ying, Jun; Smith, Jennifer

2016-01-01

Background The Blueprint for Pharmacy was a collaborative initiative involving all of the major pharmacy associations in Canada. It aimed to coordinate, facilitate, and be a catalyst for changes required to align pharmacy practice with the health care needs of Canadians. In partial fulfilment of this mandate, a needs assessment for specialist certification for pharmacists was conducted. Objective To conduct a secondary analysis of data from the needs assessment to determine the perceptions of hospital pharmacists regarding a formal certification process for pharmacist specialties in Canada. Methods A survey was developed in consultation with the Blueprint for Pharmacy Specialization Project Advisory Group and other key stakeholders. It was distributed electronically, in English and French, to Canadian pharmacists identified through national and provincial pharmacy organizations (survey period January 15 to February 12, 2015). Data for hospital pharmacists were extracted for this secondary analysis. Multivariable logistic regression analyses were conducted to characterize those respondents who supported the certification process and those intending to become certified if a Canadian process were introduced. Results A total of 640 responses were received from hospital pharmacists. Nearly 85% of the respondents (543/640 [84.8%]) supported a formal certification process for pharmacist specialization, and more than 70% (249/349 [71.3%]) indicated their intention to obtain specialty certification if a Canadian process were introduced. Respondents believed that the main barriers to developing such a system were lack of reimbursement models, the time required, and lack of public awareness of pharmacist specialties. They felt that the most important factors for an optimal certification process were a consistent definition of pharmacist specialty practice and consistent recognition of pharmacist specialty practice across Canada. Multiple regression analysis showed that female respondents were more likely to support a formal certification process (odds ratio [OR] 2.6, 95% confidence interval [CI] 1.2–5.7). Also, those who already specialized in pharmacotherapy were more likely to support mandatory certification (OR 2.6, 95% CI 1.1–6.1). Conclusions Hospital pharmacists who responded to this survey overwhelmingly supported certification for pharmacist specialization in Canada. Questions remain about the feasibility of establishing a pharmacist specialization system in Canada. PMID:27826153

75 FR 453 - Request for Certification of Compliance-Rural Industrialization Loan and Grant Program

Federal Register 2010, 2011, 2012, 2013, 2014

2010-01-05

... certification process. Comments should address the two bases for certification and, if possible, provide data to... DEPARTMENT OF LABOR Employment and Training Administration Request for Certification of Compliance--Rural Industrialization Loan and Grant Program AGENCY: Employment and Training Administration, Labor...

Alternative Teacher Certification--An Update. ERIC Digest.

ERIC Educational Resources Information Center

Otuya, Ebo

This digest reviews alternative certification on the basis of educational quality and the need to fill teacher shortages. Following a definition of traditional certification, the alternative certification route is described as a process designed to certify candidates who have subject-matter competencies, without going through formal teacher…

78 FR 26103 - Proposed Standard Operating Procedure (SOP) of the Aircraft Certification Service (AIR) Project...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-05-03

... (SOP) of the Aircraft Certification Service (AIR) Project Prioritization and Resource Management ACTION... procedure (SOP) describing the process used to prioritize certification projects and manage certification project resources when local resources are not available. DATES: Comments must be received on or before...

Software Acquisition Program Dynamics

DTIC Science & Technology

2011-10-24

greatest capability, which requires latest technologies • Contractors prefer using latest technologies to boost staff competency for future bids Risk...mistakes Build foundation to test future mitigation/solution approaches to assess value • Qualitatively validate new approaches before applying them to...classroom training, eLearning , certification, and more—to serve the needs of customers and partners worldwide.

15 CFR 995.26 - Conversion of NOAA ENC ® files to other formats.

Code of Federal Regulations, 2011 CFR

2011-01-01

...) Conversion of NOAA ENC files to other formats—(1) Content. CEVAD may provide NOAA ENC data in forms other... data files without degradation to positional accuracy or informational content. (2) Software certification. Conversion of NOAA ENC data to other formats must be accomplished within the constraints of IHO...

AN/UPX-41(C) IFF Interrogator Compatibility with the National Airspace System : Top-Level Test Plan Chesapeake Fixed-Base Experiment

DOT National Transportation Integrated Search

2015-08-04

In 2012, the Navy requested spectrum certification for the shipboard AN/UPX-41(C) Digital Interrogator System, Software Version 5.5 with Mode 5. : Current operating conditions for the Navys AN/UPX-41(C) are the same as restrictions imposed on the ...

AN/UPX-41(C) Digital Interrogator System Compatibility with the National Airspace System: Chesapeake Fixed-Base Test.

DOT National Transportation Integrated Search

2015-10-31

In 2012, the Navy requested spectrum certification for the shipboard AN/UPX-41(C) Digital Interrogator System, Software Version 5.5 with Mode 5. Current operating conditions for the Navys AN/UPX-41(C) are the same as restrictions imposed on the AN...

75 FR 38129 - Freescale Semiconductor, Inc., Hardware/Software Design and Manufacturing A Including On-Site...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-07-01

...Logic, Inc., Austin, TX; Amended Certification Regarding Eligibility To Apply for Worker Adjustment..., Design Solutions, Inc., Veriseo, SilconElite and MicroLogic, Inc. were employed on-site at the Austin...., Veriseo, SiliconElite and MicroLogic, Inc. working on-site at the Austin, Texas, location of Freescale...

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification.

PubMed

Xu, Haiyang; Wang, Ping

2016-01-01

In order to verify the real-time reliability of unmanned aerial vehicle (UAV) flight control system and comply with the airworthiness certification standard, we proposed a model-based integration framework for modeling and verification of time property. Combining with the advantages of MARTE, this framework uses class diagram to create the static model of software system, and utilizes state chart to create the dynamic model. In term of the defined transformation rules, the MARTE model could be transformed to formal integrated model, and the different part of the model could also be verified by using existing formal tools. For the real-time specifications of software system, we also proposed a generating algorithm for temporal logic formula, which could automatically extract real-time property from time-sensitive live sequence chart (TLSC). Finally, we modeled the simplified flight control system of UAV to check its real-time property. The results showed that the framework could be used to create the system model, as well as precisely analyze and verify the real-time reliability of UAV flight control system.

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification

PubMed Central

Xu, Haiyang; Wang, Ping

2016-01-01

In order to verify the real-time reliability of unmanned aerial vehicle (UAV) flight control system and comply with the airworthiness certification standard, we proposed a model-based integration framework for modeling and verification of time property. Combining with the advantages of MARTE, this framework uses class diagram to create the static model of software system, and utilizes state chart to create the dynamic model. In term of the defined transformation rules, the MARTE model could be transformed to formal integrated model, and the different part of the model could also be verified by using existing formal tools. For the real-time specifications of software system, we also proposed a generating algorithm for temporal logic formula, which could automatically extract real-time property from time-sensitive live sequence chart (TLSC). Finally, we modeled the simplified flight control system of UAV to check its real-time property. The results showed that the framework could be used to create the system model, as well as precisely analyze and verify the real-time reliability of UAV flight control system. PMID:27918594

25 CFR 15.104 - Does the agency need a death certificate to prepare a probate file?

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false Does the agency need a death certificate to prepare a... the Probate Process § 15.104 Does the agency need a death certificate to prepare a probate file? (a) Yes. You must provide us with a certified copy of the death certificate if a death certificate exists...

Current Status and Problems in Certification of Sustainable Forest Management in China

NASA Astrophysics Data System (ADS)

Zhao, Jingzhu; Xie, Dongming; Wang, Danyin; Deng, Hongbing

2011-12-01

Forest certification is a mechanism involving the regulation of trade of forest products in order to protect forest resources and improve forest management. Although China had a late start in adopting this process, the country has made good progress in recent years. As of July 31, 2009, 17 forest management enterprises and more than one million hectares of forests in China have been certified by the Forest Stewardship Council (FSC). Several major factors affect forest certification in China. The first set is institutional in nature. Forest management in China is based on centralized national plans and therefore lacks flexibility. A second factor is public awareness. The importance and value of forest certification are not widely understood and thus consumers do not make informed choices regarding certified forest products. The third major factor is the cost of certification. Together these factors have constrained the development of China's forest certification efforts. However, the process does have great potential. According to preliminary calculations, if 50% of China's commercial forests were certified, the economic cost of forest certification would range from US0.66-86.63 million while the economic benefits for the forestry business sector could exceed US150 million. With continuing progress in forest management practices and the development of international trade in forest products, it becomes important to improve the forest certification process in China. This can be achieved by improving the forest management system, constructing and perfecting market access mechanisms for certificated forest products, and increasing public awareness of environmental protection, forest certification, and their interrelationship.

Current status and problems in certification of sustainable forest management in China.

PubMed

Zhao, Jingzhu; Xie, Dongming; Wang, Danyin; Deng, Hongbing

2011-12-01

Forest certification is a mechanism involving the regulation of trade of forest products in order to protect forest resources and improve forest management. Although China had a late start in adopting this process, the country has made good progress in recent years. As of July 31, 2009, 17 forest management enterprises and more than one million hectares of forests in China have been certified by the Forest Stewardship Council (FSC). Several major factors affect forest certification in China. The first set is institutional in nature. Forest management in China is based on centralized national plans and therefore lacks flexibility. A second factor is public awareness. The importance and value of forest certification are not widely understood and thus consumers do not make informed choices regarding certified forest products. The third major factor is the cost of certification. Together these factors have constrained the development of China's forest certification efforts. However, the process does have great potential. According to preliminary calculations, if 50% of China's commercial forests were certified, the economic cost of forest certification would range from US$0.66-86.63 million while the economic benefits for the forestry business sector could exceed US$150 million. With continuing progress in forest management practices and the development of international trade in forest products, it becomes important to improve the forest certification process in China. This can be achieved by improving the forest management system, constructing and perfecting market access mechanisms for certificated forest products, and increasing public awareness of environmental protection, forest certification, and their interrelationship.

[Coding Causes of Death with IRIS Software. Impact in Navarre Mortality Statistic].

PubMed

Floristán Floristán, Yugo; Delfrade Osinaga, Josu; Carrillo Prieto, Jesus; Aguirre Perez, Jesus; Moreno-Iribas, Conchi

2016-08-02

There are few studies that analyze changes in mortality statistics derived from the use of IRIS software, an automatic system for coding multiple causes of death and for the selection of the underlying cause of death, compared to manual coding. This study evaluated the impact of the use of IRIS in the Navarre mortality statistic. We proceeded to double coding 5,060 death certificates corresponding to residents in Navarra in 2014. We calculated coincidence between the two encodings for ICD10 chapters and for the list of causes of the Spanish National Statistics Institute (INE-102) and we estimated the change on mortality rates. IRIS automatically coded 90% of death certificates. The coincidence to 4 characters and in the same chapter of the CIE10 was 79.1% and 92.0%, respectively. Furthermore, coincidence with the short INE-102 list was 88.3%. Higher matches were found in death certificate of people under 65 years. In comparison with manual coding there was an increase in deaths from endocrine diseases (31%), mental disorders (19%) and disease of nervous system (9%), while a decrease of genitourinary system diseases was observed (21%). The coincidence at level of ICD10 chapters coding by IRIS in comparison to manual coding was 9 out of 10 deaths, similar to what is observed in other studies. The implementation of IRIS has led to increased of endocrine diseases, especially diabetes and hyperlipidaemia, and mental disorders, especially dementias.

Evolution of International Space Station Program Safety Review Processes and Tools

NASA Technical Reports Server (NTRS)

Ratterman, Christian D.; Green, Collin; Guibert, Matt R.; McCracken, Kristle I.; Sang, Anthony C.; Sharpe, Matthew D.; Tollinger, Irene V.

2013-01-01

The International Space Station Program at NASA is constantly seeking to improve the processes and systems that support safe space operations. To that end, the ISS Program decided to upgrade their Safety and Hazard data systems with 3 goals: make safety and hazard data more accessible; better support the interconnection of different types of safety data; and increase the efficiency (and compliance) of safety-related processes. These goals are accomplished by moving data into a web-based structured data system that includes strong process support and supports integration with other information systems. Along with the data systems, ISS is evolving its submission requirements and safety process requirements to support the improved model. In contrast to existing operations (where paper processes and electronic file repositories are used for safety data management) the web-based solution provides the program with dramatically faster access to records, the ability to search for and reference specific data within records, reduced workload for hazard updates and approval, and process support including digital signatures and controlled record workflow. In addition, integration with other key data systems provides assistance with assessments of flight readiness, more efficient review and approval of operational controls and better tracking of international safety certifications. This approach will also provide new opportunities to streamline the sharing of data with ISS international partners while maintaining compliance with applicable laws and respecting restrictions on proprietary data. One goal of this paper is to outline the approach taken by the ISS Progrm to determine requirements for the new system and to devise a practical and efficient implementation strategy. From conception through implementation, ISS and NASA partners utilized a user-centered software development approach focused on user research and iterative design methods. The user-centered approach used on the new ISS hazard system utilized focused user research and iterative design methods employed by the Human Computer Interaction Group at NASA Ames Research Center. Particularly, the approach emphasized the reduction of workload associated with document and data management activities so more resources can be allocated to the operational use of data in problem solving, safety analysis, and recurrence control. The methods and techniques used to understand existing processes and systems, to recognize opportunities for improvement, and to design and review improvements are described with the intent that similar techniques can be employed elsewhere in safety operations. A second goal of this paper is to provide and overview of the web-based data system implemented by ISS. The software selected for the ISS hazard systemMission Assurance System (MAS)is a NASA-customized vairant of the open source software project Bugzilla. The origin and history of MAS as a NASA software project and the rationale for (and advantages of) using open-source software are documented elsewhere (Green, et al., 2009).

20 CFR 655.20 - Applications for temporary employment certification.

Code of Federal Regulations, 2010 CFR

2010-04-01

... LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process and... Nursing in the United States (H-2B Workers) § 655.20 Applications for temporary employment certification...

Post-Baccalaureate Teacher Certification Programs: Strategies for Enhancement, Improvement, and Peaceful Co-existence with Traditional Teacher Certification Programs.

ERIC Educational Resources Information Center

Duhon-Haynes, Gwendolyn; And Others

This paper examines alternative certification programs in terms of entrance requirements, supervision and mentoring, and post-certification professional support. A good alternative program uses rigorous screening processes to ensure the selection of qualified teacher interns; provides high-quality preservice training in methodology, classroom…

29 CFR 825.312 - Fitness-for-duty certification.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 29 Labor 3 2014-07-01 2014-07-01 false Fitness-for-duty certification. 825.312 Section 825.312... § 825.312 Fitness-for-duty certification. (a) As a condition of restoring an employee whose FMLA leave... provider to provide the information directly to the employer) in the fitness-for-duty certification process...

29 CFR 825.312 - Fitness-for-duty certification.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 29 Labor 3 2012-07-01 2012-07-01 false Fitness-for-duty certification. 825.312 Section 825.312... § 825.312 Fitness-for-duty certification. (a) As a condition of restoring an employee whose FMLA leave... provider to provide the information directly to the employer) in the fitness-for-duty certification process...

29 CFR 825.312 - Fitness-for-duty certification.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 29 Labor 3 2013-07-01 2013-07-01 false Fitness-for-duty certification. 825.312 Section 825.312... § 825.312 Fitness-for-duty certification. (a) As a condition of restoring an employee whose FMLA leave... provider to provide the information directly to the employer) in the fitness-for-duty certification process...

29 CFR 825.312 - Fitness-for-duty certification.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 29 Labor 3 2010-07-01 2010-07-01 false Fitness-for-duty certification. 825.312 Section 825.312... § 825.312 Fitness-for-duty certification. (a) As a condition of restoring an employee whose FMLA leave... provider to provide the information directly to the employer) in the fitness-for-duty certification process...

29 CFR 825.312 - Fitness-for-duty certification.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 29 Labor 3 2011-07-01 2011-07-01 false Fitness-for-duty certification. 825.312 Section 825.312... § 825.312 Fitness-for-duty certification. (a) As a condition of restoring an employee whose FMLA leave... provider to provide the information directly to the employer) in the fitness-for-duty certification process...

Ada Compiler Validation Summary Report: Certificate Number: 940630W1. 11372 Rational Software Corporation VADS System V/88 Release 4, VAda-110-8484, Product Number: 2100-01464, Version 6.2 DG AViiON G70592-A (M88110) under UNIX System V Release 4

DTIC Science & Technology

1994-07-21

InforMation Systems Agency, Center for Information Management DECLARATION OF CONFORMANCE The following declaration of conformance was supplied by the...services such as resource allocation, scheduling, inp•t/outp-it control, and data management. Usually, operating systems are predominantly software...Ada programming language. 1-4 CHAPTER 2 IMPLEMMTION DEPENDENC IES 2.1 WITHDRAWN TESTS The f3llowing tests have been withdrawn by the AVO. The

Lightning Protection System for HE Facilities at LLNL - Certification Template

DOE Office of Scientific and Technical Information (OSTI.GOV)

Clancy, T J; Ong, M M; Brown, C G

2005-12-08

This document is meant as a template to assist in the development of your own lighting certification process. Aside from this introduction and the mock representative name of the building (Building A), this document is nearly identical to a lightning certification report issued by the Engineering Directorate at Lawrence Livermore National Laboratory. At the date of this release, we have certified over 70 HE processing and storage cells at our Site 300 facilities. In Chapters 1 and 2 respectively, we address the need and methods of lightning certification for HE processing and storage facilities at LLNL. We present the preferredmore » method of lightning protection in Chapter 3, as well as the likely building modifications that are needed to comply with this method. In Chapter 4, we present the threat assessment and resulting safe work areas within a cell. After certification, there may be changes to operations during a lightning alert, and this is discussed in Chapter 5. Chapter 6 lists the maintenance requirements for the continuation of lighting certification status. Appendices of this document are meant as an aid in developing your own certification process, and they include a bonding list, an inventory of measurement equipment, surge suppressors in use at LLNL, an Integrated Work and Safety form (IWS), and a template certification sign-off sheet. The lightning certification process involves more that what is spelled out in this document. The first steps involve considerable planning, the securing of funds, and management and explosives safety buy-in. Permits must be obtained, measurement equipment must be assembled and tested, and engineers and technicians must be trained in their use. Cursory building inspections are also recommended, and surge suppression for power systems must be addressed. Upon completion of a certification report and its sign-off by management, additional work is required. Training will be needed in order to educate workers and facility managers of the requirements of lightning certification. Operating procedures will need to be generated and/or modified with additional controls. Engineering controls may also be implemented requiring the modification of cells. Careful planning should bring most of these issues to light, making it clear where this document is helpful and were additional assistance may be necessary.« less

DOE Office of Scientific and Technical Information (OSTI.GOV)

Tsai, H.; Chen, K.; Liu, Y.

The Packaging Certification Program (PCP) of US Department of Energy (DOE) Environmental Management (EM), Office of Safety Management and Operations (EM-60), has developed a radio frequency identification (RFID) system for the management of nuclear materials. Argonne National Laboratory, a PCP supporting laboratory, and Savi Technology, a Lockheed Martin Company, are collaborating in the development of the RFID system, a process that involves hardware modification (form factor, seal sensor and batteries), software development and irradiation experiments. Savannah River National Laboratory and Argonne will soon field test the active RFID system on Model 9975 drums, which are used for storage and transportationmore » of fissile and radioactive materials. Potential benefits of the RFID system are enhanced safety and security, reduced need for manned surveillance, real time access of status and history data, and overall cost effectiveness.« less

Group Capability Model

NASA Technical Reports Server (NTRS)

Olejarski, Michael; Appleton, Amy; Deltorchio, Stephen

2009-01-01

The Group Capability Model (GCM) is a software tool that allows an organization, from first line management to senior executive, to monitor and track the health (capability) of various groups in performing their contractual obligations. GCM calculates a Group Capability Index (GCI) by comparing actual head counts, certifications, and/or skills within a group. The model can also be used to simulate the effects of employee usage, training, and attrition on the GCI. A universal tool and common method was required due to the high risk of losing skills necessary to complete the Space Shuttle Program and meet the needs of the Constellation Program. During this transition from one space vehicle to another, the uncertainty among the critical skilled workforce is high and attrition has the potential to be unmanageable. GCM allows managers to establish requirements for their group in the form of head counts, certification requirements, or skills requirements. GCM then calculates a Group Capability Index (GCI), where a score of 1 indicates that the group is at the appropriate level; anything less than 1 indicates a potential for improvement. This shows the health of a group, both currently and over time. GCM accepts as input head count, certification needs, critical needs, competency needs, and competency critical needs. In addition, team members are categorized by years of experience, percentage of contribution, ex-members and their skills, availability, function, and in-work requirements. Outputs are several reports, including actual vs. required head count, actual vs. required certificates, CGI change over time (by month), and more. The program stores historical data for summary and historical reporting, which is done via an Excel spreadsheet that is color-coded to show health statistics at a glance. GCM has provided the Shuttle Ground Processing team with a quantifiable, repeatable approach to assessing and managing the skills in their organization. They now have a common frame of reference across NASA/contractor lines to communicate and mitigate any critical skills concerns.

INCOSE Systems Engineering Handbook v3.2: Improving the Process for SE Practitioners

DOE Office of Scientific and Technical Information (OSTI.GOV)

R. Douglas Hamelin; David D. Walden; Michael E. Krueger

2010-07-01

The INCOSE Systems Engineering Handbook is the official INCOSE reference document for understanding systems engineering (SE) methods and conducting SE activities. Over the years, the Handbook has evolved to accommodate advances in the SE discipline and now serves as the basis for the Certified Systems Engineering Professional (CSEP) exam. Due to its evolution, the Handbook had become somewhat disjointed in its treatment and presentation of SE topics and was not aligned with the latest version of International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC) 15288:2008, Systems and Software Engineering. As a result, numerous inconsistencies were identified that could confuse practitionersmore » and directly impact the probability of success in passing the CSEP exam. Further, INCOSE leadership had previously submitted v3.1 of the Handbook to ISO/IEC for consideration as a Technical Report, but was told that the Handbook would have to be updated to conform with the terminology and structure of new ISO/IEC15288:2008, Systems and software engineering, prior to being considered. The revised INCOSE Systems Engineering Handbook v3.2 aligns with the structure and principles of ISO/IEC 15288:2008 and presents the generic SE life-cycle process steps in their entirety, without duplication or redundancy, in a single location within the text. As such, the revised Handbook v3.2 serves as a comprehensive instructional and reference manual for effectively understanding SE processes and conducting SE and better serves certification candidates preparing for the CSEP exam.« less

June 7, 2017 Webinar: Heavy-Duty Highway Trailers Verify Certification Module and Manufacturer Testing Information

EPA Pesticide Factsheets

This EPA webinar provides information on the Verify module for heavy-duty highway trailer manufacturers including introduction, user registration process, submitting certification information, request for certificate, testing and deployment information.

Constraining Forest Certificate's Market to Improve Cost-Effectiveness of Biodiversity Conservation in São Paulo State, Brazil.

PubMed

Bernasconi, Paula; Blumentrath, Stefan; Barton, David N; Rusch, Graciela M; Romeiro, Ademar R

2016-01-01

The recently launched Brazilian "forest certificates" market is expected to reduce environmental compliance costs for landowners through an offset mechanism, after a long history of conservation laws based in command-and-control and strict rules. In this paper we assessed potential costs and evaluated the cost-effectiveness of the instrument when introducing to this market constraints that aim to address conservation objectives more specifically. Using the conservation planning software Marxan with Zones we simulated different scopes for the "forest certificates" market, and compared their cost-effectiveness with that of existing command-and-control (C&C), i.e. compliance to the Legal Reserve on own property, in the state of São Paulo. The simulations showed a clear potential of the constrained "forest certificates" market to improve conservation effectiveness and increase cost-effectiveness on allocation of Legal Reserves. Although the inclusion of an additional constraint of targeting the BIOTA Conservation Priority Areas doubled the cost (+95%) compared with a "free trade" scenario constrained only by biome, this option was still 50% less costly than the baseline scenario of compliance with Legal Reserve at the property.

Gate-to-gate Life-Cycle Inventory of Hardboard Production in North America

Treesearch

Richard Bergman

2014-01-01

Whole-building life-cycle assessments (LCAs) populated by life-cycle inventory (LCI) data are incorporated into environmental footprint software tools for establishing green building certification by building professionals and code. However, LCI data on some wood building products are still needed to help fill gaps in the data and thus provide a more complete picture...

A differential GPS for determining time-space-position information in support of aircraft noise certification

DOT National Transportation Integrated Search

2001-01-22

Federal Aviation Regulation (FAR) Part 36, Noise : Standards: Aircraft Type and Airworthiness : Certification, requires that measured aircraft noise : certification data be corrected to a nominal reference-day : condition. This correction process...

TMA certification review state-of-the-practice review report : 2016

DOT National Transportation Integrated Search

2017-02-01

The 2016 TMA Certification Review State-of-the-Practice Review Report documents the Federal Highway Administrations (FHWA) review of Division Office oversight processes relating to TMA Certification Reviews. This is the sixth review of Division Of...

Accreditation versus Certification: Which?

ERIC Educational Resources Information Center

Totten, Herman L.

1989-01-01

Describes and compares the process used for accreditation of postsecondary programs of education for librarianship, and the existing programs and justification for certification of individual librarians. An argument for the advantages of institutional accreditation over individual certification is presented. (13 references) (CLB)

NASA/Navy Benchmarking Exchange (NNBE). Volume 1. Interim Report. Navy Submarine Program Safety Assurance

NASA Technical Reports Server (NTRS)

2002-01-01

The NASA/Navy Benchmarking Exchange (NNBE) was undertaken to identify practices and procedures and to share lessons learned in the Navy's submarine and NASA's human space flight programs. The NNBE focus is on safety and mission assurance policies, processes, accountability, and control measures. This report is an interim summary of activity conducted through October 2002, and it coincides with completion of the first phase of a two-phase fact-finding effort.In August 2002, a team was formed, co-chaired by senior representatives from the NASA Office of Safety and Mission Assurance and the NAVSEA 92Q Submarine Safety and Quality Assurance Division. The team closely examined the two elements of submarine safety (SUBSAFE) certification: (1) new design/construction (initial certification) and (2) maintenance and modernization (sustaining certification), with a focus on: (1) Management and Organization, (2) Safety Requirements (technical and administrative), (3) Implementation Processes, (4) Compliance Verification Processes, and (5) Certification Processes.

5 CFR 339.306 - Processing medical eligibility determinations on certificates of eligibles.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 5 Administrative Personnel 1 2010-01-01 2010-01-01 false Processing medical eligibility... Processing medical eligibility determinations on certificates of eligibles. (a) In accordance with the... nonpreference eligible so disqualified has a right to a higher level review of the determination within the...

78 FR 19019 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-03-28

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: Prevailing Wage Rates for Certain Occupations Processed Under H-2A Special Procedures; Correction and Rescission AGENCY: Employment and Training...

9 CFR 95.29 - Certification for certain materials.

Code of Federal Regulations, 2013 CFR

2013-01-01

... described in paragraph (b) of this section: (1) Processed animal protein, tankage, offal, and tallow other... derived from ruminants; (3) Processed fats and oils, and derivatives of processed animal protein, tankage... 9 Animals and Animal Products 1 2013-01-01 2013-01-01 false Certification for certain materials...

9 CFR 95.29 - Certification for certain materials.

Code of Federal Regulations, 2012 CFR

2012-01-01

... described in paragraph (b) of this section: (1) Processed animal protein, tankage, offal, and tallow other... derived from ruminants; (3) Processed fats and oils, and derivatives of processed animal protein, tankage... 9 Animals and Animal Products 1 2012-01-01 2012-01-01 false Certification for certain materials...

9 CFR 95.29 - Certification for certain materials.

Code of Federal Regulations, 2010 CFR

2010-01-01

... described in paragraph (b) of this section: (1) Processed animal protein, tankage, offal, and tallow other... derived from ruminants; (3) Processed fats and oils, and derivatives of processed animal protein, tankage... 9 Animals and Animal Products 1 2010-01-01 2010-01-01 false Certification for certain materials...

9 CFR 95.29 - Certification for certain materials.

Code of Federal Regulations, 2011 CFR

2011-01-01

... described in paragraph (b) of this section: (1) Processed animal protein, tankage, offal, and tallow other... derived from ruminants; (3) Processed fats and oils, and derivatives of processed animal protein, tankage... 9 Animals and Animal Products 1 2011-01-01 2011-01-01 false Certification for certain materials...

40 CFR 68.185 - Certification.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 40 Protection of Environment 15 2010-07-01 2010-07-01 false Certification. 68.185 Section 68.185 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CHEMICAL ACCIDENT PREVENTION PROVISIONS Risk Management Plan § 68.185 Certification. (a) For Program 1 processes...

Use of a hardware token for Grid authentication by the MICE data distribution framework

NASA Astrophysics Data System (ADS)

Nebrensky, JJ; Martyniak, J.

2017-10-01

The international Muon Ionization Cooling Experiment (MICE) is designed to demonstrate the principle of muon ionisation cooling for the first time. Data distribution and archiving, batch reprocessing, and simulation are all carried out using the EGI Grid infrastructure, in particular the facilities provided by GridPP in the UK. To prevent interference - especially accidental data deletion - these activities are separated by different VOMS roles. Data acquisition, in particular, can involve 24/7 operation for a number of weeks and so for moving the data out of the MICE Local Control Room at the experiment a valid, VOMS-enabled, Grid proxy must be made available continuously over that time. The MICE "Data Mover" agent is now using a robot certificate stored on a hardware token (Feitian ePass2003) from which a cron job generates a “plain” proxy to which the VOMS authorisation extensions are added in a separate transaction. A valid short-lifetime proxy is thus continuously available to the Data Mover process. The Feitian ePass2003 was chosen because it was both significantly cheaper and easier to actually purchase than the token commonly referred to in the community at that time; however there was no software support for the hardware. This paper describes the software packages, process and commands used to deploy the token into production.

Documentation of operational protocol for the use of MAMA software

DOE Office of Scientific and Technical Information (OSTI.GOV)

Schwartz, Daniel S.

2016-01-21

Image analysis of Scanning Electron Microscope (SEM) micrographs is a complex process that can vary significantly between analysts. The factors causing the variation are numerous, and the purpose of Task 2b is to develop and test a set of protocols designed to minimize variation in image analysis between different analysts and laboratories, specifically using the MAMA software package, Version 2.1. The protocols were designed to be “minimally invasive”, so that expert SEM operators will not be overly constrained in the way they analyze particle samples. The protocols will be tested using a round-robin approach where results from expert SEM usersmore » at Los Alamos National Laboratory, Lawrence Livermore National Laboratory, Pacific Northwest National Laboratory, Savannah River National Laboratory, and the National Institute of Standards and Testing will be compared. The variation of the results will be used to quantify uncertainty in the particle image analysis process. The round-robin exercise will proceed with 3 levels of rigor, each with their own set of protocols, as described below in Tasks 2b.1, 2b.2, and 2b.3. The uncertainty will be developed using NIST standard reference material SRM 1984 “Thermal Spray Powder – Particle Size Distribution, Tungsten Carbide/Cobalt (Acicular)” [Reference 1]. Full details are available in the Certificate of Analysis, posted on the NIST website (http://www.nist.gov/srm/).« less

Development of a New Optical Measuring Set-Up

NASA Astrophysics Data System (ADS)

Miroshnichenko, I. P.; Parinov, I. A.

2018-06-01

The paper proposes a description of the developed optical measuring set-up for the contactless recording and processing of measurement results for small spatial (linear and angular) displacements of control surfaces based on the use of laser technologies and optical interference methods. The proposed set-up is designed to solve all the arising measurement tasks in the study of the physical and mechanical properties of new materials and in the process of diagnosing the state of structural materials by acoustic active methods of nondestructive testing. The structure of the set-up, its constituent parts are described, and the features of construction and functioning during measurements are discussed. New technical solutions for the implementation of the components of the set-up under consideration are obtained. The purpose and description of the original specialized software, used to perform a priori analysis of measurement results, are present, while performing measurements, for a posteriori analysis of measurement results. Moreover, the influences of internal and external disturbance effects on the measurement results and correcting measurement results directly in their implementation are determined. The technical solutions, used in the set-up, are protected by the patents of the Russian Federation for inventions, and software is protected by the certificates of state registration of computer programs. The proposed set-up is intended for use in instrumentation, mechanical engineering, shipbuilding, aviation, energy sector, etc.

Photography of the histological and radiological analysis of the ligaments of the distal radioulnar joint.

PubMed

Clayton, Gemma

2013-06-01

This project was undertaken as part of the PhD research project of Paul Malone, Pricipal Investigator, Covance plc, Harrogate. Mr Malone approached the photography department for involvement in the study with the aim of settling the current debate on the anatomical and histological features of the distal radioulnar ligaments by capturing the anatomy photographically throughout the process of dissection via a microtome. The author was approached to lead on the photographic protocol as part of her post-graduate certificate training at Staffordshire University. High-resolution digital images of an entire human arm were required, the main area of interest being the distal radioulnar joint of the wrist. Images were to be taken at 40 μm intervals as the specimen was sliced. When microtomy was undertaken through the ligaments images were made at 20 μm intervals. A method of suspending a camera approximately 1 metre above the specimen was devised, together with the preparation for the capture, processing and storage of images. The resulting images were then to be subject to further analysis in the form of 3-Dimensional reconstruction, using computer modelling techniques and software. The possibility of merging the images with sequences obtained from both CT & MRI using image handling software is also an area of exploration, in collaboration with the University of Manchester's Visualisation Centre.

Certification of vapor phase hydrogen peroxide sterilization process for spacecraft application

NASA Technical Reports Server (NTRS)

Rohatgi, N.; Schubert, W.; Koukol, R.; Foster, T. L.; Stabekis, P. D.

2002-01-01

This paper describes the selection process and research activities JPL is planning to conduct for certification of hydrogen peroxide as a NASA approved technique for sterilization of various spacecraft parts/components and entire modern spacecraft.

38 CFR 21.4138 - Certifications and release of payments.

Code of Federal Regulations, 2011 CFR

2011-07-01

... VETERANS AFFAIRS (CONTINUED) VOCATIONAL REHABILITATION AND EDUCATION Administration of Educational Assistance Programs Payments; Educational Assistance Allowance § 21.4138 Certifications and release of... Processing Office of jurisdiction for educational assistance allowance claims processed under 38 U.S.C...

38 CFR 21.4138 - Certifications and release of payments.

Code of Federal Regulations, 2010 CFR

2010-07-01

... VETERANS AFFAIRS (CONTINUED) VOCATIONAL REHABILITATION AND EDUCATION Administration of Educational Assistance Programs Payments; Educational Assistance Allowance § 21.4138 Certifications and release of... Processing Office of jurisdiction for educational assistance allowance claims processed under 38 U.S.C...

20 CFR 655.161 - Criteria for certification.

Code of Federal Regulations, 2011 CFR

2011-04-01

... 655.161 Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Labor Certification Determinations § 655.161 Criteria for...

45 CFR 170.504 - Reconsideration process for requests for ONC-AA status.

Code of Federal Regulations, 2011 CFR

2011-10-01

... status. 170.504 Section 170.504 Public Welfare DEPARTMENT OF HEALTH AND HUMAN SERVICES HEALTH INFORMATION TECHNOLOGY HEALTH INFORMATION TECHNOLOGY STANDARDS, IMPLEMENTATION SPECIFICATIONS, AND CERTIFICATION CRITERIA AND CERTIFICATION PROGRAMS FOR HEALTH INFORMATION TECHNOLOGY Permanent Certification Program for HIT...

45 CFR 170.504 - Reconsideration process for requests for ONC-AA status.

Code of Federal Regulations, 2012 CFR

2012-10-01

... status. 170.504 Section 170.504 Public Welfare DEPARTMENT OF HEALTH AND HUMAN SERVICES HEALTH INFORMATION TECHNOLOGY HEALTH INFORMATION TECHNOLOGY STANDARDS, IMPLEMENTATION SPECIFICATIONS, AND CERTIFICATION CRITERIA AND CERTIFICATION PROGRAMS FOR HEALTH INFORMATION TECHNOLOGY Permanent Certification Program for HIT...

Autonomy Software: V&V Challenges and Characteristics

NASA Technical Reports Server (NTRS)

Schumann, Johann; Visser, Willem

2006-01-01

The successful operation of unmanned air vehicles requires software with a high degree of autonomy. Only if high level functions can be carried out without human control and intervention, complex missions in a changing and potentially unknown environment can be carried out successfully. Autonomy software is highly mission and safety critical: failures, caused by flaws in the software cannot only jeopardize the mission, but could also endanger human life (e.g., a crash of an UAV in a densely populated area). Due to its large size, high complexity, and use of specialized algorithms (planner, constraint-solver, etc.), autonomy software poses specific challenges for its verification, validation, and certification. -- - we have carried out a survey among researchers aid scientists at NASA to study these issues. In this paper, we will present major results of this study, discussing the broad spectrum. of notions and characteristics of autonomy software and its challenges for design and development. A main focus of this survey was to evaluate verification and validation (V&V) issues and challenges, compared to the development of "traditional" safety-critical software. We will discuss important issues in V&V of autonomous software and advanced V&V tools which can help to mitigate software risks. Results of this survey will help to identify and understand safety concerns in autonomy software and will lead to improved strategies for mitigation of these risks.

Techno-economic assessment of biofuel development by anaerobic digestion of European marine cold-water seaweeds.

PubMed

Dave, Ashok; Huang, Ye; Rezvani, Sina; McIlveen-Wright, David; Novaes, Marcio; Hewitt, Neil

2013-05-01

The techno-economic characteristics of macro-algae utilisation from European temperate zones was evaluated in a selected Anaerobic Digester (AD) using the chemical process modelling software ECLIPSE. The assessment covered the mass and energy balance of the entire process followed by the economic feasibility study, which included the total cost estimation, net present value calculation, and sensitivity analysis. The selected plant size corresponded to a community based AD of 1.6 MWth with a macro-algae feed rate of 8.64 tonnes per day (dry basis). The produced biogas was utilised in a combined heat and power plant generating 237 kWenet electricity and 367 kWth heat. The breakeven electricity-selling price in this study was estimated at around €120/MWh. On the ground of different national and regional policies, this study did not account for any government incentives. However, different support mechanisms such as Feed-in-Tariffs or Renewable Obligation Certificates can significantly improve the project viability. Copyright © 2013 Elsevier Ltd. All rights reserved.

An Analytical Assessment of NASA's N+1 Subsonic Fixed Wing Project Noise Goal

NASA Technical Reports Server (NTRS)

Berton, Jeffrey J.; Envia, Edmane; Burley, Casey L.

2009-01-01

The Subsonic Fixed Wing Project of NASA's Fundamental Aeronautics Program has adopted a noise reduction goal for new, subsonic, single-aisle, civil aircraft expected to replace current 737 and A320 airplanes. These so-called 'N+1' aircraft - designated in NASA vernacular as such since they will follow the current, in-service, 'N' airplanes - are hoped to achieve certification noise goal levels of 32 cumulative EPNdB under current Stage 4 noise regulations. A notional, N+1, single-aisle, twinjet transport with ultrahigh bypass ratio turbofan engines is analyzed in this study using NASA software and methods. Several advanced noise-reduction technologies are analytically applied to the propulsion system and airframe. Certification noise levels are predicted and compared with the NASA goal.

30 CFR 250.272 - If a State objects to the DPP's or DOCD's coastal zone consistency certification, what can I do?

Code of Federal Regulations, 2011 CFR

2011-07-01

... coastal zone consistency certification, what can I do? 250.272 Section 250.272 Mineral Resources BUREAU OF... Process for the Dpp Or Docd § 250.272 If a State objects to the DPP's or DOCD's coastal zone consistency certification, what can I do? If an affected State objects to the coastal zone consistency certification...

Design and implementation of a unified certification management system based on seismic business

NASA Astrophysics Data System (ADS)

Tang, Hongliang

2018-04-01

Many business software for seismic systems are based on web pages, users can simply open a browser and enter their IP address. However, how to achieve unified management and security management of many IP addresses, this paper introduces the design concept based on seismic business and builds a unified authentication management system using ASP technology.

JPRS Report, Science & Technology, USSR: Computers, Control Systems and Machines

DTIC Science & Technology

1989-03-14

optimizatsii slozhnykh sistem (Coding Theory and Complex System Optimization ). Alma-Ata, Nauka Press, 1977, pp. 8-16. 11. Author’s certificate number...Interpreter Specifics [0. I. Amvrosova] ............................................. 141 Creation of Modern Computer Systems for Complex Ecological...processor can be designed to decrease degradation upon failure and assure more reliable processor operation, without requiring more complex software or

Test Plan Framework for Cross Domain Solution (CDS) Devices

DTIC Science & Technology

2010-06-01

modification to the CASTER software to reflect the latest changes to RDAC is being discussed by the developers with input by the independent labs and NSA...7 xii THIS PAGE INTENTIONALLY LEFT BLANK xiii LIST OF ABBREVIATIONS AND ACRONYMS CASTER Certification...protecting information and information systems from unauthorized access, use, disclosure, disruption, modification , or destruction. While this is a

Automatic Certification of Kalman Filters for Reliable Code Generation

NASA Technical Reports Server (NTRS)

Denney, Ewen; Fischer, Bernd; Schumann, Johann; Richardson, Julian

2005-01-01

AUTOFILTER is a tool for automatically deriving Kalman filter code from high-level declarative specifications of state estimation problems. It can generate code with a range of algorithmic characteristics and for several target platforms. The tool has been designed with reliability of the generated code in mind and is able to automatically certify that the code it generates is free from various error classes. Since documentation is an important part of software assurance, AUTOFILTER can also automatically generate various human-readable documents, containing both design and safety related information. We discuss how these features address software assurance standards such as DO-178B.

78 FR 18364 - Electronic Prescriptions for Controlled Substances Notice of Approved Certification Process

Federal Register 2010, 2011, 2012, 2013, 2014

2013-03-26

... DEPARTMENT OF JUSTICE Drug Enforcement Administration [Docket No. DEA-364] Electronic... certification processes for providers of Electronic Prescriptions for Controlled Substances (EPCS) applications... established by Congress. Electronic Prescriptions for Controlled Substances (EPCS) Historically, where federal...

45 CFR 170.504 - Reconsideration process for requests for ONC-AA status.

Code of Federal Regulations, 2014 CFR

2014-10-01

... status. 170.504 Section 170.504 Public Welfare Department of Health and Human Services HEALTH INFORMATION TECHNOLOGY HEALTH INFORMATION TECHNOLOGY STANDARDS, IMPLEMENTATION SPECIFICATIONS, AND CERTIFICATION CRITERIA AND CERTIFICATION PROGRAMS FOR HEALTH INFORMATION TECHNOLOGY ONC HIT Certification Program § 170.504...

45 CFR 170.504 - Reconsideration process for requests for ONC-AA status.

Code of Federal Regulations, 2013 CFR

2013-10-01

... status. 170.504 Section 170.504 Public Welfare DEPARTMENT OF HEALTH AND HUMAN SERVICES HEALTH INFORMATION TECHNOLOGY HEALTH INFORMATION TECHNOLOGY STANDARDS, IMPLEMENTATION SPECIFICATIONS, AND CERTIFICATION CRITERIA AND CERTIFICATION PROGRAMS FOR HEALTH INFORMATION TECHNOLOGY ONC HIT Certification Program § 170.504...

78 FR 54863 - Bureau of the Census Geographically Updated Population Certification Program (GUPCP)

Federal Register 2010, 2011, 2012, 2013, 2014

2013-09-06

... Geographically Updated Population Certification Program (GUPCP) AGENCY: Bureau of the Census, Department of... Census (Census Bureau) will resume processing applications for certified decennial census population and... Updated Population Certification Program (GUPCP), was suspended on January 1, 2008, to accommodate the...

40 CFR 1043.41 - EIAPP certification process.

Code of Federal Regulations, 2014 CFR

2014-07-01

... test engine you provide must include appropriate manifolds, aftertreatment devices, electronic control... CONTROLS CONTROL OF NOX, SOX, AND PM EMISSIONS FROM MARINE ENGINES AND VESSELS SUBJECT TO THE MARPOL... application for an EIAPP certificate for each engine family. An EIAPP certificate is valid starting with the...

40 CFR 1043.41 - EIAPP certification process.

Code of Federal Regulations, 2010 CFR

2010-07-01

... test engine you provide must include appropriate manifolds, aftertreatment devices, electronic control... CONTROLS CONTROL OF NOX, SOX, AND PM EMISSIONS FROM MARINE ENGINES AND VESSELS SUBJECT TO THE MARPOL... application for an EIAPP certificate for each engine family. An EIAPP certificate is valid starting with the...

40 CFR 1043.41 - EIAPP certification process.

Code of Federal Regulations, 2012 CFR

2012-07-01

... test engine you provide must include appropriate manifolds, aftertreatment devices, electronic control... CONTROLS CONTROL OF NOX, SOX, AND PM EMISSIONS FROM MARINE ENGINES AND VESSELS SUBJECT TO THE MARPOL... application for an EIAPP certificate for each engine family. An EIAPP certificate is valid starting with the...

40 CFR 1043.41 - EIAPP certification process.

Code of Federal Regulations, 2013 CFR

2013-07-01

... test engine you provide must include appropriate manifolds, aftertreatment devices, electronic control... CONTROLS CONTROL OF NOX, SOX, AND PM EMISSIONS FROM MARINE ENGINES AND VESSELS SUBJECT TO THE MARPOL... application for an EIAPP certificate for each engine family. An EIAPP certificate is valid starting with the...

40 CFR 1043.41 - EIAPP certification process.

Code of Federal Regulations, 2011 CFR

2011-07-01

... test engine you provide must include appropriate manifolds, aftertreatment devices, electronic control... CONTROLS CONTROL OF NOX, SOX, AND PM EMISSIONS FROM MARINE ENGINES AND VESSELS SUBJECT TO THE MARPOL... application for an EIAPP certificate for each engine family. An EIAPP certificate is valid starting with the...

7 CFR 3434.7 - Duration of certification.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 7 Agriculture 15 2013-01-01 2013-01-01 false Duration of certification. 3434.7 Section 3434.7 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE HISPANIC-SERVING AGRICULTURAL COLLEGES AND UNIVERSITIES CERTIFICATION PROCESS § 3434.7 Duration of...

7 CFR 3434.7 - Duration of certification.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 7 Agriculture 15 2014-01-01 2014-01-01 false Duration of certification. 3434.7 Section 3434.7 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE HISPANIC-SERVING AGRICULTURAL COLLEGES AND UNIVERSITIES CERTIFICATION PROCESS § 3434.7 Duration of...

A needs assessment of community pharmacists for pharmacist specialization in Canada.

PubMed

Jorgenson, Derek; Penm, Jonathan; MacKinnon, Neil; Smith, Jennifer

2017-04-01

Pharmacists are increasingly providing specialized services. However, no process exists for specialist certification in Canada. The aim of this study was to determine the extent to which Canadian community pharmacists support the development of a certification system for specialization. This study utilized a cross-sectional online survey of licensed Canadian pharmacists identified through the member databases of national and regional pharmacy associations. A questionnaire was developed (in French and English) and distributed via email, on behalf of the researchers, by multiple pharmacy organizations in January 2015. Multivariate logistic regressions were conducted to identify which sub-groups of respondents supported the creation of a certification system and which supported mandatory certification. A total of 770 responses were received. Many respondents were practising specialists (30.0%, 205/683) and the most commonly reported specialty areas were diabetes, smoking cessation and geriatrics. Almost 85% (n = 653/770) supported creation of a Canadian certification process and 68.5% (n = 447/653) felt certification should be mandatory. Respondents believed that the primary benefit of a certification system was greater public confidence in pharmacist specialist skills. They also felt that the most important factor in the development of the system is to create national definitions for specialty practice. The main barrier was the lack of reimbursement for specialty services in Canada. The majority of Canadian community pharmacist respondents support the creation of a certification process for pharmacist specialization. Future study is required to confirm this finding in a larger sample and to determine the optimal model and the financial feasibility of a national system in Canada. © 2016 Royal Pharmaceutical Society.

Guidance and Control Software Project Data - Volume 3: Verification Documents

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J. (Editor)

2008-01-01

The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the verification documents from the GCS project. Volume 3 contains four appendices: A. Software Verification Cases and Procedures for the Guidance and Control Software Project; B. Software Verification Results for the Pluto Implementation of the Guidance and Control Software; C. Review Records for the Pluto Implementation of the Guidance and Control Software; and D. Test Results Logs for the Pluto Implementation of the Guidance and Control Software.

78 FR 38541 - Increase in Fees for Voluntary Federal Dairy Grading and Inspection Services

Federal Register 2010, 2011, 2012, 2013, 2014

2013-06-27

... 10 percent effective February 2014. The fees applicable to European Union Health Certification... European Union Health Certification Program derogation process. These actions will equally affect all...-resident service per European Union (EU) Health Certification Program derogation for somatic cell count and...

A Parallel Universe: Certification in the Information Technology Guild.

ERIC Educational Resources Information Center

Adelman, Clifford

2000-01-01

Discusses the growing importance of transnational, competency-based training in information technology and considers implications for traditional institutions of higher education. Considers the awarding of certificates rather than degrees; the types of providers offering training; the role of testing companies in the certification process; and the…

9 CFR 351.14 - Processes to be supervised; extent of examinations.

Code of Federal Regulations, 2014 CFR

2014-01-01

... AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFICATION OF TECHNICAL ANIMAL FATS FOR EXPORT... in the preparation of certified technical animal fats at any certified plant shall be subject to supervision by an inspector. Certified plants shall not prepare any technical animal fat for certification...

9 CFR 351.14 - Processes to be supervised; extent of examinations.

Code of Federal Regulations, 2013 CFR

2013-01-01

... AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFICATION OF TECHNICAL ANIMAL FATS FOR EXPORT... in the preparation of certified technical animal fats at any certified plant shall be subject to supervision by an inspector. Certified plants shall not prepare any technical animal fat for certification...

9 CFR 351.14 - Processes to be supervised; extent of examinations.

Code of Federal Regulations, 2012 CFR

2012-01-01

... AND VOLUNTARY INSPECTION AND CERTIFICATION CERTIFICATION OF TECHNICAL ANIMAL FATS FOR EXPORT... in the preparation of certified technical animal fats at any certified plant shall be subject to supervision by an inspector. Certified plants shall not prepare any technical animal fat for certification...

76 FR 66347 - Agency Information Collection Activities; Requests for Comments: Clearance of Renewed Approval of...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-10-26

... Certification Procedures for Changed Products AGENCY: Federal Aviation Administration (FAA), DOT. ACTION: Notice... determining the certification basis for aeronautical products. This process is intended to increase safety by... Certification Office by an aircraft/product manufacturer/modifier. Respondents: Approximately 2,558...

78 FR 58160 - Certification Process for State Capital Counsel System

Federal Register 2010, 2011, 2012, 2013, 2014

2013-09-23

... make such independent assessments in the context of making certification decisions under chapter 154... decisions concerning the objectives of representation,'' ABA Model Rule 1.2(a), making it difficult to... certification procedures. The Attorney General determined that chapter 154 gave him greater discretion in making...

7 CFR 52.54 - Debarment of service.

Code of Federal Regulations, 2010 CFR

2010-01-01

... inspection report or any inspection certificate, or appeal inspection certificate issued under the... of grade or words of similar import in the labeling or advertising of any processed product; (v) The... advertising material on, or in conjunction with, packaged honey that bears any official certificate of quality...

Evidence Arguments for Using Formal Methods in Software Certification

NASA Technical Reports Server (NTRS)

Denney, Ewen W.; Pai, Ganesh

2013-01-01

We describe a generic approach for automatically integrating the output generated from a formal method/tool into a software safety assurance case, as an evidence argument, by (a) encoding the underlying reasoning as a safety case pattern, and (b) instantiating it using the data produced from the method/tool. We believe this approach not only improves the trustworthiness of the evidence generated from a formal method/tool, by explicitly presenting the reasoning and mechanisms underlying its genesis, but also provides a way to gauge the suitability of the evidence in the context of the wider assurance case. We illustrate our work by application to a real example-an unmanned aircraft system- where we invoke a formal code analysis tool from its autopilot software safety case, automatically transform the verification output into an evidence argument, and then integrate it into the former.

Guidance and Control Software Project Data - Volume 4: Configuration Management and Quality Assurance Documents

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J. (Editor)

2008-01-01

The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes configuration management and quality assurance documents from the GCS project. Volume 4 contains six appendices: A. Software Accomplishment Summary for the Guidance and Control Software Project; B. Software Configuration Index for the Guidance and Control Software Project; C. Configuration Management Records for the Guidance and Control Software Project; D. Software Quality Assurance Records for the Guidance and Control Software Project; E. Problem Report for the Pluto Implementation of the Guidance and Control Software Project; and F. Support Documentation Change Reports for the Guidance and Control Software Project.

Certification-Based Process Analysis

NASA Technical Reports Server (NTRS)

Knight, Russell L.

2013-01-01

Space mission architects are often challenged with knowing which investment in technology infusion will have the highest return. Certification-based analysis (CBA) gives architects and technologists a means to communicate the risks and advantages of infusing technologies at various points in a process. Various alternatives can be compared, and requirements based on supporting streamlining or automation can be derived and levied on candidate technologies. CBA is a technique for analyzing a process and identifying potential areas of improvement. The process and analysis products are used to communicate between technologists and architects. Process means any of the standard representations of a production flow; in this case, any individual steps leading to products, which feed into other steps, until the final product is produced at the end. This sort of process is common for space mission operations, where a set of goals is reduced eventually to a fully vetted command sequence to be sent to the spacecraft. Fully vetting a product is synonymous with certification. For some types of products, this is referred to as verification and validation, and for others it is referred to as checking. Fundamentally, certification is the step in the process where one insures that a product works as intended, and contains no flaws.

Guidance and Control Software Project Data - Volume 2: Development Documents

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly J. (Editor)

2008-01-01

The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the development documents from the GCS project. Volume 2 contains three appendices: A. Guidance and Control Software Development Specification; B. Design Description for the Pluto Implementation of the Guidance and Control Software; and C. Source Code for the Pluto Implementation of the Guidance and Control Software

15 CFR 325.8 - Expediting the certification process.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 15 Commerce and Foreign Trade 2 2010-01-01 2010-01-01 false Expediting the certification process. 325.8 Section 325.8 Commerce and Foreign Trade Regulations Relating to Commerce and Foreign Trade (Continued) INTERNATIONAL TRADE ADMINISTRATION, DEPARTMENT OF COMMERCE MISCELLANEOUS REGULATIONS EXPORT TRADE...

Improving the continued airworthiness of civil aircraft : a strategy for the FAA's Aircraft Certification Service

DOT National Transportation Integrated Search

1998-01-01

The National Research Council (NRC) was asked to conduct an independent assessment of the safety management process used by the Aircraft Certification Service of the Federal Aviation Administration (FAA) to define how the current process might be imp...

20 CFR 655.1 - Purpose and scope of subpart A.

Code of Federal Regulations, 2010 CFR

2010-04-01

... EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process and Enforcement of Attestations for Temporary Employment in Occupations Other Than Agriculture or Registered Nursing in the United... governing the labor certification process for the temporary employment of nonimmigrant foreign workers in...

20 CFR 655.101 - Authority of the Office of Foreign Labor Certification (OFLC) Administrator.

Code of Federal Regulations, 2011 CFR

2011-04-01

... Certification (OFLC) Administrator. 655.101 Section 655.101 Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) § 655.101...

20 CFR 655.172 - Withdrawal of job order and application for temporary employment certification.

Code of Federal Regulations, 2011 CFR

2011-04-01

... temporary employment certification. 655.172 Section 655.172 Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Post...

27 CFR 41.195 - Trade name certificate.

Code of Federal Regulations, 2012 CFR

2012-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Trade name certificate. 41.195 Section 41.195 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Tobacco Products Importers § 41.195 Trade name certificate. Every person, before...

27 CFR 41.195 - Trade name certificate.

Code of Federal Regulations, 2011 CFR

2011-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Trade name certificate. 41.195 Section 41.195 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Tobacco Products Importers § 41.195 Trade name certificate. Every person, before...

27 CFR 41.195 - Trade name certificate.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Trade name certificate. 41.195 Section 41.195 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Tobacco Products Importers § 41.195 Trade name certificate. Every person, before...

27 CFR 41.195 - Trade name certificate.

Code of Federal Regulations, 2014 CFR

2014-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2014-04-01 2014-04-01 false Trade name certificate. 41.195 Section 41.195 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Tobacco Products Importers § 41.195 Trade name certificate. Every person that...

27 CFR 41.195 - Trade name certificate.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Trade name certificate. 41.195 Section 41.195 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Tobacco Products Importers § 41.195 Trade name certificate. Every person, before...

Teacher Certification: The Problem in the Pacific Northwest.

ERIC Educational Resources Information Center

Leonard, Leo D.

1985-01-01

Teacher certification procedures in the Pacific Northwest are used to illustrate the kinds of problems facing the nation in terms of teacher certification and program accreditation. Proposals for change include: cooperation between public schools and universities; five year programs; and use of research to study the teacher education process. (DF)

9 CFR 205.101 - Certification-request and processing.

Code of Federal Regulations, 2014 CFR

2014-01-01

... an introductory explanation of how the system will operate; (2) Identify the information which will... the system is created and operated, and the system operator is designated; (ii) All regulations, rules... certification of a system, a written request for certification must be filed together with such documents as...

9 CFR 205.101 - Certification-request and processing.

Code of Federal Regulations, 2013 CFR

2013-01-01

... an introductory explanation of how the system will operate; (2) Identify the information which will... the system is created and operated, and the system operator is designated; (ii) All regulations, rules... certification of a system, a written request for certification must be filed together with such documents as...

Building Alternative Agri-Food Networks: Certification, Embeddedness and Agri-Environmental Governance

ERIC Educational Resources Information Center

Higgins, Vaughan; Dibden, Jacqui; Cocklin, Chris

2008-01-01

This paper examines the role of certification in alternative agri-food networks (AAFNs), which are "in the process" of building markets for their produce outside conventional supply chains. Drawing upon recent writing on "embeddedness", we argue that certification provides an important focus for exploring the relationship and…

Labor Certifications

ERIC Educational Resources Information Center

Kaye, Allen E.

1978-01-01

The U.S. Immigration and Nationality Act requires that those aliens who wish to obtain U.S. immigrant visas and who intend to be permanently employed here to obtain a certification from the U.S. Secretary of Labor. Certain aliens are exempt from this requirement. Those not exempt must follow the labor certification process. (NQ)

Subspecialty Certification by the American Board of Psychiatry and Neurology

ERIC Educational Resources Information Center

Juul, Dorthea; Scheiber, Stephen C.; Kramer, Thomas A. M.

2004-01-01

Objective: The authors describe the approval processes for subspecialties and the mechanisms for certification and recertification and review the status of training programs and numbers of diplomates with subspecialty certification. Methods: Published information and relevant data bases were reviewed. To date, 5,327 child and adolescent…

Support for infants and young people with sight loss: a qualitative study of sight impairment certification and referral to education and social care services

PubMed Central

Boyce, Tammy; Dahlmann-Noor, Annegret; Bowman, Richard; Keil, Sue

2015-01-01

Objectives To examine the experience of infants, children and their parents, the role of ophthalmologists and other health, social care and education professionals in the certification and registration processes and examine the relationship between certification and referrals and pathways to support. Design Qualitative study. Setting Telephone interviews with health and, social care professionals, qualified teachers of children and young people with vision impairment (QTVIs) and parents of infants/children in England. Participants 52 health, social care and education professionals who are part of the certification or registration process. 26 parents of infants and children with vision impairment. Results Referrals to education do not require a Certificate of Vision Impairment (CVI); however, the majority of parents received support from education and social services only after an offer of the CVI, which was often dependent on having a formal diagnosis. Parents stated they wanted support sooner, particularly parents of children with additional complex needs who experienced longer delays. Areas with multidisciplinary teams and support roles such as eye clinic liaison officers (ECLOs) appeared to have more reliable referral pathways. Conclusions For infants and children with vision impairment, there should be a consistent mechanism for triggering education and social care support even with uncertainty about diagnosis and/or prognosis. All professionals involved in the certification and registration processes (ophthalmologists, optometrists, ECLOs, orthoptists, social workers, QTVIs) can better communicate the value and benefits of certification and registration. PMID:26685033

Certification of Professional School Personnel in Manitoba: A Handbook for Graduates of Manitoba's Teacher Training Institutions = Delivrance des brevets au personnel professionnel du Manitoba: Guide a l'attention des diplomes des etablissements de formation d'enseignants du Manitoba.

ERIC Educational Resources Information Center

Manitoba Dept. of Education and Training, Winnipeg.

This guide, with alternating pages of text in English and French, provides information about the process of obtaining teacher certification in Manitoba (Canada). The guide discusses professional and vocational certification; application procedures; teaching prior to certification; salary classification; salary reclassification; official statements…

50 CFR 260.97 - Conditions for providing fishery products inspection service at official establishments.

Code of Federal Regulations, 2010 CFR

2010-10-01

... CERTIFICATION Inspection and Certification of Establishments and Fishery Products for Human Consumption... control systems and cooperation. The inspection effort requirement may be reevaluated when the contracting...; or (2) For production errors, such as processing temperatures, length of process, or misbranding of...

50 CFR 260.97 - Conditions for providing fishery products inspection service at official establishments.

Code of Federal Regulations, 2011 CFR

2011-10-01

... CERTIFICATION Inspection and Certification of Establishments and Fishery Products for Human Consumption... control systems and cooperation. The inspection effort requirement may be reevaluated when the contracting...; or (2) For production errors, such as processing temperatures, length of process, or misbranding of...

20 CFR 655.5 - Purpose and scope of subpart A.

Code of Federal Regulations, 2010 CFR

2010-04-01

... EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process and Enforcement of Attestations for Temporary Employment in Occupations Other Than Agriculture or Registered Nursing in the United... certification process for the temporary employment of nonimmigrant foreign workers in the U.S. in occupations...

77 FR 45688 - Electronic Prescriptions for Controlled Substances Notice of Approved Certification Process

Federal Register 2010, 2011, 2012, 2013, 2014

2012-08-01

... Comprehensive Drug Abuse Prevention and Control Act of 1970, often referred to as the Controlled Substances Act... substances, particularly Schedule II controlled substances, which have a significant potential for abuse... Prescriptions for Controlled Substances Notice of Approved Certification Process AGENCY: Drug Enforcement...

Annotated Bibliography on Human Factors in Software Development

DTIC Science & Technology

1979-06-01

Information Sciences, 1976, 5, 123-143. Shneiderman. B., Mayer, R., McKay, D., & Heller, P. Experimental investi- gations of the utility of flowcharts ...REPRESENTATIONS OF PROGRAMS, PRODUCTION SCHEDULIWG, AUTOMATIC FLOWCHARTING , -MAPFSR,- AND CERTIFICATION TECHNIQUES. EXAMPLES OF HOW THSSE AIOS AND METHODS CAN...PROCiSS ARE PRESENTED, AND THE ANALYSIS Of THREE SPECIFIC MODELS IS REVIEWED. (0)SP, 5R. . 65 FLOWCHARTING CHAPIN, N. FLOWCHARTING WITH THE ANSI

Cradle-to-Gate Life-Cycle Inventory of Hardboard and Engineered Wood Siding and Trim Produced in North America

Treesearch

Richard D. Bergman

2015-01-01

Developing wood product LCI data helps construct product LCAs that are then incorporated into developing whole building LCAs in environmental footprint software such as the Athena Impact Estimator for Buildings (ASMI 2015). Conducting whole building LCAs provide for points that go toward green building certification in rating systems such as LEED v4, Green Globes, and...

Fly-by-light technology development plan

NASA Technical Reports Server (NTRS)

Todd, J. R.; Williams, T.; Goldthorpe, S.; Hay, J.; Brennan, M.; Sherman, B.; Chen, J.; Yount, Larry J.; Hess, Richard F.; Kravetz, J.

1990-01-01

The driving factors and developments which make a fly-by-light (FBL) viable are discussed. Documentation, analyses, and recommendations are provided on the major issues pertinent to facilitating the U.S. implementation of commercial FBL aircraft before the turn of the century. Areas of particular concern include ultra-reliable computing (hardware/software); electromagnetic environment (EME); verification and validation; optical techniques; life-cycle maintenance; and basis and procedures for certification.

Earth System Grid and EGI interoperability

NASA Astrophysics Data System (ADS)

Raciazek, J.; Petitdidier, M.; Gemuend, A.; Schwichtenberg, H.

2012-04-01

The Earth Science data centers have developed a data grid called Earth Science Grid Federation (ESGF) to give the scientific community world wide access to CMIP5 (Coupled Model Inter-comparison Project 5) climate data. The CMIP5 data will permit to evaluate the impact of climate change in various environmental and societal areas, such as regional climate, extreme events, agriculture, insurance… The ESGF grid provides services like searching, browsing and downloading of datasets. At the security level, ESGF data access is protected by an authentication mechanism. An ESGF trusted X509 Short-Lived EEC certificate with the correct roles/attributes is required to get access to the data in a non-interactive way (e.g. from a worker node). To access ESGF from EGI (i.e. by earth science applications running on EGI infrastructure), the security incompatibility between the two grids is the challenge: the EGI proxy certificate is not ESGF trusted nor it contains the correct roles/attributes. To solve this problem, we decided to use a Credential Translation Service (CTS) to translate the EGI X509 proxy certificate into the ESGF Short-Lived EEC certificate (the CTS will issue ESGF certificates based on EGI certificate authentication). From the end user perspective, the main steps to use the CTS are: the user binds his two identities (EGI and ESGF) together in the CTS using the CTS web interface (this steps has to be done only once) and then request an ESGF Short-Lived EEC certificate every time is needed, using a command-line tools. The implementation of the CTS is on-going. It is based on the open source MyProxy software stack, which is used in many grid infrastructures. On the client side, the "myproxy-logon" command-line tools is used to request the certificate translation. A new option has been added to "myproxy-logon" to select the original certificate (in our case, the EGI one). On the server side, MyProxy server operates in Certificate Authority mode, with a new module to store and manage identity pairs. Many European teams are working on the impact of climate change and face the problem of a lack of compute resources in connection with large data sets. This work between the ES VRC in EGI-Inspire and ESGF will be important to facilitate the exploitation of the CMIP5 data on EGI.

An Analytical Assessment of NASA's N(+)1 Subsonic Fixed Wing Project Noise Goal

NASA Technical Reports Server (NTRS)

Berton, Jeffrey J.; Envia, Edmane; Burley, Casey L.

2010-01-01

The Subsonic Fixed Wing Project of NASA s Fundamental Aeronautics Program has adopted a noise reduction goal for new, subsonic, single-aisle, civil aircraft expected to replace current 737 and A320 airplanes. These so-called "N+1" aircraft--designated in NASA vernacular as such since they will follow the current, in-service, "N" airplanes--are hoped to achieve certification noise goal levels of 32 cumulative EPNdB under current Stage 4 noise regulations. A notional, N+1, single-aisle, twinjet transport with ultrahigh bypass ratio turbofan engines is analyzed in this study using NASA software and methods. Several advanced noise-reduction technologies are empirically applied to the propulsion system and airframe. Certification noise levels are predicted and compared with the NASA goal.

Saturn S-2 quality assurance techniques, critical process control. Volume 7: Metallic materials

NASA Technical Reports Server (NTRS)

Ross, W. D., Jr.

1970-01-01

The special skills developed during the Saturn S-2 Program are documented to enable qualified personnel to carry out efficient operations in future S-2 production. Skills covered include: acceptance testing of fusion-welding equipment, weld operators and inspector certification, machine certification, preweld operations, and repair weld certification.

27 CFR 40.496 - Trade name certificate.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Trade name certificate. 40.496 Section 40.496 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 40.496 Trade name certificate. Every person that files an application for a permit as a...

27 CFR 41.236 - Trade name certificate.

Code of Federal Regulations, 2011 CFR

2011-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Trade name certificate. 41.236 Section 41.236 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 41.236 Trade name certificate. Every person that files an application for a permit as an...

27 CFR 41.236 - Trade name certificate.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Trade name certificate. 41.236 Section 41.236 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 41.236 Trade name certificate. Every person that files an application for a permit as an...

27 CFR 41.236 - Trade name certificate.

Code of Federal Regulations, 2014 CFR

2014-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2014-04-01 2014-04-01 false Trade name certificate. 41.236 Section 41.236 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 41.236 Trade name certificate. Every person that files an application for a permit as an...

27 CFR 41.236 - Trade name certificate.

Code of Federal Regulations, 2012 CFR

2012-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Trade name certificate. 41.236 Section 41.236 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 41.236 Trade name certificate. Every person that files an application for a permit as an...

27 CFR 40.496 - Trade name certificate.

Code of Federal Regulations, 2014 CFR

2014-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2014-04-01 2014-04-01 false Trade name certificate. 40.496 Section 40.496 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 40.496 Trade name certificate. Every person that files an application for a permit as a...

27 CFR 40.496 - Trade name certificate.

Code of Federal Regulations, 2011 CFR

2011-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Trade name certificate. 40.496 Section 40.496 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 40.496 Trade name certificate. Every person that files an application for a permit as a...

27 CFR 41.236 - Trade name certificate.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Trade name certificate. 41.236 Section 41.236 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 41.236 Trade name certificate. Every person that files an application for a permit as an...

27 CFR 40.496 - Trade name certificate.

Code of Federal Regulations, 2012 CFR

2012-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Trade name certificate. 40.496 Section 40.496 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 40.496 Trade name certificate. Every person that files an application for a permit as a...

27 CFR 40.496 - Trade name certificate.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Trade name certificate. 40.496 Section 40.496 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU... Processed Tobacco § 40.496 Trade name certificate. Every person that files an application for a permit as a...

49 CFR 240.115 - Criteria for consideration of prior safety conduct as a motor vehicle operator.

Code of Federal Regulations, 2010 CFR

2010-10-01

... CERTIFICATION OF LOCOMOTIVE ENGINEERS Component Elements of the Certification Process § 240.115 Criteria for... occurred more than 36 months before the month in which the railroad is making its certification decision and shall only consider information concerning the following types of motor vehicle incidents: (1) A...

Certification as a SOTL Process: Some Steps along the Way

ERIC Educational Resources Information Center

McCarthy, Marian

2009-01-01

Certificated Courses in Teaching and Learning in Higher Education at University College Cork (UCC), Ireland, provide opportunities for faculty to develop a culture of Scholarship of Teaching and Learning (SoTL). The Teaching and Learning Centre runs a Certificate, Diploma and Master's Programme which is grounded in a SoTL philosophy. Central to…

Internists' Views of Maintenance of Certification: A Stages-of-Change Perspective

ERIC Educational Resources Information Center

Arnold, Gerald K.; Hess, Brian J.; Lipner, Rebecca S.

2013-01-01

Introduction: Board certification has evolved from a "point-in-time" event to a process of periodic learning and reevaluation of medical competence through maintenance of certification (MOC). To better understand MOC participation, the transtheoretical model (TTM) was used to describe physicians' perceptions of MOC as a sequence of…

20 CFR 655.101 - Authority of the Office of Foreign Labor Certification (OFLC) Administrator.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 20 Employees' Benefits 3 2010-04-01 2010-04-01 false Authority of the Office of Foreign Labor Certification (OFLC) Administrator. 655.101 Section 655.101 Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary...

77 FR 12882 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2012-03-02

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: 2012 Allowable Charges for Agricultural Workers' Meals and Travel Subsistence Reimbursement, Including Lodging AGENCY: Employment and Training...

78 FR 15741 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-03-12

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: 2013 Allowable Charges for Agricultural Workers' Meals and Travel Subsistence Reimbursement, Including Lodging AGENCY: Employment and Training...

77 FR 13635 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2012-03-07

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: 2012 Allowable Charges for Agricultural Workers' Meals and Travel Subsistence Reimbursement, Including Lodging AGENCY: Employment and Training...

76 FR 11286 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-03-01

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: 2011 Adverse Effect Wage Rates, Allowable Charges for Agricultural Workers' Meals, and Maximum Travel Subsistence Reimbursement AGENCY...

20 CFR 655.23 - Receipt and processing of applications.

Code of Federal Regulations, 2011 CFR

2011-04-01

...) Processing. The CO will review complete applications for an absence of errors that would prevent certification and for compliance with the criteria for certification. The CO will make a determination to... complied with all requirements of the program. (c) Request for further information. (1) If the CO...

20 CFR 655.23 - Receipt and processing of applications.

Code of Federal Regulations, 2010 CFR

2010-04-01

...) Processing. The CO will review complete applications for an absence of errors that would prevent certification and for compliance with the criteria for certification. The CO will make a determination to... complied with all requirements of the program. (c) Request for further information. (1) If the CO...

National Board Certified Teachers in Pennsylvania: A Study of Motivation and Persistence

ERIC Educational Resources Information Center

Starnes, Ronald Jay

2013-01-01

This descriptive study identifies: 1) the factors which motivated Pennsylvania teachers to begin the National Board Certification process; 2) the factors of persistence which led teachers to successful achievement of National Board Certification and; 3) the personal transformation which took place in the process. Quantitative and qualitative…

Electronic Certification of Death in Slovenia - System Considerations and Development Opportunities.

PubMed

Stanimirovic, Dalibor

2016-01-01

Accurate and consistent death certification facilitates morbidity and mortality surveillance, and consequently supports evidence-informed health policies. The paper initially explores the current death certification practice in Slovenia, and identifies related deficiencies and system inconsistencies. Finally, the paper outlines a conceptualization of ICT-based model of death certification including renovation of business processes and organizational changes. The research is based on focus group methodology. Structured discussions were conducted with 29 experts from cross-sectional areas related to death certification. Research results imply that effective ICT-based transformation of the existing death certification model should involve a redefinition of functions and relationships between the main actors, as well as a reconfiguration of the technological, organizational, and regulatory elements in the field. The paper provides an insight into the complexities of the death certification and may provide the groundwork for ICT-based transformation of the death certification model in Slovenia.

Perspectives on Teacher Quality: Bilingual Education and ESL Teacher Certification, Test-Taking Experiences, and Instructional Practices

ERIC Educational Resources Information Center

Lemberger, Nancy; Reyes-Carrasquillo, Angela

2011-01-01

This descriptive exploratory study looked at the certification process, test-taking experiences, and instructional practices of a group of graduate bilingual education (BE) and English-as-a-Second-Language (ESL) teachers to understand why some had problems passing teacher certification tests after completing their degrees. The study surveyed 63 BE…

Middle Level Teacher Certification in South Carolina: A Case Study in Educational Policy Development

ERIC Educational Resources Information Center

Virtue, David C.

2007-01-01

South Carolina made a significant step forward in middle level education reform by enacting middle level teacher certification in 2001. This qualitative case study documents the process through which the state legislation developed, with a particular focus on how middle level teacher certification arrived and remained on the public policy agenda…

Graduating STEM Competent and Confident Teachers: The Creation of a STEM Certificate for Elementary Education Majors

ERIC Educational Resources Information Center

Murphy, Tony P.; Mancini-Samuelson, Gina J.

2012-01-01

A collaborative of STEM (science, technology, engineering, and mathematics) and education faculty developed a STEM certificate aimed at elementary education majors. A four-phase process model was used to create and evaluate courses. The certificate is comprised of three interdisciplinary, team-taught, lab-based courses: Environmental Biology,…

46 CFR 167.60-5 - Period of time for which valid.

Code of Federal Regulations, 2010 CFR

2010-10-01

... SCHOOL SHIPS Certificates of Inspection § 167.60-5 Period of time for which valid. A certificate of inspection for any period less than one year shall not be issued, but nothing herein shall be construed as preventing the revocation or suspension of a certificate of inspection in case such process is authorized by...

A Research Guide on National Board Certification[R] of Teachers

ERIC Educational Resources Information Center

National Board for Professional Teaching Standards, 2007

2007-01-01

The National Board for Professional Teaching Standards[R] (NBPTS) has always welcomed scrutiny of the National Board Certification[R] process and the impact that National Board Certified Teachers[R] (NBCTs) have on teaching and learning. As a result, in the 20 years since NBPTS was founded, National Board Certification has become one of the most…

The Political Economy of Alternative Trade: Social and Environmental Certification in the South African Wine Industry

ERIC Educational Resources Information Center

McEwan, Cheryl; Bek, David

2009-01-01

Despite recent critical analyses of the nature and impacts of social and environmental certification, the increasingly complex landscape of voluntary, industry and third-party codes and certification processes that have emerged in specific sectors is poorly understood. In particular, little is known about the potential threats posed by an…

A Primer for Accounting Certification: Complete Analysis of the Process with Listing of Sources

ERIC Educational Resources Information Center

Boyd, David T.; Boyd, Sanithia C.; Berry, Priscilla

2009-01-01

As a result of globalization and the growth and complexity of both domestic and international bodies requiring accountants, the need for highly sophisticated training and specific certification is mandatory. Students seeking career positions in the field of accounting are amazingly left without the easy access to certification that one might think…

Space outside the market: implications of NTFP certification for subsistence use (US)

Treesearch

Marla R. Emery

2002-01-01

Non-timber forest product (NTFP) certification is a market mechanism that is advanced to attain the dual goals of protecting global forests and promoting economic development (Nepstad and Schwartzman, 1992; Pierce, 1999; Viana et al, 1996). Certification criteria and indicators emphasize the rationalization and control of each step of the NTFP process from forest to...

Advantages of multigrid methods for certifying the accuracy of PDE modeling

NASA Technical Reports Server (NTRS)

Forester, C. K.

1981-01-01

Numerical techniques for assessing and certifying the accuracy of the modeling of partial differential equations (PDE) to the user's specifications are analyzed. Examples of the certification process with conventional techniques are summarized for the three dimensional steady state full potential and the two dimensional steady Navier-Stokes equations using fixed grid methods (FG). The advantages of the Full Approximation Storage (FAS) scheme of the multigrid technique of A. Brandt compared with the conventional certification process of modeling PDE are illustrated in one dimension with the transformed potential equation. Inferences are drawn for how MG will improve the certification process of the numerical modeling of two and three dimensional PDE systems. Elements of the error assessment process that are common to FG and MG are analyzed.

The National Board Certification Portfolio Process and Its Influence on Teacher Reflection

ERIC Educational Resources Information Center

Palmer, Jennifer L.

2012-01-01

This study examined the types of teacher reflections and the changes in reflective levels as 15 candidates for National Board Certification worked through the portfolio process. This study also examined how the portfolio requirements and mentoring from candidate support providers helped teachers deepen their levels of reflection. Study findings…

Volpe Aircraft Noise Certification DGPS Validation/Audit General Information, Data Submittal Guidelines, and Process Details; Letter Report V324-FB48B3-LR5

DOT National Transportation Integrated Search

2018-01-09

As required by Federal Aviation Administration Order 8110.4C, Type Certification Process, the Volpe Center Acoustics Facility (Volpe), in support of the Federal Aviation Administration Office of Environment and Energy (AEE), has completed valid...

Memorandum about Regional Certifications Made During the Resource Conservation and Recovery Act (RCRA) Subtitle C State Program Revision Authorization Process

EPA Pesticide Factsheets

During last year’s RCRA Senior Policy Managers Meeting in Kansas City, there was a discussion regarding the certifications that are made by the Regions during the State Authorization Revision process. The result of this discussion was a general agreement.

78 FR 1260 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-01-08

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: Prevailing Wage Rates for Certain... Agriculture (USDA) farm production region that includes another State either with its own wage rate finding or...

78 FR 1259 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-01-08

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: 2013 Adverse Effect Wage Rates AGENCY... Department of Agriculture (USDA). 20 CFR 655.120(c) requires that the Administrator of the Office of Foreign...

76 FR 79711 - Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-12-22

... DEPARTMENT OF LABOR Employment and Training Administration Labor Certification Process for the Temporary Employment of Aliens in Agriculture in the United States: 2012 Adverse Effect Wage Rates AGENCY... Department of Agriculture (USDA). 20 CFR 655.120(c) requires the Administrator of the Office of Foreign Labor...

48 CFR 301.607-76 - FAC-P/PM application process.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 48 Federal Acquisition Regulations System 4 2010-10-01 2010-10-01 false FAC-P/PM application... 301.607-76 FAC-P/PM application process. The P/PM Handbook contains application procedures and forms...; recertification; and certification waiver. Applicants for HHS FAC-P/PM certification actions shall comply with the...

48 CFR 301.607-76 - FAC-P/PM application process.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 48 Federal Acquisition Regulations System 4 2011-10-01 2011-10-01 false FAC-P/PM application... 301.607-76 FAC-P/PM application process. The P/PM Handbook contains application procedures and forms...; recertification; and certification waiver. Applicants for HHS FAC-P/PM certification actions shall comply with the...

48 CFR 301.607-76 - FAC-P/PM application process.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 48 Federal Acquisition Regulations System 4 2014-10-01 2014-10-01 false FAC-P/PM application... 301.607-76 FAC-P/PM application process. The P/PM Handbook contains application procedures and forms...; recertification; and certification waiver. Applicants for HHS FAC-P/PM certification actions shall comply with the...

48 CFR 301.607-76 - FAC-P/PM application process.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 48 Federal Acquisition Regulations System 4 2012-10-01 2012-10-01 false FAC-P/PM application... 301.607-76 FAC-P/PM application process. The P/PM Handbook contains application procedures and forms...; recertification; and certification waiver. Applicants for HHS FAC-P/PM certification actions shall comply with the...

48 CFR 301.607-76 - FAC-P/PM application process.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 48 Federal Acquisition Regulations System 4 2013-10-01 2013-10-01 false FAC-P/PM application... 301.607-76 FAC-P/PM application process. The P/PM Handbook contains application procedures and forms...; recertification; and certification waiver. Applicants for HHS FAC-P/PM certification actions shall comply with the...

Concurrent engineering research center

NASA Technical Reports Server (NTRS)

Callahan, John R.

1995-01-01

The projects undertaken by The Concurrent Engineering Research Center (CERC) at West Virginia University are reported and summarized. CERC's participation in the Department of Defense's Defense Advanced Research Project relating to technology needed to improve the product development process is described, particularly in the area of advanced weapon systems. The efforts committed to improving collaboration among the diverse and distributed health care providers are reported, along with the research activities for NASA in Independent Software Verification and Validation. CERC also takes part in the electronic respirator certification initiated by The National Institute for Occupational Safety and Health, as well as in the efforts to find a solution to the problem of producing environment-friendly end-products for product developers worldwide. The 3M Fiber Metal Matrix Composite Model Factory Program is discussed. CERC technologies, facilities,and personnel-related issues are described, along with its library and technical services and recent publications.

The road to JCAHO disease-specific care certification: a step-by-step process log.

PubMed

Morrison, Kathy

2005-01-01

In 2002, the Joint Commission on Accreditation of Healthcare Organizations (JCAHO) implemented Disease-Specific Care (DSC) certification. This is a voluntary program in which organizations have their disease management program evaluated by this regulatory agency. Some of the DSC categories are stroke, heart failure, acute MI, diabetes, and pneumonia. The criteria for any disease management program certification are: compliance with consensus-based national standards, effective use of established clinical practice guidelines to manage and optimize care, and an organized approach to performance measurement and improvement activities. Successful accomplishment of DSC certification defines organizations as Centers of Excellence in management of that particular disease. This article will review general guidelines for DSC certification with an emphasis on Primary Stroke Center certification.

20 CFR 655.32 - Labor certification determinations.

Code of Federal Regulations, 2010 CFR

2010-04-01

... EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process and Enforcement of Attestations for Temporary Employment in Occupations Other Than Agriculture or Registered Nursing in the United...

Perform MetalMapper Classification Treatability Investigations as Part of Remedial Investigation/Feasibility Studies: Live Site Demonstrations: Pueblo Chemical Depot

DTIC Science & Technology

2016-03-14

DoD Department of Defense EMI electromagnetic induction ESTCP Environmental Security Technology Certification Program ft. foot GPS global...three primary objectives:  Test and validate detection and discrimination capabilities of a currently available advanced electromagnetic induction ... induction (EMI) sensors in dynamic and static data acquisition modes and associated analysis software. To achieve these objectives, a controlled test was

The Impact of Computer and Mathematics Software Usage on Performance of School Leavers in the Western Cape Province of South Africa: A Comparative Analysis

ERIC Educational Resources Information Center

Smith, Garth Spencer; Hardman, Joanne

2014-01-01

In this study the impact of computer immersion on performance of school leavers Senior Certificate mathematics scores was investigated across 31 schools in the EMDC East education district of Cape Town, South Africa by comparing performance between two groups: a control and an experimental group. The experimental group (14 high schools) had access…

Safe to Fly: Certifying COTS Hardware for Spaceflight

NASA Technical Reports Server (NTRS)

Fichuk, Jessica L.

2011-01-01

Providing hardware for the astronauts to use on board the Space Shuttle or International Space Station (ISS) involves a certification process that entails evaluating hardware safety, weighing risks, providing mitigation, and verifying requirements. Upon completion of this certification process, the hardware is deemed safe to fly. This process from start to finish can be completed as quickly as 1 week or can take several years in length depending on the complexity of the hardware and whether the item is a unique custom design. One area of cost and schedule savings that NASA implements is buying Commercial Off the Shelf (COTS) hardware and certifying it for human spaceflight as safe to fly. By utilizing commercial hardware, NASA saves time not having to develop, design and build the hardware from scratch, as well as a timesaving in the certification process. By utilizing COTS hardware, the current detailed certification process can be simplified which results in schedule savings. Cost savings is another important benefit of flying COTS hardware. Procuring COTS hardware for space use can be more economical than custom building the hardware. This paper will investigate the cost savings associated with certifying COTS hardware to NASA s standards rather than performing a custom build.

A Program Certification Assistant Based on Fully Automated Theorem Provers

NASA Technical Reports Server (NTRS)

Denney, Ewen; Fischer, Bernd

2005-01-01

We describe a certification assistant to support formal safety proofs for programs. It is based on a graphical user interface that hides the low-level details of first-order automated theorem provers while supporting limited interactivity: it allows users to customize and control the proof process on a high level, manages the auxiliary artifacts produced during this process, and provides traceability between the proof obligations and the relevant parts of the program. The certification assistant is part of a larger program synthesis system and is intended to support the deployment of automatically generated code in safety-critical applications.

Security and Policy for Group Collaboration

DOE Office of Scientific and Technical Information (OSTI.GOV)

Ian Foster; Carl Kesselman

2006-07-31

“Security and Policy for Group Collaboration” was a Collaboratory Middleware research project aimed at providing the fundamental security and policy infrastructure required to support the creation and operation of distributed, computationally enabled collaborations. The project developed infrastructure that exploits innovative new techniques to address challenging issues of scale, dynamics, distribution, and role. To reduce greatly the cost of adding new members to a collaboration, we developed and evaluated new techniques for creating and managing credentials based on public key certificates, including support for online certificate generation, online certificate repositories, and support for multiple certificate authorities. To facilitate the integration ofmore » new resources into a collaboration, we improved significantly the integration of local security environments. To make it easy to create and change the role and associated privileges of both resources and participants of collaboration, we developed community wide authorization services that provide distributed, scalable means for specifying policy. These services make it possible for the delegation of capability from the community to a specific user, class of user or resource. Finally, we instantiated our research results into a framework that makes it useable to a wide range of collaborative tools. The resulting mechanisms and software have been widely adopted within DOE projects and in many other scientific projects. The widespread adoption of our Globus Toolkit technology has provided, and continues to provide, a natural dissemination and technology transfer vehicle for our results.« less

31 CFR 363.143 - What happens if an ACH payment used to purchase a certificate of indebtedness is later reversed?

Code of Federal Regulations, 2010 CFR

2010-07-01

... processed security transactions, including securities that were purchased as gifts and securities that have... to purchase a certificate of indebtedness is later reversed? 363.143 Section 363.143 Money and... Indebtedness § 363.143 What happens if an ACH payment used to purchase a certificate of indebtedness is later...

Dynamic (Vibration) Testing: Design-Certification of Aerospace System

NASA Technical Reports Server (NTRS)

Aggarwal, Pravin K.

2010-01-01

Various types of dynamic testing of structures for certification purposes are described, including vibration, shock and acoustic testing. Modal testing is discussed as it frequently complements dynamic testing and is part of the structural verification/validation process leading up to design certification. Examples of dynamic and modal testing are presented as well as the common practices, procedures and standards employed.

Summary of Part 75 Administrative Processes: Table 1

EPA Pesticide Factsheets

Learn how to submit your initial certification, recertification, monitoring plans, routine quality assurance tests, diagnostic tests and DAHS verifications, low mass emissions units and other notification requirements. Table 1, initial certification.

20 CFR 655.34 - Validity of temporary labor certifications.

Code of Federal Regulations, 2010 CFR

2010-04-01

... TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process and Enforcement of Attestations for Temporary Employment in Occupations Other Than Agriculture or Registered Nursing in the United...

77 FR 16157 - Changes to the Labor Certification Process for the Temporary Non-Agricultural Employment of H-2B...

Federal Register 2010, 2011, 2012, 2013, 2014

2012-03-20

... DEPARTMENT OF LABOR Employment and Training Administration 20 CFR Part 655 RIN 1205-AB58 Changes to the Labor Certification Process for the Temporary Non- Agricultural Employment of H-2B Aliens in the United States; Transition Period AGENCY: Employment and Training Administration, Department of...

75 FR 13784 - Announcement of Public Webinar on the Changes to the Labor Certification Process for the...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-03-23

... DEPARTMENT OF LABOR Employment and Training Administration Announcement of Public Webinar on the Changes to the Labor Certification Process for the Temporary Agricultural Employment of H-2A Aliens in the... temporary or seasonal agricultural employment. See Temporary Agricultural Employment of H-2A Aliens in the...

77 FR 24137 - Changes to the Labor Certification Process for the Temporary Non-Agricultural Employment of H-2B...

Federal Register 2010, 2011, 2012, 2013, 2014

2012-04-23

... DEPARTMENT OF LABOR Employment and Training Administration 20 CFR Part 655 RIN 1205-AB58 Changes to the Labor Certification Process for the Temporary Non- Agricultural Employment of H-2B Aliens in the United States; Revisions to Transition Period AGENCY: Employment and Training Administration...

Experience Documentation in Assessing Professional Practice or Work Experience: Lessons from Granting Advanced Certification to Health Education Specialists

ERIC Educational Resources Information Center

Gambescia, Stephen F.; Lysoby, Linda; Perko, Michael; Sheu, Jiunn-Jye

2016-01-01

The purpose of this article is to demonstrate how one profession used an "experience documentation process" to grant advanced certification to qualified certified health education specialists. The competency validation process approved by the certifying organization serves as an example of an additional method, aside from traditional…

20 CFR 655.161 - Criteria for certification.

Code of Federal Regulations, 2010 CFR

2010-04-01

... EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural...; made all the assurances in § 655.135; and met all the recruitment obligations required by § 655.121 and...

DOE Office of Scientific and Technical Information (OSTI.GOV)

VonThoma, E.; Mosiman, G.

This report documents the process and outcomes involved in achieving the U.S. Department of Energy Zero Energy Ready Home (ZERH) program certification standards while helping homebuilders in Climate Zones 5 and 6 in the Upper Midwest achieve ZERH certification.

WaterSense New Home Certification System

EPA Pesticide Factsheets

This document, a supplement to the WaterSense Program Guidelines, outlines the process for certification and labeling of new homes in compliance with the current version of the WaterSense New Home Specification (specification).

Apollo experience report: Guidance and control systems. Engineering simulation program

NASA Technical Reports Server (NTRS)

Gilbert, D. W.

1973-01-01

The Apollo Program experience from early 1962 to July 1969 with respect to the engineering-simulation support and the problems encountered is summarized in this report. Engineering simulation in support of the Apollo guidance and control system is discussed in terms of design analysis and verification, certification of hardware in closed-loop operation, verification of hardware/software compatibility, and verification of both software and procedures for each mission. The magnitude, time, and cost of the engineering simulations are described with respect to hardware availability, NASA and contractor facilities (for verification of the command module, the lunar module, and the primary guidance, navigation, and control system), and scheduling and planning considerations. Recommendations are made regarding implementation of similar, large-scale simulations for future programs.

A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems

NASA Technical Reports Server (NTRS)

Gupta, Pramod; Schumann, Johann

2004-01-01

High reliability of mission- and safety-critical software systems has been identified by NASA as a high-priority technology challenge. We present an approach for the performance analysis of a neural network (NN) in an advanced adaptive control system. This problem is important in the context of safety-critical applications that require certification, such as flight software in aircraft. We have developed a tool to measure the performance of the NN during operation by calculating a confidence interval (error bar) around the NN's output. Our tool can be used during pre-deployment verification as well as monitoring the network performance during operation. The tool has been implemented in Simulink and simulation results on a F-15 aircraft are presented.

Safety Characteristics in System Application Software for Human Rated Exploration

NASA Technical Reports Server (NTRS)

Mango, E. J.

2016-01-01

NASA and its industry and international partners are embarking on a bold and inspiring development effort to design and build an exploration class space system. The space system is made up of the Orion system, the Space Launch System (SLS) and the Ground Systems Development and Operations (GSDO) system. All are highly coupled together and dependent on each other for the combined safety of the space system. A key area of system safety focus needs to be in the ground and flight application software system (GFAS). In the development, certification and operations of GFAS, there are a series of safety characteristics that define the approach to ensure mission success. This paper will explore and examine the safety characteristics of the GFAS development.

Data Center Energy Practitioner (DCEP) Program

DOE Office of Scientific and Technical Information (OSTI.GOV)

Traber, Kim; Salim, Munther; Sartor, Dale A.

2016-02-02

The main objective for the DCEP program is to raise the standards of those involved in energy assessments of data centers to accelerate energy savings. The program is driven by the fact that significant knowledge, training, and skills are required to perform accurate energy assessments. The program will raise the confidence level in energy assessments in data centers. For those who pass the exam, the program will recognize them as Data Center Energy Practitioners (DCEPs) by issuing a certificate. Hardware req.: PC, MAC; Software Req.: Windows; Related/Auxiliary software--MS Office; Type of files: executable modules, user guide; Documentation: e-user manual; Documentation:more » http://www.1.eere.energy.gov/industry/datacenters/ 12/10/15-New Documentation URL: https://datacenters.lbl.gov/dcep« less

Office of Education Guide to Graphic Art Software

NASA Technical Reports Server (NTRS)

Davis, Angela M.

1995-01-01

During the summer experience in the LARSS program, the author created a performance support system showing the techniques of creating text in Quark XPress, placed the text into Adobe Illustrator along with scanned images, signatures and art work partially created in Adobe Photoshop. The purpose of the project was to familiarize the Office of Education Staff with Graphic Arts and the computer skills utilized to typeset and design certificates, brochures, cover pages, manuals, etc.

Resource Public Key Infrastructure Extension

DTIC Science & Technology

2012-01-01

tests for checking compliance with the RFC 3779 extensions that are used in the RPKI. These tests also were used to identify an error in the OPENSSL ...rsync, OpenSSL , Cryptlib, and MySQL/ODBC. We assume that the adversaries can exploit any publicly known vulnerability in this software. • Server...NULL, set FLAG_NOCHAIN in Ctemp, defer verification. T = P Use OpenSSL to verify certificate chain S using trust anchor T, checking signature and

77 FR 39517 - Request for Certification of Compliance-Rural Industrialization Loan and Grant Program

Federal Register 2010, 2011, 2012, 2013, 2014

2012-07-03

...: 811310 (fabrication and welding services). DATES: All interested parties may submit comments in writing... is responsible for the review and certification process. Comments should address the two bases for...

49 CFR 594.10 - Fee for review and processing of conformity certificate.

Code of Federal Regulations, 2013 CFR

2013-10-01

..., 2012 is $12. However, if the vehicle covered by the certificate has been entered electronically with the U.S. Department of Homeland Security through the Automated Broker Interface and the registered...

49 CFR 594.10 - Fee for review and processing of conformity certificate.

Code of Federal Regulations, 2011 CFR

2011-10-01

..., 2010 is $17. However, if the vehicle covered by the certificate has beenentered electronically with the U.S. Department of Homeland Security through the Automated Broker Interface and the registered...

49 CFR 594.10 - Fee for review and processing of conformity certificate.

Code of Federal Regulations, 2012 CFR

2012-10-01

..., 2012 is $12. However, if the vehicle covered by the certificate has been entered electronically with the U.S. Department of Homeland Security through the Automated Broker Interface and the registered...

49 CFR 594.10 - Fee for review and processing of conformity certificate.

Code of Federal Regulations, 2010 CFR

2010-10-01

..., 2010 is $17. However, if the vehicle covered by the certificate has beenentered electronically with the U.S. Department of Homeland Security through the Automated Broker Interface and the registered...

49 CFR 594.10 - Fee for review and processing of conformity certificate.

Code of Federal Regulations, 2014 CFR

2014-10-01

..., 2014 is $10. However, if the vehicle covered by the certificate has been entered electronically with the U.S. Department of Homeland Security through the Automated Broker Interface and the registered...

Use of a secure Internet Web site for collaborative medical research.

PubMed

Marshall, W W; Haley, R W

2000-10-11

Researchers who collaborate on clinical research studies from diffuse locations need a convenient, inexpensive, secure way to record and manage data. The Internet, with its World Wide Web, provides a vast network that enables researchers with diverse types of computers and operating systems anywhere in the world to log data through a common interface. Development of a Web site for scientific data collection can be organized into 10 steps, including planning the scientific database, choosing a database management software system, setting up database tables for each collaborator's variables, developing the Web site's screen layout, choosing a middleware software system to tie the database software to the Web site interface, embedding data editing and calculation routines, setting up the database on the central server computer, obtaining a unique Internet address and name for the Web site, applying security measures to the site, and training staff who enter data. Ensuring the security of an Internet database requires limiting the number of people who have access to the server, setting up the server on a stand-alone computer, requiring user-name and password authentication for server and Web site access, installing a firewall computer to prevent break-ins and block bogus information from reaching the server, verifying the identity of the server and client computers with certification from a certificate authority, encrypting information sent between server and client computers to avoid eavesdropping, establishing audit trails to record all accesses into the Web site, and educating Web site users about security techniques. When these measures are carefully undertaken, in our experience, information for scientific studies can be collected and maintained on Internet databases more efficiently and securely than through conventional systems of paper records protected by filing cabinets and locked doors. JAMA. 2000;284:1843-1849.

76 FR 11705 - Office of the Attorney General; Certification Process for State Capital Counsel Systems

Federal Register 2010, 2011, 2012, 2013, 2014

2011-03-03

..., Office of Legal Counsel, Re: The Scope of the Attorney General's Authority in Certifying Whether a State... rule sets out the mechanics of the certification process for States seeking to opt in to chapter 154... mechanism must provide for the entry of an order by a court of record-- (1) Appointing one or more attorneys...

Responsibility Factors of Reducing Inefficiencies in Information System Processes and Their Role on Intention to Acquire Six Sigma Certification

ERIC Educational Resources Information Center

Hejazi, Sara

2009-01-01

Organizations worldwide have been turning to Six Sigma program (SSP) to eliminate the defects in their products or drive out the variability in their processes to attain a competitive advantage in their marketplace. An effective certification program has been touted as a major contributor to successful implementation of SSP. An effective…

42 CFR 493.1773 - Standard: Basic inspection requirements for all laboratories issued a CLIA certificate and CLIA...

Code of Federal Regulations, 2011 CFR

2011-10-01

... issued a certificate of accreditation, must permit CMS or a CMS agent to conduct validation and complaint inspections. (b) General requirements. As part of the inspection process, CMS or a CMS agent may require the... testing process (preanalytic, analytic, and postanalytic). (4) Permit CMS or a CMS agent access to all...

42 CFR 493.1773 - Standard: Basic inspection requirements for all laboratories issued a CLIA certificate and CLIA...

Code of Federal Regulations, 2012 CFR

2012-10-01

... issued a certificate of accreditation, must permit CMS or a CMS agent to conduct validation and complaint inspections. (b) General requirements. As part of the inspection process, CMS or a CMS agent may require the... testing process (preanalytic, analytic, and postanalytic). (4) Permit CMS or a CMS agent access to all...

42 CFR 493.1773 - Standard: Basic inspection requirements for all laboratories issued a CLIA certificate and CLIA...

Code of Federal Regulations, 2013 CFR

2013-10-01

... issued a certificate of accreditation, must permit CMS or a CMS agent to conduct validation and complaint inspections. (b) General requirements. As part of the inspection process, CMS or a CMS agent may require the... testing process (preanalytic, analytic, and postanalytic). (4) Permit CMS or a CMS agent access to all...

42 CFR 493.1773 - Standard: Basic inspection requirements for all laboratories issued a CLIA certificate and CLIA...

Code of Federal Regulations, 2014 CFR

2014-10-01

... issued a certificate of accreditation, must permit CMS or a CMS agent to conduct validation and complaint inspections. (b) General requirements. As part of the inspection process, CMS or a CMS agent may require the... testing process (preanalytic, analytic, and postanalytic). (4) Permit CMS or a CMS agent access to all...

42 CFR 493.1773 - Standard: Basic inspection requirements for all laboratories issued a CLIA certificate and CLIA...

Code of Federal Regulations, 2010 CFR

2010-10-01

... issued a certificate of accreditation, must permit CMS or a CMS agent to conduct validation and complaint inspections. (b) General requirements. As part of the inspection process, CMS or a CMS agent may require the... testing process (preanalytic, analytic, and postanalytic). (4) Permit CMS or a CMS agent access to all...

A UML-based metamodel for software evolution process

NASA Astrophysics Data System (ADS)

Jiang, Zuo; Zhou, Wei-Hong; Fu, Zhi-Tao; Xiong, Shun-Qing

2014-04-01

A software evolution process is a set of interrelated software processes under which the corresponding software is evolving. An object-oriented software evolution process meta-model (OO-EPMM), abstract syntax and formal OCL constraint of meta-model are presented in this paper. OO-EPMM can not only represent software development process, but also represent software evolution.

Identifying changes in the role of the infection preventionist through the 2014 practice analysis study conducted by the Certification Board of Infection Control and Epidemiology, Inc.

PubMed

Henman, Lita Jo; Corrigan, Robert; Carrico, Ruth; Suh, Kathryn N

2015-07-01

The Certification Board of Infection Control and Epidemiology, Inc (CBIC) is a voluntary autonomous multidisciplinary board that provides direction and administers the certification process for professionals who are responsible for the infection prevention and control program in a health care facility. The CBIC performs a practice analysis approximately every 4-5 years. The practice analysis is an integral part of the certification examination development process and serves as the backbone of the test content outline. In 2013, the CBIC determined that a practice analysis was required and contracted with Prometric to facilitate the process. The practice analysis was carried out in 2014 by a diverse group of subject matter experts from the United States and Canada. The practice analysis results showed a significant change in the number of tasks and associated knowledge required for the competent practice of infection prevention. As authorized by the CBIC, the test committee is currently reclassifying the bank of examination questions as required and is writing and reviewing questions based on the updated test specifications and content outline. The new content outline will be reflected in examinations that are taken beginning in July 2015. This iterative process of assessing and updating the certification examination ensures not only a valid competency tool but a true reflection of current practices. Copyright © 2015 Association for Professionals in Infection Control and Epidemiology, Inc. Published by Elsevier Inc. All rights reserved.

A Large-scale Dissemination and Implementation Model for Evidence-based Treatment and Continuing Care

PubMed Central

Garner, Bryan R.; Smith, Jane Ellen; Meyers, Robert J.; Godley, Mark D.

2010-01-01

Multiple evidence-based treatments for adolescents with substance use disorders are available; however, the diffusion of these treatments in practice remains minimal. A dissemination and implementation model incorporating research-based training components for simultaneous implementation across 33 dispersed sites and over 200 clinical staff is described. Key elements for the diffusion of the Adolescent Community Reinforcement Approach and Assertive Continuing Care were: (a) three years of funding to support local implementation; (b) comprehensive training, including a 3.5 day workshop, bi-weekly coaching calls, and ongoing performance feedback facilitated by a web tool; (c) a clinician certification process; (d) a supervisor certification process to promote long-term sustainability; and (e) random fidelity reviews after certification. Process data are summarized for 167 clinicians and 64 supervisors. PMID:21547241

Coordination and organization of security software process for power information application environment

NASA Astrophysics Data System (ADS)

Wang, Qiang

2017-09-01

As an important part of software engineering, the software process decides the success or failure of software product. The design and development feature of security software process is discussed, so is the necessity and the present significance of using such process. Coordinating the function software, the process for security software and its testing are deeply discussed. The process includes requirement analysis, design, coding, debug and testing, submission and maintenance. In each process, the paper proposed the subprocesses to support software security. As an example, the paper introduces the above process into the power information platform.

Analyzing organic tea certification and traceability system within the Taiwanese tea industry.

PubMed

Wang, Mao-Chang; Yang, Chin-Ying

2015-04-01

We applied game theory to the organic tea certification process and traceability system used by the Taiwanese tea industry to elucidate the strategic choices made by tea farmers and organic tea certification agencies. Thus, this paper clarifies how relevant variables affect the organic certification process and traceability system used within the tea industry. The findings indicate that farmers who generate high revenues experience failures regarding tea deliveries, cash outflow, damage compensation, and quasi-rent. An additional problem included the high costs yielded when tea farmers colluded with or switched organic tea certification agencies. Furthermore, there could be decreasing levels of personal interest in planting non-organic tea and lowering the costs of planting organic tea and the managerial accounting costs of building comprehensive traceability systems; thus, the analysis yielded strong results and a superior equilibrium. This research is unprecedented, using an innovative model and providing a novel analysis structure for use in the tea industry. These results contribute to the field of literature and should serve as a valuable reference for members of the tea industry, government, and academia. © 2014 Society of Chemical Industry.

The process of installing REDCap, a web based database supporting biomedical research: the first year.

PubMed

Klipin, M; Mare, I; Hazelhurst, S; Kramer, B

2014-01-01

Clinical and research data are essential for patient care, research and healthcare system planning. REDCapTM is a web-based tool for research data curatorship developed at Vanderbilt University in Nashville, USA. The Faculty of Health Sciences at the University of the Witwatersrand, Johannesburg South Africa identified the need for a cost effective data management instrument. REDCap was installed as per the user agreement with Vanderbilt University in August 2012. In order to assist other institutions that may lack the in-house Information Technology capacity, this paper describes the installation and support of REDCap and incorporates an analysis of user uptake over the first year of use. We reviewed the staffing requirements, costs of installation, process of installation and necessary infrastructure and end-user requests following the introduction of REDCap at Wits. The University Legal Office and Human Research Ethics Committee were consulted regarding the REDCap end-user agreement. Bi-monthly user meetings resulted in a training workshop in August 2013. We compared our REDCap software user numbers and records before and after the first training workshop. Human resources were recruited from existing staff. Installation costs were limited to servers and security certificates. The total costs to provide a functional REDCap platform was less than $9000. Eighty-one (81) users were registered in the first year. After the first training workshop the user numbers increased by 59 in one month and the total number of active users to 140 by the end of August 2013. Custom software applications for REDCap were created by collaboration between clinicians and software developers. REDCap was installed and maintained at limited cost. A small number of people with defined skills can support multiple REDCap users in two to four hours a week. End user training increased in the number of users, number of projects created and the number of projects moved to production.

The Process of Installing REDCap, a Web Based Database Supporting Biomedical Research

PubMed Central

Mare, I.; Hazelhurst, S.; Kramer, B.

2014-01-01

Summary Background Clinical and research data are essential for patient care, research and healthcare system planning. REDCapTM is a web-based tool for research data curatorship developed at Vanderbilt University in Nashville, USA. The Faculty of Health Sciences at the University of the Witwatersrand, Johannesburg South Africa identified the need for a cost effective data management instrument. REDCap was installed as per the user agreement with Vanderbilt University in August 2012. Objectives In order to assist other institutions that may lack the in-house Information Technology capacity, this paper describes the installation and support of REDCap and incorporates an analysis of user uptake over the first year of use. Methods We reviewed the staffing requirements, costs of installation, process of installation and necessary infrastructure and end-user requests following the introduction of REDCap at Wits. The University Legal Office and Human Research Ethics Committee were consulted regarding the REDCap end-user agreement. Bi-monthly user meetings resulted in a training workshop in August 2013. We compared our REDCap software user numbers and records before and after the first training workshop. Results Human resources were recruited from existing staff. Installation costs were limited to servers and security certificates. The total costs to provide a functional REDCap platform was less than $9000. Eighty-one (81) users were registered in the first year. After the first training workshop the user numbers increased by 59 in one month and the total number of active users to 140 by the end of August 2013. Custom software applications for REDCap were created by collaboration between clinicians and software developers. Conclusion REDCap was installed and maintained at limited cost. A small number of people with defined skills can support multiple REDCap users in two to four hours a week. End user training increased in the number of users, number of projects created and the number of projects moved to production. PMID:25589907

Space shuttle redesigned solid rocket motor Certificate of Qualification (COQ) data report

NASA Technical Reports Server (NTRS)

Duersch, Fred, Jr.

1990-01-01

The Space Shuttle Redesigned Solid Rocket Motor (RSRM) Certification Program provides confidence that the RSRM and its components/subsystems meet or exceed Mission Oriented Requirements when manufactured per design requirements and specified/approved processes. Certification is based on documented results of tests, analyses, inspections, similarity, and demonstrations. Evidencing information is provided to certify that each RSRM component/subsystem satisfies design, mission related requirements and objectives.

Energy Systems Training Programs and Certifications Survey White Paper

DOE Office of Scientific and Technical Information (OSTI.GOV)

Cox, Daryl; Nimbalkar, Sachin U.; Wenning, Thomas J.

2017-02-01

Compressed air system, industrial refrigeration system, chilled water system, pump system, fan system, steam system, process heating system, and combined heat and power system are the major industrial energy systems. By helping enhance knowledge and skills of workforce, training and certification programs on these systems are essential to improve energy efficiency of manufacturing facilities. A literature survey of currently available training and certification programs on these systems was conducted.

[Results of certification audit in Mexican hospitals, a review from 2009 to 2012].

PubMed

Galván-García, Ángel Fernando; Vértiz-Ramírez, José de Jesús; Sauceda-Valenzuela, Alma Lucila; Poblano-Verástegui, Ofelia; Ruelas-Barajas, Enrique; Sánchez-Domínguez, Mario Salvador

2018-01-01

To analyze the participation of Mexican hospitals in the certification process (equivalent to accreditation in other countries). Crosssectional study that analyzes results of 136 establishments audited between 2009 and 2012. Standards with an excellent rating (9.0-10.0), approving (6-8.9) and non-approving (0-5.9) were identified. With a multinomial model, the probability of obtaining non-approving, approving and excellent qualification was calculated. The general average score was 7.72, higher in ambulatory surgery centers (9.10), than in general hospitals (7.30) and specialty hospitals (7.99). All public establishments obtained an approval score. Hospitals audited in 2011 had a higher risk of obtaining an approval (RRR= 4.6, p<0.05) and excellent (RRR= 6.6, p<0.05) rating. The scope of the certification process in Mexico has been limited, with greater participation of the private sector. The evaluation certificate applied in 2011 favored the achievement of approval and excellence results. We recommend homologating the entire process with that of the Joint Commission International JCI.

The pursuit of Leadership in Energy and Environmental Design (LEED) certification for campus housing at public universities

NASA Astrophysics Data System (ADS)

Konvalinka, April Hicks

This dissertation identifies the reasons why institutions of higher education pursue Leadership in Energy and Environmental Design (LEED) certification for new construction of campus housing. The research was guided by three questions: 1. Why did the institution choose to pursue LEED certification for campus housing? 2. What considerations should be made in the design, development, and planning process of a LEED residence hall? 3. What significant impact has the LEED residence hall made on campus? The outcomes of this study will provide insight to university and housing administrators who are considering pursuit of LEED certification for new residence hall development. The primary sources of data are chief housing officers or their designees at public four-year colleges and universities with new campus housing awarded LEED certification. Qualitative research techniques were used to conduct interviews by LEED certification level: Platinum, Silver, Gold, and Certified. Data collection ended when data saturation of each question in each certification level was achieved. This dissertation offers reasons why universities pursue LEED certification: state requirement, institutional commitment, institutional standard, environmental stewardship, departmental decision, and student interest. Additionally, considerations and lessons learned from the pursuit of LEED certification have been identified and can serve as a guide to housing administrators who aim to achieve any LEED level certification.

Comparing the Certification Criteria for CCHIT-Certified Ambulatory EHR with the SNUBH's EHR Functionalities

PubMed Central

Heo, Eun Young; Hwang, Hee; Kim, Eun Hye; Cho, Eun Young; Lee, Kee Hyuck; Kim, Tae Hun; Kim, Ki Dong; Baek, Rong Min

2012-01-01

Objectives This study aims to investigate the suitability of electronic health record (EHR) systems in Korea for global certification and to propose functions for future global systems by comparing and analyzing the certification criteria for Certification Commission for Health Information Technology (CCHIT) Certified Ambulatory EHR with BESTCare, which is the EHR system at Seoul National University Bundang hospital. Methods Domain expert groups were formed to analyze the inclusion of BESTCare functions and the types of differences for each of the CCHIT Certified 2011 Ambulatory EHR Certification Criteria. The types of differences were divided into differences in functions (F), differences in business processes (B), and differences in government policies (P). Results Generally, the criteria that showed differences in functions pertained to the connection between the diagnosis/problem list and order, the alert and warning functions for medication-diagnosis interactions, and the reminder/instruction/notification messages related to the patient's immunization status; these absent functions were enhanced clinical decision support system (CDSS) functions related to patient safety and healthcare quality. Differences in government policies were found in the pharmacy's electronic prescription functions, while differences in business processes were found in the functions constrained by the local workflow or internal policy, which require some customization. Conclusions Functions that differed between the CCHIT certification criteria and the BESTCare system in this study should be considered when developing a global EHR system. Such a system will need to be easily customizable to adapt to various government policies and local business processes. These functions should be considered when developing a global EHR system certified by CCHIT in the future. PMID:22509474

20 CFR 655.160 - Determinations.

Code of Federal Regulations, 2010 CFR

2010-04-01

... Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Labor Certification Determinations § 655.160 Determinations. Except...

20 CFR 655.160 - Determinations.

Code of Federal Regulations, 2011 CFR

2011-04-01

... Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Labor Certification Determinations § 655.160 Determinations. Except...

42 CFR 442.117 - Termination of certification for ICFs/MR whose deficiencies pose immediate jeopardy.

Code of Federal Regulations, 2010 CFR

2010-10-01

... PAYMENT TO NURSING FACILITIES AND INTERMEDIATE CARE FACILITIES FOR THE MENTALLY RETARDED Certification of... provider agreement, follow the appeals process specified in part 431, subpart D of this chapter. [51 FR...

Certified organic vegetable production for market

USDA-ARS?s Scientific Manuscript database

Federal guidelines for organic certification in 2002 provided structure for producers and processors to market certified organic foods. The guidelines provide general provisions and processes for obtaining and maintaining organic certification, but did not specify best management practices for crop...

Space Shuttle Ascent Flight Design Process: Evolution and Lessons Learned

NASA Technical Reports Server (NTRS)

Picka, Bret A.; Glenn, Christopher B.

2011-01-01

The Space Shuttle Ascent Flight Design team is responsible for defining a launch to orbit trajectory profile that satisfies all programmatic mission objectives and defines the ground and onboard reconfiguration requirements for this high-speed and demanding flight phase. This design, verification and reconfiguration process ensures that all applicable mission scenarios are enveloped within integrated vehicle and spacecraft certification constraints and criteria, and includes the design of the nominal ascent profile and trajectory profiles for both uphill and ground-to-ground aborts. The team also develops a wide array of associated training, avionics flight software verification, onboard crew and operations facility products. These key ground and onboard products provide the ultimate users and operators the necessary insight and situational awareness for trajectory dynamics, performance and event sequences, abort mode boundaries and moding, flight performance and impact predictions for launch vehicle stages for use in range safety, and flight software performance. These products also provide the necessary insight to or reconfiguration of communications and tracking systems, launch collision avoidance requirements, and day of launch crew targeting and onboard guidance, navigation and flight control updates that incorporate the final vehicle configuration and environment conditions for the mission. Over the course of the Space Shuttle Program, ascent trajectory design and mission planning has evolved in order to improve program flexibility and reduce cost, while maintaining outstanding data quality. Along the way, the team has implemented innovative solutions and technologies in order to overcome significant challenges. A number of these solutions may have applicability to future human spaceflight programs.

The GENIUS Grid Portal and robot certificates: a new tool for e-Science

PubMed Central

Barbera, Roberto; Donvito, Giacinto; Falzone, Alberto; La Rocca, Giuseppe; Milanesi, Luciano; Maggi, Giorgio Pietro; Vicario, Saverio

2009-01-01

Background Grid technology is the computing model which allows users to share a wide pletora of distributed computational resources regardless of their geographical location. Up to now, the high security policy requested in order to access distributed computing resources has been a rather big limiting factor when trying to broaden the usage of Grids into a wide community of users. Grid security is indeed based on the Public Key Infrastructure (PKI) of X.509 certificates and the procedure to get and manage those certificates is unfortunately not straightforward. A first step to make Grids more appealing for new users has recently been achieved with the adoption of robot certificates. Methods Robot certificates have recently been introduced to perform automated tasks on Grids on behalf of users. They are extremely useful for instance to automate grid service monitoring, data processing production, distributed data collection systems. Basically these certificates can be used to identify a person responsible for an unattended service or process acting as client and/or server. Robot certificates can be installed on a smart card and used behind a portal by everyone interested in running the related applications in a Grid environment using a user-friendly graphic interface. In this work, the GENIUS Grid Portal, powered by EnginFrame, has been extended in order to support the new authentication based on the adoption of these robot certificates. Results The work carried out and reported in this manuscript is particularly relevant for all users who are not familiar with personal digital certificates and the technical aspects of the Grid Security Infrastructure (GSI). The valuable benefits introduced by robot certificates in e-Science can so be extended to users belonging to several scientific domains, providing an asset in raising Grid awareness to a wide number of potential users. Conclusion The adoption of Grid portals extended with robot certificates, can really contribute to creating transparent access to computational resources of Grid Infrastructures, enhancing the spread of this new paradigm in researchers' working life to address new global scientific challenges. The evaluated solution can of course be extended to other portals, applications and scientific communities. PMID:19534747

The GENIUS Grid Portal and robot certificates: a new tool for e-Science.

PubMed

Barbera, Roberto; Donvito, Giacinto; Falzone, Alberto; La Rocca, Giuseppe; Milanesi, Luciano; Maggi, Giorgio Pietro; Vicario, Saverio

2009-06-16

Grid technology is the computing model which allows users to share a wide pletora of distributed computational resources regardless of their geographical location. Up to now, the high security policy requested in order to access distributed computing resources has been a rather big limiting factor when trying to broaden the usage of Grids into a wide community of users. Grid security is indeed based on the Public Key Infrastructure (PKI) of X.509 certificates and the procedure to get and manage those certificates is unfortunately not straightforward. A first step to make Grids more appealing for new users has recently been achieved with the adoption of robot certificates. Robot certificates have recently been introduced to perform automated tasks on Grids on behalf of users. They are extremely useful for instance to automate grid service monitoring, data processing production, distributed data collection systems. Basically these certificates can be used to identify a person responsible for an unattended service or process acting as client and/or server. Robot certificates can be installed on a smart card and used behind a portal by everyone interested in running the related applications in a Grid environment using a user-friendly graphic interface. In this work, the GENIUS Grid Portal, powered by EnginFrame, has been extended in order to support the new authentication based on the adoption of these robot certificates. The work carried out and reported in this manuscript is particularly relevant for all users who are not familiar with personal digital certificates and the technical aspects of the Grid Security Infrastructure (GSI). The valuable benefits introduced by robot certificates in e-Science can so be extended to users belonging to several scientific domains, providing an asset in raising Grid awareness to a wide number of potential users. The adoption of Grid portals extended with robot certificates, can really contribute to creating transparent access to computational resources of Grid Infrastructures, enhancing the spread of this new paradigm in researchers' working life to address new global scientific challenges. The evaluated solution can of course be extended to other portals, applications and scientific communities.

A Dedicated Computational Platform for Cellular Monte Carlo T-CAD Software Tools

DTIC Science & Technology

2015-07-14

computer that establishes an encrypted Virtual Private Network ( OpenVPN [44]) based on the Secure Socket Layer (SSL) paradigm. Each user is given a...security certificate for each device used to connect to the computing nodes. Stable OpenVPN clients are available for Linux, Microsoft Windows, Apple OSX...platform is granted by an encrypted connection base on the Secure Socket Layer (SSL) protocol, and implemented in the OpenVPN Virtual Personal Network

Summer Research Program (1992). Summer Faculty Research Program (SFRP) Reports. Volume 4. Rome Laboratory

DTIC Science & Technology

1992-12-01

cm 2 heat flux which must be transferred by the buoyancy-induced gas flow. A survey of electronic cooling literature can easily demonstrate how large...Toward Implementation of a Certification Framework for Reusable Dr. Allen S. Parrish Software Modules 15 Data Association Problems in Multisensor Data...next section and the reader is referred to [5] for additional details of the analysis. Then the method is applied to a dipole element with straight

Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission

DOE Office of Scientific and Technical Information (OSTI.GOV)

Sheldon, Frederick T; Abercrombie, Robert K; Mili, Ali

2008-01-01

Good security metrics are required to make good decisions about how to design security countermeasures, to choose between alternative security architectures, and to improve security during operations. Therefore, in essence, measurement can be viewed as a decision aid. The lack of sound practical security metrics is severely hampering progress in the development of secure systems. The Cyberspace Security Econometrics System (CSES) offers the following advantages over traditional measurement systems: (1) CSES reflects the variances that exist amongst different stakeholders of the same system. Different stakeholders will typically attach different stakes to the same requirement or service (e.g., a service maymore » be provided by an information technology system or process control system, etc.). (2) For a given stakeholder, CSES reflects the variance that may exist among the stakes she/he attaches to meeting each requirement. The same stakeholder may attach different stakes to satisfying different requirements within the overall system specification. (3) For a given compound specification (e.g., combination(s) of commercial off the shelf software and/or hardware), CSES reflects the variance that may exist amongst the levels of verification and validation (i.e., certification) performed on components of the specification. The certification activity may produce higher levels of assurance across different components of the specification than others. Consequently, this paper introduces the basis, objectives and capabilities for the CSES including inputs/outputs and the basic structural and mathematical underpinnings.« less

[Analysis of several key problems of good agricultural practice (GAP) of Chinese materia medica].

PubMed

Yang, Guang; Guo, Lan-Ping; Zhou, Xiu-Teng; Huang, Lu-Qi

2016-04-01

This paper reviewed the historical background of the GAP, analyzed the development experience of five Ps (GMP, GLP, GSP, GCP, GAP), analyzed the GAP based on economic theories, and pointed out that the core problem of GAP is ignoring economic laws. Once the GAP, is a process of certification, but neither the GAP announcement could be transformed into signal transmission quality in the product market, nor consumers could recognize the difference between GAP and non-GAP herbs in the terminal market, so manufacturers lack motivation for GAP certification. In this paper, we pointed out, that the GAP certification system should be redesigned under the guidance of economics, third party certification body, supervised by drug administration organization, to certificate GAP as high quality standards, to improve signal transduction mechanism of GAP certification, and to integrate GAP with the market. Copyright© by the Chinese Pharmaceutical Association.

Materials Genome Initiative Element

NASA Technical Reports Server (NTRS)

Vickers, John

2015-01-01

NASA is committed to developing new materials and manufacturing methods that can enable new missions with ever increasing mission demands. Typically, the development and certification of new materials and manufacturing methods in the aerospace industry has required more than 20 years of development time with a costly testing and certification program. To reduce the cost and time to mature these emerging technologies, NASA is developing computational materials tools to improve understanding of the material and guide the certification process.

Permanent certification program for health information technology; revisions to ONC-Approved Accreditor processes. Final rule.

PubMed

2011-11-25

Under the authority granted to the National Coordinator for Health Information Technology by section 3001(c)(5) of the Public Health Service Act (PHSA) as added by the Health Information Technology for Economic and Clinical Health (HITECH) Act, this final rule establishes a process for addressing instances where the ONC-Approved Accreditor (ONC-AA) engages in improper conduct or does not perform its responsibilities under the permanent certification program. This rule also addresses the status of ONC-Authorized Certification Bodies (ONC-ACBs) in instances where there may be a change in the accreditation organization serving as the ONC-AA and clarifies the responsibilities of the new ONC-AA.

77 FR 50724 - Developing Software Life Cycle Processes for Digital Computer Software Used in Safety Systems of...

Federal Register 2010, 2011, 2012, 2013, 2014

2012-08-22

... NUCLEAR REGULATORY COMMISSION [NRC-2012-0195] Developing Software Life Cycle Processes for Digital... Software Life Cycle Processes for Digital Computer Software used in Safety Systems of Nuclear Power Plants... clarifications, the enhanced consensus practices for developing software life-cycle processes for digital...

A Prototype for the Support of Integrated Software Process Development and Improvement

NASA Astrophysics Data System (ADS)

Porrawatpreyakorn, Nalinpat; Quirchmayr, Gerald; Chutimaskul, Wichian

An efficient software development process is one of key success factors for quality software. Not only can the appropriate establishment but also the continuous improvement of integrated project management and of the software development process result in efficiency. This paper hence proposes a software process maintenance framework which consists of two core components: an integrated PMBOK-Scrum model describing how to establish a comprehensive set of project management and software engineering processes and a software development maturity model advocating software process improvement. Besides, a prototype tool to support the framework is introduced.

20 CFR 655.170 - Extensions.

Code of Federal Regulations, 2011 CFR

2011-04-01

...' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Post Certification § 655.170 Extensions. An employer may apply for...

20 CFR 655.170 - Extensions.

Code of Federal Regulations, 2010 CFR

2010-04-01

...' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Post Certification § 655.170 Extensions. An employer may apply for...

12 CFR 163.74 - Mutual capital certificates.

Code of Federal Regulations, 2014 CFR

2014-01-01

... amend the terms of such certificates unless it has obtained written approval of the appropriate Federal... section. (b) Eligibility Requirements. The appropriate Federal banking agency will consider and process an... applicant's charter, constitution or bylaws. (c) Application form; supporting information. An application...

24 CFR 58.72 - HUD or State actions on RROFs and certifications.

Code of Federal Regulations, 2010 CFR

2010-04-01

... responsible entity or other participants in the development process have not complied with the items in § 58... certification and RROF but subsequently learns (e.g., through monitoring) that the recipient violated § 58.22 or...

Automation of electromagnetic compatability (EMC) test facilities

NASA Technical Reports Server (NTRS)

Harrison, C. A.

1986-01-01

Efforts to automate electromagnetic compatibility (EMC) test facilities at Marshall Space Flight Center are discussed. The present facility is used to accomplish a battery of nine standard tests (with limited variations) deigned to certify EMC of Shuttle payload equipment. Prior to this project, some EMC tests were partially automated, but others were performed manually. Software was developed to integrate all testing by means of a desk-top computer-controller. Near real-time data reduction and onboard graphics capabilities permit immediate assessment of test results. Provisions for disk storage of test data permit computer production of the test engineer's certification report. Software flexibility permits variation in the tests procedure, the ability to examine more closely those frequency bands which indicate compatibility problems, and the capability to incorporate additional test procedures.

Software Formal Inspections Standard

NASA Technical Reports Server (NTRS)

1993-01-01

This Software Formal Inspections Standard (hereinafter referred to as Standard) is applicable to NASA software. This Standard defines the requirements that shall be fulfilled by the software formal inspections process whenever this process is specified for NASA software. The objective of this Standard is to define the requirements for a process that inspects software products to detect and eliminate defects as early as possible in the software life cycle. The process also provides for the collection and analysis of inspection data to improve the inspection process as well as the quality of the software.

20 CFR 655.167 - Document retention requirements.

Code of Federal Regulations, 2011 CFR

2011-04-01

... Section 655.167 Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR TEMPORARY EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Labor Certification Determinations § 655.167 Document...

15 CFR 995.6 - Fees.

Code of Federal Regulations, 2011 CFR

2011-01-01

... ATMOSPHERIC ADMINISTRATION, DEPARTMENT OF COMMERCE QUALITY ASSURANCE AND CERTIFICATION REQUIREMENTS FOR NOAA HYDROGRAPHIC PRODUCTS AND SERVICES CERTIFICATION REQUIREMENTS FOR DISTRIBUTORS OF NOAA HYDROGRAPHIC PRODUCTS General § 995.6 Fees. (a) The Office of Coast Survey, NOAA, may charge a fee for costs incurred to process...

15 CFR 995.6 - Fees.

Code of Federal Regulations, 2013 CFR

2013-01-01

... ATMOSPHERIC ADMINISTRATION, DEPARTMENT OF COMMERCE QUALITY ASSURANCE AND CERTIFICATION REQUIREMENTS FOR NOAA HYDROGRAPHIC PRODUCTS AND SERVICES CERTIFICATION REQUIREMENTS FOR DISTRIBUTORS OF NOAA HYDROGRAPHIC PRODUCTS General § 995.6 Fees. (a) The Office of Coast Survey, NOAA, may charge a fee for costs incurred to process...

15 CFR 995.6 - Fees.

Code of Federal Regulations, 2014 CFR

2014-01-01

... ATMOSPHERIC ADMINISTRATION, DEPARTMENT OF COMMERCE QUALITY ASSURANCE AND CERTIFICATION REQUIREMENTS FOR NOAA HYDROGRAPHIC PRODUCTS AND SERVICES CERTIFICATION REQUIREMENTS FOR DISTRIBUTORS OF NOAA HYDROGRAPHIC PRODUCTS General § 995.6 Fees. (a) The Office of Coast Survey, NOAA, may charge a fee for costs incurred to process...

15 CFR 995.6 - Fees.

Code of Federal Regulations, 2012 CFR

2012-01-01

... ATMOSPHERIC ADMINISTRATION, DEPARTMENT OF COMMERCE QUALITY ASSURANCE AND CERTIFICATION REQUIREMENTS FOR NOAA HYDROGRAPHIC PRODUCTS AND SERVICES CERTIFICATION REQUIREMENTS FOR DISTRIBUTORS OF NOAA HYDROGRAPHIC PRODUCTS General § 995.6 Fees. (a) The Office of Coast Survey, NOAA, may charge a fee for costs incurred to process...

20 CFR 655.183 - Less than substantial violations.

Code of Federal Regulations, 2010 CFR

2010-04-01

... EMPLOYMENT OF FOREIGN WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural... otherwise negative effect on the recruitment, employment, and retention of U.S. workers, the OFLC... certification determination. These special procedures may include special on-site positive recruitment and...

15 CFR 995.6 - Fees.

Code of Federal Regulations, 2010 CFR

2010-01-01

... ATMOSPHERIC ADMINISTRATION, DEPARTMENT OF COMMERCE QUALITY ASSURANCE AND CERTIFICATION REQUIREMENTS FOR NOAA HYDROGRAPHIC PRODUCTS AND SERVICES CERTIFICATION REQUIREMENTS FOR DISTRIBUTORS OF NOAA HYDROGRAPHIC PRODUCTS General § 995.6 Fees. (a) The Office of Coast Survey, NOAA, may charge a fee for costs incurred to process...

U.S. Department of Energy Zero Energy Ready Home Implementation

DOE Office of Scientific and Technical Information (OSTI.GOV)

VonThoma, E.; Mosiman, G.

This report documents the process and outcomes involved in achieving the U.S. Department of Energy Zero Energy Ready Home (ZERH) program certification standards while helping homebuilders in Climate Zones 5 and 6 in the Upper Midwest achieve ZERH certification.

Initial Experimental Airworthiness Certification Guidance for UAS. UAS Experimental Certification Process and Guidance

NASA Technical Reports Server (NTRS)

2005-01-01

This paper addresses the regulatory processes and requirements already in place by which an applicant might obtain experimental airworthiness certification for a civil Unmanned Aircraft System (UAS). It is more extensive and subsequent to an earlier, similar deliverable, PD007, which was an interim study of the same topic. Since few regulatory airworthiness and operating standards exist for UAS like those for traditional manned aircraft and since most UAS have historically been developed and operated under military auspices, civil use of UAS in the NAS is a new and unfamiliar challenge requiring specific and unique considerations. Experimental certification is the most basic level of FAA approval toward routine UAS operation in the NAS. The paper reviews and explains existing FAA requirements for an applicant seeking experimental airworthiness approval and details the process for submission of necessary information. It summarizes the limited purposes for which experimental aircraft may be used and addresses pertinent aspects of UAS design, construction and operation in the NAS in harmony with traditional manned aircraft. Policy IPT position is that UAS, while different from manned aircraft, can use the same initial processes to gain civil operating experience under the experimental approval. Particular note is taken of those UAS-unique characteristics which require extra attention to assure equivalent safety of operation, such as the UAS control station and sense-and-avoid. The paper also provides "best practices" guidance for UAS manufacturers and FAA personnel in two appendices. The material in Appendix A is intended to provide guidance on assuring UAS safety to FAA, and provides FAA personnel with a suggested list of items to review, with a focus on UAS unique factors, prior to issuance of an experimental airworthiness certificate. Appendix B provides an outline for a program letter which a manufacturer could use in preparing the application for an UAS experimental airworthiness certificate.

Workflow-Based Software Development Environment

NASA Technical Reports Server (NTRS)

Izygon, Michel E.

2013-01-01

The Software Developer's Assistant (SDA) helps software teams more efficiently and accurately conduct or execute software processes associated with NASA mission-critical software. SDA is a process enactment platform that guides software teams through project-specific standards, processes, and procedures. Software projects are decomposed into all of their required process steps or tasks, and each task is assigned to project personnel. SDA orchestrates the performance of work required to complete all process tasks in the correct sequence. The software then notifies team members when they may begin work on their assigned tasks and provides the tools, instructions, reference materials, and supportive artifacts that allow users to compliantly perform the work. A combination of technology components captures and enacts any software process use to support the software lifecycle. It creates an adaptive workflow environment that can be modified as needed. SDA achieves software process automation through a Business Process Management (BPM) approach to managing the software lifecycle for mission-critical projects. It contains five main parts: TieFlow (workflow engine), Business Rules (rules to alter process flow), Common Repository (storage for project artifacts, versions, history, schedules, etc.), SOA (interface to allow internal, GFE, or COTS tools integration), and the Web Portal Interface (collaborative web environment

[Certification assessment and quality and risk management].

PubMed

Papin-Morardet, Maud

2018-03-01

Organised by the French National Health Authority (HAS), certification is an external assessment process which is obligatory for all public and private health facilities, whatever their size or activity. The aim is to independently evaluate the quality of the health care provision of hospitals and clinics in France. This article looks at the investigation methods and the procedure used during the certification assessment of Henri Mondor University Hospitals in 2016. Copyright © 2018 Elsevier Masson SAS. All rights reserved.

The costs and benefits of getting the ISO 9000 certification in the manufacturing sector in Saudi Arabia.

PubMed

Mezher, T; Ramadan, H

1998-01-01

Many Saudi companies, in their journey to improve quality, efficiency and competitiveness, are pursuing and obtaining the ISO 9000 certificate. Many studies have evaluated how to implement ISO 9000 in different sectors, but none have analyzed the effectiveness of ISO 9000 certification (costs and benefits) on improving the overall quality and on meeting expectations. This study addressed these issues by investigating manufacturing organizations in Saudi Arabia that have the ISO 9000 certification. A survey questionnaire was distributed to firms throughout the kingdom. Thirty-two firms participated in the study. Results indicate that increased consistency of operations, improved service, and product quality are among the top motivators for pursuing the ISO certificate. The benefits most often experienced were improved awareness of procedural problems, better management control, keeping existing customers, increased customer satisfaction, and improved customer service. Difficulties experienced during the certification process involved time and cost, but these were not considered to be major problems. A high volume of paperwork was the main problem experienced following initial certification. Respondents in general said that the ISO 9000 certification met their expectations and that their level of satisfaction regarding the impact of ISO 9000 was high. Most recommended that other organizations pursue the certificate.

[ISO 9001certification of a quality management system in a clinical investigation center].

PubMed

Chesnais, Jimmy; Fougerou-Leurent, Claire; Laforest, Claire; Renault, Alain; Bellissant, Eric; Laviolle, Bruno

2018-05-03

Beyond the application of legal requirements, clinical trials must have a permanent approach of quality control. The clinical investigation centers (CICs) are academic structures of clinical research certified by the French National institute of health and medical research (Inserm) and whose functioning relies on recommendations of good practice. It is important to accompany this standardization of practices by the implementation of a quality management system. This article presents the process that enabled the CIC of Rennes to become certified ISO 9001 by French standards association (Afnor) certification in May, 2016. The application of the fundamental principles of the standard ISO 9001 in the domain of clinical research is approached. The problem of the perimeter for the certification and the related process mapping are exposed. The activities of methodology, management and analysis of clinical studies were chosen for the initial certification of the CIC of Rennes. The perspectives for the extension of the perimeter of certification are also approached at the end of article. Copyright © 2018 Société française de pharmacologie et de thérapeutique. Published by Elsevier Masson SAS. All rights reserved.

Performance of automated and manual coding systems for occupational data: a case study of historical records.

PubMed

Patel, Mehul D; Rose, Kathryn M; Owens, Cindy R; Bang, Heejung; Kaufman, Jay S

2012-03-01

Occupational data are a common source of workplace exposure and socioeconomic information in epidemiologic research. We compared the performance of two occupation coding methods, an automated software and a manual coder, using occupation and industry titles from U.S. historical records. We collected parental occupational data from 1920-40s birth certificates, Census records, and city directories on 3,135 deceased individuals in the Atherosclerosis Risk in Communities (ARIC) study. Unique occupation-industry narratives were assigned codes by a manual coder and the Standardized Occupation and Industry Coding software program. We calculated agreement between coding methods of classification into major Census occupational groups. Automated coding software assigned codes to 71% of occupations and 76% of industries. Of this subset coded by software, 73% of occupation codes and 69% of industry codes matched between automated and manual coding. For major occupational groups, agreement improved to 89% (kappa = 0.86). Automated occupational coding is a cost-efficient alternative to manual coding. However, some manual coding is required to code incomplete information. We found substantial variability between coders in the assignment of occupations although not as large for major groups.

Towards Real-time, On-board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems

NASA Technical Reports Server (NTRS)

Schumann, Johann; Rozier, Kristin Y.; Reinbacher, Thomas; Mengshoel, Ole J.; Mbaya, Timmy; Ippolito, Corey

2013-01-01

Unmanned aerial systems (UASs) can only be deployed if they can effectively complete their missions and respond to failures and uncertain environmental conditions while maintaining safety with respect to other aircraft as well as humans and property on the ground. In this paper, we design a real-time, on-board system health management (SHM) capability to continuously monitor sensors, software, and hardware components for detection and diagnosis of failures and violations of safety or performance rules during the flight of a UAS. Our approach to SHM is three-pronged, providing: (1) real-time monitoring of sensor and/or software signals; (2) signal analysis, preprocessing, and advanced on the- fly temporal and Bayesian probabilistic fault diagnosis; (3) an unobtrusive, lightweight, read-only, low-power realization using Field Programmable Gate Arrays (FPGAs) that avoids overburdening limited computing resources or costly re-certification of flight software due to instrumentation. Our implementation provides a novel approach of combining modular building blocks, integrating responsive runtime monitoring of temporal logic system safety requirements with model-based diagnosis and Bayesian network-based probabilistic analysis. We demonstrate this approach using actual data from the NASA Swift UAS, an experimental all-electric aircraft.

Quality in sickness certificates in a Swedish social security system perspective.

PubMed

Sturesson, Marine; Bylund, Sonya Hörnqvist; Edlund, Curt; Falkdal, Annie Hansen; Bernspång, Birgitta

2015-12-01

In Sweden, the information in the sickness certificate is crucially important for the sick-listed person as well as for the Swedish Social Insurance Agency and the sick-listed person's employer. The certificate is used as the basis for deciding whether a person is entitled to sickness benefits. Further, it communicates information significant for the return-to-work process. The aim of the study was to evaluate the quality of sickness certificates issued in primary health care and examine if the patients' or physicians' gender influences the information in the sickness certificate. An insurance specialist at the Swedish Social Insurance Agency assessed the quality of the stated information in a sample of 323 certificates issued by 146 different general practitioners at 29 different primary health care centres in northern Sweden. Thirty-four percent of the certificates did not contain sufficient information requested. The areas of the certificates in need of supplementary information were mainly the descriptions of impairment of body function and activity limitation. More certificates issued for women than certificates issued for men lacked the required information. Full-time sick leave was more often prescribed for male patients than for female. Significant differences between certificates issued for women and certificates issued for men appeared in the group of musculoskeletal diseases. No differences in quality aspects connected to physicians' gender were found. Our study indicates a need for increased knowledge about the descriptions of functioning for sick-listed persons; more cooperation between health professionals in primary health care and a better gender awareness in health care encounters. © 2015 the Nordic Societies of Public Health.

A proposal for the development of national certification standards for patient decision aids in the US.

PubMed

Elwyn, Glyn; Burstin, Helen; Barry, Michael J; Corry, Maureen P; Durand, Marie Anne; Lessler, Daniel; Saigal, Christopher

2018-04-27

Efforts to implement the use of patient decision aids to stimulate shared decision making are gaining prominence. Patient decision aids have been designed to help patients participate in making specific choices among health care options. Because these tools clearly influence decisions, poor quality, inaccurate or unbalanced presentations or misleading tools are a risk to patients. As payer interest in these tools increases, so does the risk that patients are harmed by the use of tools that are described as patient decision aids yet fail to meet established standards. To address this problem, the National Quality Forum (NQF) in the USA convened a multi-stakeholder expert panel in 2016 to propose national standards for a patient decision aid certification process. In 2017, NQF established an Action Team to foster shared decision making, and to call for a national certification process as one recommendation among others to stimulate improvement. A persistent barrier to the setup of a national patient decision aids certification process is the lack of a sustainable financial model to support the work. Copyright © 2018 The Author(s). Published by Elsevier B.V. All rights reserved.

SU-B-213-05: Development of ABR Certification Standards

DOE Office of Scientific and Technical Information (OSTI.GOV)

Seibert, J.

2015-06-15

The North American medical physics community validates the education received by medical physicists and the clinical qualifications for medical physicists through accreditation of educational programs and certification of medical physicists. Medical physics educational programs (graduate education and residency education) are accredited by the Commission on Accreditation of Medical Physics Education Programs (CAMPEP), whereas medical physicists are certified by several organizations, the most familiar of which is the American Board of Radiology (ABR). In order for an educational program to become accredited or a medical physicist to become certified, the applicant must meet certain specified standards set by the appropriate organization.more » In this Symposium, representatives from both CAMPEP and the ABR will describe the process by which standards are established as well as the process by which qualifications of candidates for accreditation or certification are shown to be compliant with these standards. The Symposium will conclude with a panel discussion. Learning Objectives: Recognize the difference between accreditation of an educational program and certification of an individual Identify the two organizations primarily responsible for these tasks Describe the development of educational standards Describe the process by which examination questions are developed GS is Executive Secretary of CAMPEP.« less

20 CFR 655.182 - Debarment.

Code of Federal Regulations, 2010 CFR

2010-04-01

... WORKERS IN THE UNITED STATES Labor Certification Process for Temporary Agricultural Employment in the United States (H-2A Workers) Integrity Measures § 655.182 Debarment. (a) Debarment of an employer. The... or condition of its temporary labor certification, with respect to H-2A workers, workers in...

7 CFR 37.10 - Official assessment.

Code of Federal Regulations, 2010 CFR

2010-01-01

... ASSESS ORGANIC CERTIFYING AGENCIES § 37.10 Official assessment. Official assessment of an applicant's certification program shall be granted upon successful completion of a two-step review process, as provided for... completion of an adequacy audit by the auditors. (b) Program assessment. Assessment of a certification...

15 CFR Appendix A to Subpart C of... - Certification Application Templates

Code of Federal Regulations, 2010 CFR

2010-01-01

... as to the purpose of its products as described in this requirement. (15) Quality management system... certification of compliance with an equivalent program of quality management that covers the processes described... Trade (Continued) NATIONAL OCEANIC AND ATMOSPHERIC ADMINISTRATION, DEPARTMENT OF COMMERCE QUALITY...

50 CFR 260.99 - Buildings and structures.

Code of Federal Regulations, 2010 CFR

2010-10-01

... suspended over exposed food in any step of preparation shall be of the safety type or otherwise protected to prevent food contamination in case of breakage. (b) Ventilation. There shall be sufficient ventilation in... PROCESSED FOOD PRODUCTS INSPECTION AND CERTIFICATION Inspection and Certification of Establishments and...

Certification Strategies using Run-Time Safety Assurance for Part 23 Autopilot Systems

NASA Technical Reports Server (NTRS)

Hook, Loyd R.; Clark, Matthew; Sizoo, David; Skoog, Mark A.; Brady, James

2016-01-01

Part 23 aircraft operation, and in particular general aviation, is relatively unsafe when compared to other common forms of vehicle travel. Currently, there exists technologies that could increase safety statistics for these aircraft; however, the high burden and cost of performing the requisite safety critical certification processes for these systems limits their proliferation. For this reason, many entities, including the Federal Aviation Administration, NASA, and the US Air Force, are considering new options for certification for technologies that will improve aircraft safety. Of particular interest, are low cost autopilot systems for general aviation aircraft, as these systems have the potential to positively and significantly affect safety statistics. This paper proposes new systems and techniques, leveraging run-time verification, for the assurance of general aviation autopilot systems, which would be used to supplement the current certification process and provide a viable path for near-term low-cost implementation. In addition, discussions on preliminary experimentation and building the assurance case for a system, based on these principles, is provided.

From bad pharma to good pharma: aligning market forces with good and trustworthy practices through accreditation, certification, and rating.

PubMed

Miller, Jennifer E

2013-01-01

This article explores whether the bioethical performance and trustworthiness of pharmaceutical companies can be improved by harnessing market forces through the use of accreditation, certification, or rating. Other industries have used such systems to define best practices, set standards, and assess and signal the quality of services, processes, and products. These systems have also informed decisions in other industries about where to invest, what to buy, where to work, and when to regulate. Similarly, accreditation, certification, and rating programs can help drug companies address stakeholder concerns in four areas: clinical trial design and management, dissemination of clinical trial results, marketing practices, and the accessibility of medicines. To illuminate processes - such as conflicts of interests and revolving-door policies - that can jeopardize the integrity of accreditation, certification, and ratings systems, the article concludes with a consideration of recent failures of credit-rating agencies and a review of the regulatory capture literature. © 2013 American Society of Law, Medicine & Ethics, Inc.

[The certification of advanced therapy medicinal products. A quality label for product development in small and medium-sized enterprises].

PubMed

Berger, A; Schüle, S; Flory, E

2011-07-01

Advanced therapy medicinal products (ATMPs) are gene therapy, cell therapy, and tissue engineered products. To gain access to the market within the European Union, ATMPs must be authorized by the European Commission (EC). Especially for small and medium-sized enterprises (SMEs), the European centralized procedure of marketing authorization that is conducted by the European Medicines Agency (EMA) constitutes a major challenge, because SMEs often have little experience with regulatory procedures and many have limited financial possibilities. To tackle these challenges, a certification procedure exclusively for SMEs and their ATMP development was introduced by the EC. Independently from a marketing authorization application, development and/or production processes can be certified. An issued certificate demonstrates that the respective process meets the current regulatory and scientific requirements of the EMA, representing a valuable milestone for putative investors and licensees. This article highlights the background, the detailed procedure, the minimum requirements, as well as the costs of certification, while giving further noteworthy guidance for interested parties.

National Board Certified Physical Educators: perceived changes related to the certification process.

PubMed

Woods, Amelia Mays; Rhoades, Jesse Lee

2012-06-01

In this study, we examined National Board certified physical education teachers' (NBCPETs) perceptions of change as a result of certification. Randomly selected NBCPETs (65; women = 53, men = 12) were interviewed. Analysis was done through the lens of Lawson's (1989) Model of the interactive factors Influencing workplace conditions for the Physical Education Teacher Several themes connected to teachers' views of themselves as NBCPETs surfaced. In particular more teaching reflection and a greater focus on student learning and assessment, including an increased emphasis on individualizing teaching were described. An elevation in their perceived status and credibility and expanded opportunities within the educational community also emerged. Alternatively, several NBCPETs explained that the certification process had little or no effect on their teaching

Ideas for Future GPS Timing Improvements

NASA Technical Reports Server (NTRS)

Hutsell, Steven T.

1996-01-01

Having recently met stringent criteria for full operational capability (FOC) certification, the Global Positioning System (GPS) now has higher customer expectations than ever before. In order to maintain customer satisfaction, and the meet the even high customer demands of the future, the GPS Master Control Station (MCS) must play a critical role in the process of carefully refining the performance and integrity of the GPS constellation, particularly in the area of timing. This paper will present an operational perspective on several ideas for improving timing in GPS. These ideas include the desire for improving MCS - US Naval Observatory (USNO) data connectivity, an improved GPS-Coordinated Universal Time (UTC) prediction algorithm, a more robust Kalman Filter, and more features in the GPS reference time algorithm (the GPS composite clock), including frequency step resolution, a more explicit use of the basic time scale equation, and dynamic clock weighting. Current MCS software meets the exceptional challenge of managing an extremely complex constellation of 24 navigation satellites. The GPS community will, however, always seek to improve upon this performance and integrity.

ASC FY17 Implementation Plan, Rev. 1

DOE Office of Scientific and Technical Information (OSTI.GOV)

Hamilton, P. G.

The Stockpile Stewardship Program (SSP) is an integrated technical program for maintaining the safety, surety, and reliability of the U.S. nuclear stockpile. The SSP uses nuclear test data, computational modeling and simulation, and experimental facilities to advance understanding of nuclear weapons. It includes stockpile surveillance, experimental research, development and engineering programs, and an appropriately scaled production capability to support stockpile requirements. This integrated national program requires the continued use of experimental facilities and programs, and the computational capabilities to support these programs. The Advanced Simulation and Computing Program (ASC) is a cornerstone of the SSP, providing simulation capabilities and computationalmore » resources that support annual stockpile assessment and certification, study advanced nuclear weapons design and manufacturing processes, analyze accident scenarios and weapons aging, and provide the tools to enable stockpile Life Extension Programs (LEPs) and the resolution of Significant Finding Investigations (SFIs). This requires a balance of resources, including technical staff, hardware, simulation software, and computer science solutions.« less

From a paper-based to an electronic registry in physiotherapy.

PubMed

Buyl, Ronald; Nyssen, Marc

2008-01-01

During the past decade the healthcare industry has evolved from paper-based storage of clinical data into the digital era. Electronic healthcare records play a crucial role to meet the growing need for integrated data-storage and data communication. In this context a new law was issued in Belgium on December 7th, 2005, which requires physiotherapists (but also nurses and speech therapists) to keep an electronic version of the registry. This (electronic) registry contains all physiotherapeutic acts, starting from January 1, 2007. Up until that day, a paper version of the registry had to be created every month.This article describes the development of an electronic version of the registry that not only meets all legal constraints, but also enables to verify the traceability and inalterability of the generated documents, by means of SHA-256 codes. One of the major concerns of the process was that the rationale behind the electronic registry would conform well to the common practice of the physiotherapist. Therefore we opted for a periodic recording of a standardized "image" of the controllable data, in the patient database of the software-system, into the XML registry messages. The proposed XSLT schema can also form a basis for the development of tools that can be used by the controlling authorities. Hopefully the electronic registry for physiotherapists will be a first step towards the future development of a fully integrated electronic physiotherapy record.By means of a certification procedure for the software systems, we succeeded in developing a user friendly system that enables end-users that use a quality labeled software package, to automatically produce all the legally necessary documents concerning the registry. Moreover, we hope that this development will be an incentive for non-users to start working in an electronic way.

A Case Study of Measuring Process Risk for Early Insights into Software Safety

NASA Technical Reports Server (NTRS)

Layman, Lucas; Basili, Victor; Zelkowitz, Marvin V.; Fisher, Karen L.

2011-01-01

In this case study, we examine software safety risk in three flight hardware systems in NASA's Constellation spaceflight program. We applied our Technical and Process Risk Measurement (TPRM) methodology to the Constellation hazard analysis process to quantify the technical and process risks involving software safety in the early design phase of these projects. We analyzed 154 hazard reports and collected metrics to measure the prevalence of software in hazards and the specificity of descriptions of software causes of hazardous conditions. We found that 49-70% of 154 hazardous conditions could be caused by software or software was involved in the prevention of the hazardous condition. We also found that 12-17% of the 2013 hazard causes involved software, and that 23-29% of all causes had a software control. The application of the TPRM methodology identified process risks in the application of the hazard analysis process itself that may lead to software safety risk.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Chen, Yixing; Zhang, Jianshun; Pelken, Michael

Executive Summary The objective of this study was to develop a “Virtual Design Studio (VDS)”: a software platform for integrated, coordinated and optimized design of green building systems with low energy consumption, high indoor environmental quality (IEQ), and high level of sustainability. This VDS is intended to assist collaborating architects, engineers and project management team members throughout from the early phases to the detailed building design stages. It can be used to plan design tasks and workflow, and evaluate the potential impacts of various green building strategies on the building performance by using the state of the art simulation toolsmore » as well as industrial/professional standards and guidelines for green building system design. Engaged in the development of VDS was a multi-disciplinary research team that included architects, engineers, and software developers. Based on the review and analysis of how existing professional practices in building systems design operate, particularly those used in the U.S., Germany and UK, a generic process for performance-based building design, construction and operation was proposed. It distinguishes the whole process into five distinct stages: Assess, Define, Design, Apply, and Monitoring (ADDAM). The current VDS is focused on the first three stages. The VDS considers building design as a multi-dimensional process, involving multiple design teams, design factors, and design stages. The intersection among these three dimensions defines a specific design task in terms of “who”, “what” and “when”. It also considers building design as a multi-objective process that aims to enhance the five aspects of performance for green building systems: site sustainability, materials and resource efficiency, water utilization efficiency, energy efficiency and impacts to the atmospheric environment, and IEQ. The current VDS development has been limited to energy efficiency and IEQ performance, with particular focus on evaluating thermal performance, air quality and lighting environmental quality because of their strong interaction with the energy performance of buildings. The VDS software framework contains four major functions: 1) Design coordination: It enables users to define tasks using the Input-Process-Output flow approach, which specifies the anticipated activities (i.e., the process), required input and output information, and anticipated interactions with other tasks. It also allows task scheduling to define the work flow, and sharing of the design data and information via the internet. 2) Modeling and simulation: It enables users to perform building simulations to predict the energy consumption and IEQ conditions at any of the design stages by using EnergyPlus and a combined heat, air, moisture and pollutant simulation (CHAMPS) model. A method for co-simulation was developed to allow the use of both models at the same time step for the combined energy and indoor air quality analysis. 3) Results visualization: It enables users to display a 3-D geometric design of the building by reading BIM (building information model) file generated by design software such as SketchUp, and the predicted results of heat, air, moisture, pollutant and light distributions in the building. 4) Performance evaluation: It enables the users to compare the performance of a proposed building design against a reference building that is defined for the same type of buildings under the same climate condition, and predicts the percent of improvements over the minimum requirements specified in ASHRAE Standard 55-2010, 62.1-2010 and 90.1-2010. An approach was developed to estimate the potential impact of a design factor on the whole building performance, and hence can assist the user to identify areas that have most pay back for investment. The VDS software was developed by using C++ with the conventional Model, View and Control (MVC) software architecture. The software has been verified by using a simple 3-zone case building. The application of the VDS concepts and framework for building design and performance analysis has been illustrated by using a medium-sized, five story office building that received LEED Platinum Certification from USGBC.« less

A Matrix Approach to Software Process Definition

NASA Technical Reports Server (NTRS)

Schultz, David; Bachman, Judith; Landis, Linda; Stark, Mike; Godfrey, Sally; Morisio, Maurizio; Powers, Edward I. (Technical Monitor)

2000-01-01

The Software Engineering Laboratory (SEL) is currently engaged in a Methodology and Metrics program for the Information Systems Center (ISC) at Goddard Space Flight Center (GSFC). This paper addresses the Methodology portion of the program. The purpose of the Methodology effort is to assist a software team lead in selecting and tailoring a software development or maintenance process for a specific GSFC project. It is intended that this process will also be compliant with both ISO 9001 and the Software Engineering Institute's Capability Maturity Model (CMM). Under the Methodology program, we have defined four standard ISO-compliant software processes for the ISC, and three tailoring criteria that team leads can use to categorize their projects. The team lead would select a process and appropriate tailoring factors, from which a software process tailored to the specific project could be generated. Our objective in the Methodology program is to present software process information in a structured fashion, to make it easy for a team lead to characterize the type of software engineering to be performed, and to apply tailoring parameters to search for an appropriate software process description. This will enable the team lead to follow a proven, effective software process and also satisfy NASA's requirement for compliance with ISO 9001 and the anticipated requirement for CMM assessment. This work is also intended to support the deployment of sound software processes across the ISC.

23 CFR 450.334 - Self-certifications and Federal certifications.

Code of Federal Regulations, 2014 CFR

2014-04-01

... 324 of title 23 U.S.C. regarding the prohibition of discrimination based on gender; and (10) Section... RESEARCH PLANNING ASSISTANCE AND STANDARDS Metropolitan Transportation Planning and Programming § 450.334... certify at least every four years that the metropolitan transportation planning process is being carried...

23 CFR 450.334 - Self-certifications and Federal certifications.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 324 of title 23 U.S.C. regarding the prohibition of discrimination based on gender; and (10) Section... RESEARCH PLANNING ASSISTANCE AND STANDARDS Metropolitan Transportation Planning and Programming § 450.334... certify at least every four years that the metropolitan transportation planning process is being carried...

10 CFR 95.17 - Processing facility clearance.

Code of Federal Regulations, 2011 CFR

2011-01-01

... existing facility clearance granted by a current CSA and authorize possession of license or certificate... concerning the foreign intelligence threat, risk of unauthorized technology transfer, type and sensitivity of..., certificate holder, or other person must advise the NRC within 30 days of any significant events or changes...

10 CFR 95.17 - Processing facility clearance.

Code of Federal Regulations, 2010 CFR

2010-01-01

... existing facility clearance granted by a current CSA and authorize possession of license or certificate... concerning the foreign intelligence threat, risk of unauthorized technology transfer, type and sensitivity of..., certificate holder, or other person must advise the NRC within 30 days of any significant events or changes...

27 CFR 40.65 - Trade name certificate.

Code of Federal Regulations, 2012 CFR

2012-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Trade name certificate. 40.65 Section 40.65 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Qualification Requirements for Manufacturers of Tobacco Products § 40.65 Trade...

27 CFR 40.65 - Trade name certificate.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Trade name certificate. 40.65 Section 40.65 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Qualification Requirements for Manufacturers of Tobacco Products § 40.65 Trade...

27 CFR 40.65 - Trade name certificate.

Code of Federal Regulations, 2011 CFR

2011-04-01

... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Trade name certificate. 40.65 Section 40.65 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU..., AND PROCESSED TOBACCO Qualification Requirements for Manufacturers of Tobacco Products § 40.65 Trade...