White Papers


The Open Group’s Future Airborne Capability Environment (FACE™) standard has emerged as an alternative to traditional development, promoting more cost-efficient, reusable, modular, standards-based applications ready for flight in both manned and unmanned airspace. FACE ensures that conformant software follows the group’s technical standard and can be used—and most importantly, easily reused—by suppliers of avionics systems across different projects. VxWorks® 653, the industry-leading avionics platform for delivering safety-critical, integrated modular avionics (IMA) applications, is the first real-time operating system to be certified conformant to the FACE Technical Standard Operating System Segment (OSS) Safety Base Profile supporting all ARINC 653 and POSIX® capabilities required by the FACE Conformance Test Suite.

To find out more download the Windriver Paper.

Download

Whitepaper Download Form:

Please complete the form to download the white paper. If you've signed up before for any of our offerings, you can log in to automatically download the paper.

Please complete the form below to download the white paper. If you've signed up before for any of our offerings, you can download this white-paper by providing your email address.



The guidance in the DO-178C / ED-12C standard and its associated technology-specific supplements helps achieve confidence that airborne software meets its requirements. Certifying that a system complies with this guidance is a challenging task, especially for the verification activities, but appropriate usage of qualified tools and specialized run- time libraries can significantly simplify the effort. This document explains how a number of technologies offered by AdaCore – tools, libraries, and supplemental services – can help. It covers not only the “core” DO-178C / ED-12C standard but also the technology supplements: Model-Based Development and Verification (DO-331 / ED-218), Object-Oriented Technology and Related Techniques (DO-332 / ED-217), and Formal Methods (DO-333 / ED-216). The content is based on the authors’ many years of practical experience with the certification of airborne software, with the Ada and SPARK programming languages, and with the technologies addressed by the DO-178C / ED-1.

To find out more download the AdaCore Paper.
Download

Whitepaper Download Form:

Please complete the form to download the white paper. If you've signed up before for any of our offerings, you can log in to automatically download the paper.

Please complete the form below to download the white paper. If you've signed up before for any of our offerings, you can download this white-paper by providing your email address.



An innovative technology solution to design deterministic safety-critical applications on multi-core architectures
This document provides KRONO-SAFE’s point of view on problems raised by recent hardware architectures at software- and system-design level. We are witnessing an increasing complexity of the hardware architectures that enforces the need to provide a detailed analysis of the chosen CPU (mainly the cores, memory and interconnect) in order to achieve accurate and complete answers to the safety-critical system’s design requirements.

This white paper aims at demonstrating that the design solutions that were acceptable historically in the aerospace market may not be applicable today as the hardware become more complex and interferences are not as easily identifiable as before. In addition, the document seeks to show that the certification of a system using a multi-core CPU is not an issue by itself if the real considerations about the hardware complexity are properly specified and designed.

To find out more download the Krono Safe Paper.
Download

Whitepaper Download Form:

Please complete the form to download the white paper. If you've signed up before for any of our offerings, you can log in to automatically download the paper.

Please complete the form below to download the white paper. If you've signed up before for any of our offerings, you can download this white-paper by providing your email address.


DO-178C is increasingly required world-wide for almost anything that flies: commercial and military aircraft, missiles, drones, even some balloons … Developing avionics for these aircraft is increasingly complex and expensive particularly when complying with DO-178C. What are the common DO-178C gaps, what are the gaps versus DO-178B, and how best to close these gaps? These answers and more are answered within this AFuzion technical whitepaper; AFuzion has performed more than 80 DO-178C Gap Analysis is 25 countries for 60 avionics development clients worldwide; more than all other current Gap Analysis company’s existing personnel, combined.
To find out more download the AFuzion White Paper.
Download

Whitepaper Download Form:

Please complete the form to download the white paper. If you've signed up before for any of our offerings, you can log in to automatically download the paper.

Please complete the form below to download the white paper. If you've signed up before for any of our offerings, you can download this white-paper by providing your email address.

If you are interested in posting your White Paper please contact: