Boeing, Lockheed Martin, Raytheon, and Rockwell Collins, Wind River Systems, Inc.