Migrating to DO-178C and other Avionics Software Certification Trends
March 22, 2011
Appproximately one hour
John McHale, Executive Editor , Military & Aerospace Electronics Joe Wlad, Senior Director, Vertical Marketing Aerospace and Defense , Wind River George Romanski, CEO , Verocel, Inc. Greg Gicca, Director of Safety and Security Product Marketing , AdaCore
register:WEBCAST
John McHale Executive Editor Military & Aerospace Electronics  
Joe Wlad Senior Director, Vertical Marketing Aerospace and Defense Wind River  
George Romanski CEO Verocel, Inc.  
Greg Gicca Director of Safety and Security Product Marketing AdaCore  
Wind River :

Wind River, a global leader in embedded and mobile software, is the foundation for innovation visionary companies rely on to bring differentiated leading-edge products to market. Complete vertical platforms built on our market-leading real-time operating system and commercial open source solutions enable our customers to fully exploit their unique advantages.

Verocel, Inc. :

Verocel: specializes in software verification according to DO-178B and other safety related standards. The Verocel offering comprises verification services, consulting, training, and qualified tools. Verocel’s specialty is the independent development of complete certification evidence for software projects.  This is offered at a fixed price with certification warranty, with all materials delivered on a hyperlinked DVD. Verocel offers qualified tools to help with various aspects of the verification process, like verification life-cycle management and requirements traceability, structural coverage analysis on source or object code, worst-case stack size analysis, control coupling analysis, as well as XML based configuration of IMA systems.

AdaCore :

AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.  Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems and medical devices, and in security-sensitive domains such as financial services.