Wind River Systems
Senior Software Engineer
2013 Aug - 2020 Jun
Expertise Utilized:
Functions Performed:
- Conceptualization and implementation of portions of certification process for complex Hypervisor and Partition product components ...more
- Composed tools to support and accelerate hypervisor certification effort...more
- Formulated tool to analyze certification database content, to generate reports where re-work was required...more
- Facilitated tracing of call trees, inline functions, and function pointer calls, by developing tools to analyze multiple versions of the builds symbol tables and source code, to satisfy certification requirements...more
- Extracted call paths to establish when global variables such as “errno” were modified, to facilitate integration testing...more
- Enhanced tool that determined which portions of the source code were required to be certified...more
- Produced tool to automatically examine coverage artifacts and locate them correctly, to speed process...more
- Demonstrated to team how to employ the use of Karnaugh maps to obtain a sensible but comprehensive list of requirements for a function with complex logic...more
- Presented to team how the Python API for SCI Understand could be used to extract information from source code to pre-populate the certification object data base...more
- Analysis of source code to produce requirements needed by certification process to generate test cases...more
- Wrote test cases, from requirements, needed by the certification process to generate test procedures
- Analyzed source and data coverage information, to provide information needed to adjust requirements, test cases and test procedures...more
- Fixed system bugs and repaired code not conforming to certification standards
- Lead in configuration of source code static analysis tools, to flag source not conforming to certification standards...more
Wind River Systems produces a Hypervisor Product allowing multiple operating systems to run on a single processor as well as VxWorks and LINUX operating systems. Hypervisor and VxWorks are offered in a DO-178C certified version.