80 likes | 274 Views
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)
E N D
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 2 surveys from non-NASA projects
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)