Efficient Verification Through the DO-178C Life Cycle
This handbook delivered by Rapita Systems and ConsuNova Inc. presents useful information for DO-178C beginners and experts alike, including a description of DO-178C processes and how objectives can be met, and insights from best practice.
A Commercial Solution for Safety-Critical Multicore Timing Analysis
The MASTECS project is developing a commercial timing analysis solution designed to enable the safe use of multicore processors in the automotive and avionics domains.