Research in the development and certification of safety-related software
Read Online

Research in the development and certification of safety-related software summary of research, 17 July 1995-31 July 1997 : prepared under grant number: NAG-1-1724 ...

  • 926 Want to read
  • ·
  • 24 Currently reading

Published by National Aeronautics and Space Administration, National Technical Information Service, distributor in [Washington, DC, Springfield, Va .
Written in English


  • Safety.,
  • Software development tools.,
  • Computer programs.,
  • Numerical control.,
  • Warning systems.,
  • Education.,
  • Implantation.,
  • Insulin.,
  • Mathematical logic.,
  • Collision avoidance.,
  • Certification.

Book details:

Edition Notes

Statementprincipal investigators: Janet Flynt and Charlotte Scheper.
Series[NASA contractor report] -- 206177., NASA contractor report -- NASA CR-206177.
ContributionsScheper, Charlotte., United States. National Aeronautics and Space Administration.
The Physical Object
Pagination1 v.
ID Numbers
Open LibraryOL15491630M

Download Research in the development and certification of safety-related software


It has become important to move towards a process with more frequent updates of the safety software due to: 1. minor differences for e.g. each site specific applications, 2. correction of bugs and.   Product Certification. Product qualification and certification (QC) are important steps in a product’s development and commercialization pathways, operating to demonstrate that a product has passed performance and quality assurance testing and meets the criteria stipulated in regulations, specifications, or contracts.   Developing Safety-Critical Software: A Practical Guide for Aviation Software and DOC Compliance - Kindle edition by Rierson, Leanna. Download it once and read it on your Kindle device, PC, phones or tablets. Use features like bookmarks, note taking and highlighting while reading Developing Safety-Critical Software: A Practical Guide for Aviation Software and DOC Compliance/5(38). THE NATIONAL ACADEMIES. Advisers to the Nation on Science, Engineering, and Medicine. The National Academy of Sciences is a private, nonprofit, self-perpetuating society of distinguished scholars engaged in scientific and engineering research, dedicated to the furtherance of science and technology and to their use for the general welfare. Upon the authority of the charter granted to it by the.

Leanna Rierson is an independent consultant in software, complex electronic hardware, and integrated module avionics (IMA) development for safety-critical systems, with emphasis on civil aviation. She has more than 20 years of experience in the software and aviation industry. Rierson spent nine years as a software and avionics specialist at the U.S. Federal Aviation Administration (FAA)―five Cited by: International Journal of Academic Research in Business and Social Sciences April , Vol. 4, No. 4 ISSN: 86 The Impact of Training and Development on Employees Performance and Productivity A case study of United Bank File Size: KB.   Model verification and validation (V&V) is an enabling methodology for the development of computational models that can be used to make engineering predictions with quantified confidence. Model V&V procedures are needed by government and industry to reduce the time, cost, and risk associated with full-scale testing of products, materials, and. @article{osti_, title = {Qualification of safety-related electrical equipment in France. Methods, approach and test facilities}, author = {Raimondo, E. and Capman, J.L. and Herovard, M.}, abstractNote = {Requirements for qualification of electrical equipment used in French-built nuclear power plants are stated in a national code, the RCC-E, or Regles de Construction et de Conception des.

This book presents an overview of the software verification and validation process including the planning stage, testing stage, and documentation stage. Neumann, B. de, editor, Software Certification, London, New York: Elsevier Applied Science, This book contains a collection of papers dealing with the certification of computer software. Advancing the state of aviation safety is a central mission of the National Aeronautics and Space Administration (NASA). Congress requested this review of NASA's aviation safety-related research programs, seeking an assessment of whether the programs have well-defined, prioritized, and appropriate research objectives; whether resources have been allocated appropriately among these . William has been working in the field of software, systems safety and dependability since His experience has included the development of tools and techniques for static analysis of safe subsets of programming languages. William has audited a number of safety-related software development projects and carried out research in new techniques. Research & Development Safety & Human Factors hydrocarbon processing equipment, safety-related equipment, general machinery, electrical components, main components of offshore engines and their safety devices, and other equipment, material and components used in offshore operations. Unit Certification: The equipment, either a complete.