Assurance of Programmable Logic Devices NASA Glenn Research Center Kalynnda Berens, SAIC Coursework: Jacqueline Somos, SAIC.

Slides:



Advertisements
Similar presentations
Complex Electronic Hardware Policy & Guidance
Advertisements

Research Proposal Requirements and Networking Workshop ESTEC, Noordwijk, 13 September 2004.
USG INFORMATION SECURITY PROGRAM AUDIT: ACHIEVING SUCCESSFUL AUDIT OUTCOMES Cara King Senior IT Auditor, OIAC.
Kai H. Chang COMP 6710 Course NotesSlide ES- 1 Auburn University Computer Science and Software Engineering Course Notes : Examining the Specification Computer.
IAEA 1 The IAEA has revised the 1996 Safety Standards 50-C/SG-Q: QA Requirements and Safety Guides Published in 1996 Promotes structure: –Management –Performance.
EIE PROJECTS PRESENTS. AUTOMATION  Automation is basically the delegation of human control functions to technical equipment aimed.
1 SQA & Reuse Katerina Goseva-Popstojanova, WVU Aaron Wilson, NASA IV&V Kalynnda Berens & Richard Plastow, GRC Joanne Bechta Dugan, UVa David Gilliam JPL.
USING NASA QUALITY STANDARDS NASA Academy of Aerospace (AAQ) Quality Mini-Workshop Ken Crane Quality Engineering Technical Discipline Team Lead NASA SAFETY.
OPM Cybersecurity Competencies by Occupation (Technical Competencies) Information Technology Management Series Electronics Engineering.
GLAST LAT ProjectLAT Engineering Meeting, April 1, 2003 GLAST Large Area Telescope: Performance & Safety Assurance Darren S. Marsh Stanford Linear Accelerator.
COE Labs Objectives and Benefits. General Objectives 1.Students’ training using state-of-the-art facilities through course labs 2.Enable world-class research.
1 IT is About The Mission Randy Humphries Jr. Chief Information Officer NASA Glenn Research Center.
Verification and Validation of Programmable Logic Devices James A. Cercone Ph.D., P.E.,James A. Cercone Ph.D., P.E., Chair and Professor of Computer ScienceChair.
Software Fault Injection Kalynnda Berens Science Applications International Corporation NASA Glenn Research Center.
Breakout Group 2: Software Quality Assurance Outcome 8/18/10 1.
Testing safety-critical software systems
Software Verification and Validation (V&V) By Roger U. Fujii Presented by Donovan Faustino.
NASA Software Productivity Consortium NASA Office of Safety and Mission Assurance Software Assurance Symposium September 5, 2002 Robert Ling Johnson Space.
The Maintenance and Engineering Organization
Software Quality Assurance Implementation Plan June 15, 2004 Defense Nuclear Facilities Safety Board Chip Lagdon Director Office of Quality Assurance Programs.
Section I Introduction to Xilinx
© Siemens AG, CT SE 1, Dr. A. Ulrich C O R P O R A T E T E C H N O L O G Y Research at Siemens CT SE Software & Engineering Development Techniques.
Where will I be in 10 years? The 21 century… our world we need: aerospace engineers scientists, engineers, technologists, and technicians our world we.
Langley Research Center FY 2002 Safety and Health Managers’ Meeting.
IAEA International Atomic Energy Agency IAEA Nuclear Security Programme Enhancing cybersecurity in nuclear infrastructure TWG-NPPIC – IAEA May 09 – A.
7/22/04 Report Back: Performance Analysis Track Dr. Carol Smidts Wes Deadrick.
Real-time Linux Evaluations NASA Glenn Research Center Kalynnda Berens, SAIC Richard Plastow, SAIC.
 ELECTRI Council Meeting  Information Technology Assessment for Line Electrical Contractors Vanessa Valentin, Ph.D. Assistant Professor Department of.
Welcome to City University Anand Vora Air Transport Engineering (MEng) Part 4 Academic excellence for business and the professions.
Protecting the Public, Astronauts and Pilots, the NASA Workforce, and High-Value Equipment and Property Mission Success Starts With Safety Believe it or.
1 Human Performance in Reactor Safety George E. Apostolakis Massachusetts Institute of Technology Presented at the Quality Colloquium,
HOW TO ASSESS SUPPLIER RESPONSIBILITY (TECHNICALLY & FINANCIALLY) Mariel D’Eustachio Dave Avera 3/28/00.
NASA Software Productivity Consortium Affiliation NASA Office of Safety and Mission Assurance Software Assurance Symposium September 5, 2001 Cynthia Calhoun.
Slide 1V&V 10/2002 Software Quality Assurance Dr. Linda H. Rosenberg Assistant Director For Information Sciences Goddard Space Flight Center, NASA
Real-Time Linux Evaluation NASA Glenn Research Center Kalynnda Berens Richard Plastow
JLab Software Assurance Program A Risk Based Approach to Software Management.
V&V of COTS RTOS for Space Flight Projects The 1st Annual NASA Office of Safety and Mission Assurance (OSMA) Software Assurance Symposium (SAS) Michael.
Programmable Logic Educating Assurance Engineers NASA Glenn Research Center Kalynnda Berens (PI) Jackie Somos (Course designer)
July 30, NASA Glenn Research Center1 Programmable Logic Devices Building the Case for Software-style Assurance Kalynnda Berens
1 Software Assurance of Programmable Logic Devices Kalynnda Berens, GRC
The Role of NCAS Assessments NASA Supply Chain Conference Goddard Space Flight Center November 14, 2007.
PRO-EAST Workshop, Rome, May 9-11, Curriculum and Programme Objectives: Mapping of Learning Outcomes Oleg V. Boev, Accreditation Centre, Russian.
Seminar on SW engineering processes and methods. Goals Study what research results show about real benefits of Agile, Lean and other hype trends Analyze.
Sept Software Research and Technology Infusion 2007 Software Assurance Symposium.
Overview Roy Whitney December 1, 2010 Remote Access Review.
EO Ground Segment and Data Access Evolution Alice Springs Refurbishment Program Presented by Simon Oliver for John Frampton.
Fall 2002 Internet2 Member Meeting Remote Instrumentation WG T. Charles Yun Program Manager October 2002.
SPACE SHUTTLE PROGRAM Space Shuttle Business Office NASA Johnson Space Center, Houston, Texas Presenter Date Page 1 Space Shuttle Program Flight and Ground.
Solar Probe Plus A NASA Mission to Touch the Sun March 2015 Instrument Suite Name Presenter's Name.
Office of Human Research Protection Georgia Health Sciences University.
Thursday August 20, 2009 John Anderson Page 1 Accelerator Interlock System Issues Flow Down of Requirements from the Safety Order to Engineered Safety.
Research Heaven, West Virginia PI: Katerina Goseva – Popstojanova Students: Ajay Deep Singh & Sunil Mazimdar Lane Dept. Computer Science and Electrical.
SAS_05_Contingency_Lutz_Tal1 Contingency Software in Autonomous Systems Robyn Lutz, JPL/Caltech & ISU Doron Tal, USRA at NASA Ames Ann Patterson-Hine,
Glenn Research Center at Lewis Field Software Assurance of Web-based Applications SAWbA Tim Kurtz SAIC/GRC Software Assurance Symposium 2004.
Safety and Mission Assurance Lockheed Martin Space Operations (LMSO) Science, Engineering, Analysis, and Test Operation Safety and Mission Assurance Activity.
GLAST LAT ProjectI&T&C Pre PDR Presentation– Oct 2, 2001 Darren Marsh1 I&T&C Organization Chart I&T&C Manager Elliott Bloom WBS I&T Engineer B. Grist.
Chapter 6 Requirements for a Maintenance Program.
NASA MSFC Engineering Directorate Mission Operations Laboratory MSFC NASA MSFC Engineering Directorate Mission Operations Laboratory Increment 19/18 Soyuz.
CCSDS IPsec Compatibility Testing 05/4/2016 CHARLES SHEEHE, CCSDS GRC POC OKECHUKWU MEZU, Test Engineer 1.
Environmental Management Division 1 NASA Headquarters Environmental Management System (EMS) Michael J. Green, PE NASA EMS Lead NASA Headquarters Washington,
Senior Design Project 1: PLC-based Control System Design of Chemical Process Dr. Jia Li.
PROCUREMENT DEPARTMENT
7/22/04 Report Back: Performance Analysis Track
0.0 Instrument Suite Name Presenter’s name
Programmable Logic Devices
Technological Developments are Making Space Exploration Possible and Offer Benefits on Earth Unit E: Topic Two.
Beyond Academia.
Industrial Training Provider ,
چرخه توسعه نرم‌افزار در ناسا
Jeff Dutton/NASA COR August 26, 2019
Presentation transcript:

Assurance of Programmable Logic Devices NASA Glenn Research Center Kalynnda Berens, SAIC Coursework: Jacqueline Somos, SAIC

Mission Success Starts With Safety SAS The Problems: Programmable Logic Controllers (PLCs) are “programmed” by engineers, often without Software Assurance oversight.  PLCs are used in Wind Tunnels and other facilities Programmable Logic Devices (PLDs) are hybrids  PLDs (FPGA, ASIC, etc.) are used in ground and flight systems  PLDs are 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.

Mission Success Starts With Safety SAS Our approach Year 1:  Distribute surveys to determine where and how Programmable Logic is used at NASA and how it is being assured. Year 2:  Document practices outside of NASA for assuring Programmable Logic.  Compare the assurance practices of NASA with those of other industries (especially high risk industries such as nuclear and medical).  Issue Paper Year 3:  Present best industry practices in the form of a series of courses and in a guidebook.

Mission Success Starts With Safety SAS Importance and Benefits Awareness  Where PLDs and PLCs are used  Current assurance activities Comparison  NASA practices with high risk industry practices  Will new practices improve safety?  PLCs and PLDs for software assurance personnel  Process assurance for hardware QA TRAINING

Mission Success Starts With Safety SAS Relevance to NASA PLCs and PLDs are widely used at NASA  Flight equipment for Shuttle and Station  Small satellite technology development  Centrifuge Control  Wind tunnel Future trends indicate that PLDs will be used more often and in more complex applications.  May replace software in some systems  Complexity means testing is not enough! Can NASA Software Assurance personnel adequately verify PLCs and PLDs? Can NASA Quality Assurance personnel?

Mission Success Starts With Safety SAS Accomplishments Survey of NASA usage and assurance for PLCs and PLDs Industry/military/government Best Practices Issue Paper – summary and recommendations PLCs for SA course  almost complete

Mission Success Starts With Safety SAS Next Steps Create PLD and Process Assurance courses Evaluate/Review courses  We’re looking for interested reviewers  Come see the demo! Submit courses to SOLAR Publish information in a guidebook format