Certification Together

As leader of the Certification Together initiative, Aeroconseil, subsidiary of AKKA Technologies group, manages the organization of the conference.
Aeroconseil is a leading aeronautical company which can intervene at any point in an aircraft’s lifecycle, with activities in two segments, aeronautical engineering and services to air transport. The combination of Technical and Certification oriented expertise ensures a practical approach and makes Aeroconseil a unique partner selected by all the major Aerospace companies and their subcontractors, worldwide. Aeroconseil also chairs the European DO254 User Group.

AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards. In addition to supporting RTCA DO-178B / DO-178C (EUROCAE ED-12B / ED-12C), GNAT Pro Safety-Critical can help reduce the effort in certifying systems against standards such as DEF STAN 00-55 / 00-56 (defense), DO-278 / DO-278A, CENELEC EN 50128 and ECSS-E-ST-40C / ECSS-Q-ST-80C.  GNAT Pro Safety-Critical has been used to develop systems that have been certified to DO-178B Level A. See AdaCore for further information.

Aldec Inc., headquartered in Henderson, Nevada, is an industry leader in Electronic Design Verification and offers a patented technology suite including: RTL Design, RTL Simulators, Hardware-Assisted Verification, ASIC Prototyping, Design Rule Checking, IP Cores, DO-254 Functional Verification and Military/Aerospace solutions. www.aldec.com

Esterel Technologies, a wholly-owned subsidiary of ANSYS, Inc., is leading provider of critical systems and software development solutions for the aerospace and defense domains.  System and software engineers use Esterel SCADE® solutions to graphically design, verify, and automatically generate applications with high dependability requirements.  SCADE solutions easily integrate, allowing for development optimization and increased communication among team members.  SCADE solutions have been qualified by the FAA for DO-178B up to Level A and are DO-178C ready. www.esterel-technologies.com

MathWorks is the leading developer of mathematical computing software. MATLAB^® and Simulink^® products for Model-Based Design and technical computing are the industry-standard tools for designing, implementing, and testing air, space, naval, and land systems. Aerospace and defense companies worldwide rely on these products in major programs, such as the F-35 Joint Strike Fighter and Mars Exploration Rover, as well as for unmanned aerial vehicles and advanced wireless systems, such as software defined radio (SDR). MATLAB, Simulink, and Embedded Coder support key development activities involving Model-Based Design for DO-178C. www.mathworks.com

VEROCEL specializes in the verification of mission critical and safety critical software to DO-178B/C and other industry standards. We offer verification services, consulting, training, and tools. Our specialty is the independent development of the complete certification evidence for a software project, offered at a fixed price with a certification warranty. All the certification materials are delivered on a hyperlinked DVD. We also offer a range of qualified tools that make the software verification process much more efficient.Software verification by Verocel: Diligent, Reliable, Cost effective. www.verocel.com

For more than forty years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States, India and an extensive distributor network. For more information on the LDRA tool suite, please visit www.ldra.com.