Tool Qualification Symposium 2014 - Exhibition

Munich, 9-10 April 2014

See below for information about each of our exhibitors. See also the call for exhibitors.

ACE Adacore Validas AG
Associated Compiler Experts AdaCore Validas AG

ACE from Amsterdam will explain the importance of compiler qualification for those who require tool confidence analysis and evidence to functional safety standards such as ISO 26262. This qualification can be achieved with our SuperTest compiler test and validation suite which provides the most thorough testing of compilers.

SuperTest ACE itself, being developers of compilers and compiler development tools, uses SuperTest as one of its primary tools for compiler testing and validation. The development of SuperTest started over three decades ago and it has been accepted and used since by a broad community of compiler developers and users.
Based on internal use feedback, external feedback, new versions of the C standard, new analysis and optimization techniques, and new compiler use cases, SuperTest has been continuously augmented and updated and has stayed at the fore-front of compiler testing and validation.

ACE is also directly involved in international C language standardization committees and has successfully introduced language extensions that have been ratified by ISO e.g. Embedded C.

Please visit our website for more detailed information about full SuperTest and the SuperTest qualification suite.

Back to top

AdaCore provides tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore's flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic static analysis tool. The GNAT Pro development environment includes all tools (code coverage and profiling, coding standard checker, documentation generator, source code metrics, etc.) necessary for building robust and reliable applications. It provides support for a number of commercial RTOSes and bare board configurations. Customers around the world, including major actors in the mil-aero and railway industry, trust GNAT Pro and AdaCore.

AdaCore supplies two editions of GNAT Pro that are particularly suited for high-assurance applications: GNAT Pro Safety-Critical and GNAT Pro High-Security. GNAT Pro Safety-Critical supplies tools and specialized libraries that support development of software that needs to comply with safety standards such as DO-178B/C for avionics, the generic IEC 61508, EN 50128 for railway systems, Def Stan 00-55/56, and other related standards. GNAT Pro High-Security similarly supports development of software that needs to comply with security standards such as the Common Criteria. Both environments work effectively with AdaCore's SPARK Pro product for applications where formal methods may be appropriate.

See for further information.

Back to top

ValidasValidas AG provides service for the following tool qualification processes:

Our services range from doing the complete work to coaching or reviews for our clients, conforming to the main safety standards like ISO 26262, IEC 61508, EN 50128 and DO-178C / DO-330.

In the exhibition of the Second Tool Qualification Symposium we present a model-based approach for tool qualification. It consists of the tool chain analyzer (TCA) tool and a qualification infrastructure for building tool qualification kits. TCA can be used to classify tool chains and to build models for tool qualification kits. The infrastructure supports collaborative development of qualification kits with tool providers and Validas.

Furthermore we do exhibit the status of the Eclipse Tool Qualification Roadmap, including an example from an ongoing qualification of an Eclipse-based tool.

Please visit the Validas Tool Qualification site to find out more!

Back to top