Altran is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. Altran, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.
Verocel has developed the certification package for run-time library components accompanying the GNAT Pro High Integrity Edition. This package contains all of the artifacts required to satisfy the objectives of DO-178B for a Level A system.
Wind River is a worldwide leader in embedded software providing development tools, real-time operating systems, and advanced connectivity for use in products in a variety of markets including aerospace and defense. A longstanding partnership integrating AdaCore's software solutions for Ada with Wind River's aerospace and defence platform solutions.
Distributed Middleware – CORBA and DDS:
Objective Interface Systems, Inc. (OIS) is the leading global provider of middleware solutions for inter-process communication for disparate systems. OIS offers ultra-low latency, real-time connectivity software development tools for use in complex and demanding environments, such as aerospace, defense, automotive, telecommunications, financial, medical, robotics, industrial automation, and consumer electronics. The ORB/express/ product family is the most widely deployed communications framework for distributed and heterogeneous systems where failure is not an option.
RTI Data Distribution Service is a high-performance messaging and data-caching solution for the development and integration of applications that require low latency, high throughput, high scalability, deterministic responses and minimal consumption of network, processor and memory resources. RTI Data Distribution Service with GNAT Pro combines the unsurpassed messaging performance of RTI middleware, the portability and interoperability provided by the DDS standard, and the powerful development environment of GNAT Pro to build high-performance, fully standards-compliant distributed applications.
Atego is the world’s largest independent supplier of industrial-grade, collaborative modeling tools for complex, mission-critical systems and software. Atego’s standards-based tool suite, Artisan Studio(r), enables you to automatically generate and synchronize your Ada source code and model with the Ada ‘Automatic Code Synchronization’ (ACS) technology. Artisan Ada Synchronizer supports code synchronization and structural comparison between UML class models developed with Artisan’s Studio and Ada source code.
Developing high quality embedded systems and software to meet tight deliver schedules demands a robust design environment. IBM Rational achieves this with Rhapsody®, an integrated visual modeling environment for embedded and real-time system engineering projects. The solution uses SysML 1.0 and UML® 2.1 with graphical C programming, allowing engineers to quickly and non-ambiguously specify requirements, design structure and the behavioral aspects of the system. For the embedded device developer, Rhapsody offers a Model Driven Development (MDD) environment for embedded systems, enabling you to create graphical models of the system that can be simulated and tested while automatically generating C/C++/ Ada or Java code that is directly deployable on the end product.
SYSGO provides innovative operating system technology, middleware, and software services for the real-time and embedded market. A differentiating capability of SYSGO is the Safe and Secure Virtualization platform PikeOS, a new generation of RTOS which is built upon a small, fast, and safe microkernel. It supports the co-existence of independent Guest OS or APIs “personalities” on a single platform, including ELinOS, SYSGO’s industrial grade embedded Linux distribution. PikeOS is DO-178B, IEC 61508, and EN50128 certifiable, and is MILS compliant. It includes CODEO, an Eclipse-based integrated development environment, and has the widest range of operational “personalities” (i.e. Linux but also ARINC-653, POSIX, Ada, Java, iTRON, etc.) on the market. PikeOS, like ELinOS, is hardware independent and is the first implementation of multi-core SMP support already integrated within a certified code basis. GNAT Pro supports both PikeOS and ELinOS.
Wind River is a worldwide leader in embedded software providing development tools, real-time operating systems, and advanced connectivity for use in products in a variety of markets including aerospace and defense. GNAT Pro is a well-established and widely-used product on Wind River platforms.
VectorCAST Test Automation Platform for Ada was developed using Ada, on its own it delivers consistent repeatable real-time testing on your hardware or simulator. VectorCAST supports Continuous Integration, Change Based Testing and DevOps, scalable from single UUT up to massively parallel for larger teams, for the optimal applications development experience. With our AdaCore CodePeer 3.0 integration you receive the definitive Test and Test Management solution for Ada: Resolving test solutions to DO-178B/C Level A, aggregating Static and Dynamic test data with VectorCAST/CBA (Coverage By Analysis) providing the single set of metrics required for Safety Critical Code Coverage certification. VectorCAST has been automatically building Ada test frameworks for GNAT Pro more than a decade, including GNAT Pro High Integrity Edition for bare-metal and all high integrity OS, and Hypervisors. VectorCAST supports Ada, Ravenscar and SPARK project management, for the elimination of Technical Debt, it enables the Baselining of legacy code, and migration to newer versions of Ada or extensions without compromising the integrity of the existing code base.
Axivion develops static code analyses tools. With their help, even complex systems can quickly be examined, comprehended, and assessed. The benefits are, amongst others, a reduction of development and maintenance costs, a shortening of time to market and an improvement of code quality. Our analyses for Ada are based on and are compatible with the Asis interface of GNAT Pro.
The LDRA tool suite is deployed throughout the software development lifecycle for Code Review, Quality Review, Design Review, Unit Test and Test Verification. The integration of the LDRA tool suite with GNAT Pro helps embedded developers overcome the challenges of testing real-time Ada95/83 software in circumstances where applications are required to be reliable, rugged and as error free as possible. The LDRA tool suite also provides facilities to assist users to meet recognised Ada standards and subsets such as the Ravenscar Profile and the SPARK safe-subset for Safety-Critical and High-Integrity systems.
Rapita Systems Ltd is a specialist in the timing analysis of real-time systems. Rapita’s innovative RapiTime product is a comprehensive toolset for on-target performance profiling, and worst-case execution time (WCET) analysis of embedded real-time software in the avionics, telecommunications, space and automotive electronics markets. RapiTime is compatible with industrial scale programs from a few KBytes to millions of lines of code, and works with virtually every 8, 16, and 32-bit embedded microprocessor on the market. RapiTime integrates with Adacore’s GNAT Pro technology and can be used to analyse real-time software written in Ada or C.
Abatron develops and produces high-quality, high-speed BDM and JTAG Debug Tools (BDI Family) for software development environments from leading vendors including GNAT Pro.
iSYSTEM's Blue Box Technology stands for fast and easy microcontroller access via any kind of microcontroller debug interface. While supporting all the common run control facilities of the various On Chip Debug interfaces that are used for development and testing on target hardware, access to higher level OCD facilities, such as Class 2, 3 and 4 Nexus as well as ETM messages, is also available. iSYSTEM has worked with AdaCore to facilitate the integration of Nexus Program Trace message data into AdaCore's GNATcoverage product, providing a coverage analysis tool which works with uninstrumented code running on the actual target hardware.
AdaCore enables use of their GNAT Pro development environment for VxWorks and Wind River Linux operating systems. They also use Simics internally and promote its use to end customers. GNAT Pro and GNAT Pro Safety-Critical are fully integrated into Wind River's tool suite and execution platform, with integration evident at all levels: tools, services, formats, and kernels. The products implement all versions of the Ada language standard, including Ada 2012 with its contract-based programming features, and are backed by expert support services.
Customers have used GNAT Pro and GNAT Pro Safety-Critical on Wind River platforms to successfully develop efficient, safety-certified systems, including mixed-language applications with Ada interoperating smoothly with C and C++. Examples include the AMX Modernization program, Barco's advanced business jet avionics display system, the nEUROn Unmanned Aircraft, the Refuelling Boom System, the C130 J Flight Management System, the Astute-Class Submarine Periscope, and the 787 Dreamliner (Common Core System).
- robust and flexible Ada development environment
- mixed language solutions that allow programmers to write code in Ada, C, and C++ within a single development environment
- with an unprecedented level of portability, GNAT Pro supports the widest range of native platforms of any Ada development technology
Squoring Technologies is the editor of SQUORE, a smart data aggregator and visualizer for software and systems projects, that optimizes performance and quality via custom dashboards, decision making and collaboration. The SQUORE solution dedicated to Ada projects integrates and aggregates data from AdaCore’s GNAT tools (CodePeer, GNATCheck, GNATMetrics,…) in its analysis and decision models, to provide a comprehensive and actionable insight of development progress, for more efficient and successful projects. SQUORE has been selected as the best-in-class solution by many renowned industrial companies who use or develop safety-critical software and systems.