The paper is published describing the directions and achievements of UniTESK Lab in software testing for embedded avionics systems.

The paper “Testing of software for embedded avionics systems” formulates the main objectives of requirements-based testing as applied to software for embedded avionics systems with rigid fail-safety requirements. It presents the experience and results of creation of conformance test suites for two main standards implemented in real-time operating systems for avionics: ARINC-653 and POSIX. It also proposes the directions and methods of application of the UniTESK technology and the FOREST process to support the software testing process for avionics systems as imposed by the DO-178B standard. The proposed approach is to simplify software certification according to this standard.
Full text of the paper in PDF.