 |
||
|
Advanced Search |
||
|
|||||
|
Domain-Specific Analysis < Verification & Validation < Results Home
|
|
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.
Click here to view research projects that had new research results added in the last 90 days.
|
| Software Safety Assurance of Programmable Logic | |
| Point of Contact |
Kalynnda Berens Kalynnda.M.Berens@grc.nasa.gov |
| Dates | October 2001 - September 2004 |
| Problem | Programmable Logic (PLC, FPGA, ASIC) devices are hybrids - hardware devices that are designed and programmed like software. As such, they fall in an assurance gray area. Programmable Logic is usually tested and verified as hardware, and the software aspects are ignored, potentially leading to safety or mission success concerns. |
| Objective | The objective of this research is to first determine where and how Programmable Logic (PL) is used within NASA and document the current methods of assurance. With that information, to perform a gap analysis between NASA practices and industry/military standards and practices. Prepare training material for NASA assurance personnel and engineers on the assurance of PL. |
| Results |
Software Assurance of Programmable Logic Devices Presentation.ppt Survey Analysis.zip Survey Formats.zip Survey Results.zip Position Paper for Code Q.doc |
| Keywords | programmable logic, software assurance, mission critical, PLC, ASIC, FPGA |
| Categories |
Software Safety Domain-Specific Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |