David has contributed to the generation and analysis of requirements at all levels: architecture, design, ..., verification and validation. The design itself has been done using EDAC, MIL-STD-1553, HDLC, RFCS, Ethernet (Operational, CPU Test), IPv4, ICMP, SNMP, UDP, Uni/Multi/Broadcast, SNTP, TFTP, Interrupt/Exception Handling, External Synchronization, DMA, Discrete I/F, cPCI, Cross Channel Data Link (CCDL), ARINC-653, DO178B, PPC, ANSI C/C++, XML, RTOS (vxWorks, Integrity), sp. hw, BSP, device drivers, redundancy, latency, time accuracy, verification, certification, and documentation.
David is an integral technology-oriented member of the main NASA teams designing the most critical aspects of the "spaceship" including the avionics, the flight software, RTOS/BSP/DD, Flight Computer Operational Group(FCOG) / Triple Modular Redudant (TMR) spacecraft avionics. He has contributed to the continuous IV&V efforts to deliver robust procedures, processes, and finally a robust flight avionics and system software.