Wind River and Partners Drive COTS In Safety-Certified Avionics Displays Wind River Systems, Inc. (NASDAQ:WIND), the global leader in Device Software Optimization (DSO), announced today that it has established a new product integration with Esterel Technologies, a leader in model-based design, verification and qualified code. The partnership will incorporate formal design and development technologies into safety-critical software for the avionics ind » Read More...