Software Assurance of Programmable Logic Devices.ppt

Software Assurance of Programmable Logic Devices Kalynnda Berens, GRC Kalynnda.Berens@grc.nasa.gov What is Programmable Logic Programmable Logic Controllers (PLC) Programmable Logic Devices Field Programmable Gate Array (FPGA) Application Specific Integrated Circuit (ASIC) System-on-chip (SOC) Complex PLD (CPLD) others Concerns PLCs are “programmed”, usually by engineers. Programming languages may be graphical. PL device complexity is similar to software, with many of the same problems PL devices are ultimately “hardware”, but programmed like software Current assurance activities may not be adequate for the complexity of these devices. Surveys Usage and Assurance surveys sent to engineers, assurance personnel, and others at NASA Centers Distributing surveys was more difficult than anticipated Targeted email requests produced adequate responses Usage Survey Identification Programmable Logic (PL) Information Types of PL Used and what for Respondent PL familiarity PL responsibility Assurance Standards Procedures Configuration Management Testing Assurance organizations Safety Assurance Survey Identification Project Programmable Logic Assurance Center Programmable Logic Assurance Review Testing Auditing Witnessing Respondent PL familiarity Survey Responses Results Surveys are still being analyzed This slide will be updated for the SAS Email Kalynnda Berens for final slides, if interested (Kalynnda.Berens@grc.nasa.gov) * 0 6 MSFC 0 2 0 5 1 0 5 0 0 Assurance 0 13 5 9 1 5 5 4 3 Usage SSC LaRC KSC JSC JPL GSFC GRC DFRC ARC Center 2 surveys from non-NASA projects