Software Consultant

Aug. 2013 – Present


Hypervisor certification effort.
High profile customer who wishes to integrate Hypervisor into safety critical product must have the code certified. This is known to be a $100 per line of code effort.


  • Reduce code set to be certified
  • Testing of code
  • Coverity Lead
  • Reverse Engineering code to produce requirements and design
  • Removing safety risk from code

About Wind River Systems

Wind River Systems, Inc. is a company providing embedded systems, development tools for embedded systems, middleware, and other types of software. The company was founded in Berkeley, California in 1981 by Jerry Fiddler and David Wilner. On June 4, 2009, Wind River announced that Intel had bought the company for a reported $884 million.[3] Wind River continues to exist as a wholly owned subsidiary of Intel.

About Coverity

Coverity is a software vendor which develops development testing solutions, including static code analysis tools, for C, C++, Java and C#, used to find defects and security vulnerabilities in source code.

Coverity was founded in the Computer Systems Laboratory at Stanford University in Palo Alto, California and with headquarters in San Francisco.

About Hypervisor

A hypervisor or virtual machine monitor (VMM) is a piece of computer software, firmware or hardware that creates and runs virtual machines.

A computer on which a hypervisor is running one or more virtual machines is defined as a host machine. Each virtual machine is called a guest machine. The hypervisor presents the guest operating systems with a virtual operating platform and manages the execution of the guest operating systems. Multiple instances of a variety of operating systems may share the virtualized hardware resources.

Leave a Reply