Topic: DO-178

Rapita Systems to showcase AdaCore’s GNAT Pro for Rust at HISC

October 17, 2024

YORK, U.K. and NEW YORK, N.Y. Rapita Systems and AdaCore announce a joint demonstration of the integration of the Rapita System RapiCover Zero and RapiTime Zero tools with AdaCore’s GNAT Pro for Rust next week at the High Integrity Software Conference (HISC), to be held in Wales.

Topic: DO-178

Rapita Systems to showcase AdaCore’s GNAT Pro for Rust at HISC

Incorporating DO-326A security airworthiness into software-development life cycle

OpenVPX modules from Mercury Systems are aligned with SOSA, designed to accelerate critical avionics applications

Avionics

Bell 360 Invictus to be equipped with DDC-I avionics system

Avionics

DO-178 continues to adapt to emerging digital technologies

Avionics

Bringing the benefits of safety-certifiable COTS to the system level

Avionics

Webcast: Safety certification for unmanned aircraft Nov 15, 2pm Est

Avionics

DO-178C brings modern technology to safety-critical software development

Avionics

Requirements traceability tasks automated with test management extension from Visure

Avionics

Solving the processor challenges for safety-critical software

Avionics

Static analysis is going deeper with deep-flow data flow - Interview with Jill Britton, Consultancy Services Group Manager at PRQA

Avionics

Software warranties -- A new era?

Avionics

DO-178B and DO-254: A unified aerospace-field theory?

Fixed price avionics certification solution offered by LDRA

MC-130J avionics to use DO-178B tool from Presagis

Migrating safety-critical software in military and aerospace systems

When code is born of old: Architectural obsolescence within the development life cycle

When code is born of old: Architectural obsolescence within the development life cycle

Static analysis improves efficiency, reduces downstream integration costs

Safety or security? An embedded wake-up call from Toyota's misfortunes

Foresight beats out hindsight ... but only in the case of model-based design: Interview with Dr. Jon Friedman, The MathWorks

Top 5 technologies for the warfighter

Virtualization yields hardware optimization and new embedded architectures

Migrating complex embedded systems

Featured White Papers/e-Books

Unmanned

A Practical Guide to Deploying Rugged Computing Solutions in Harsh Environments

Radar/EW

FLOPPYFlash drive to replace old decoy launcher hardware on UK Royal Navy ships

A.I.

SOSA aligned SBC with advanced AI capabilities introduced by Abaco Systems

Cyber

Network-modernization contract for U.S. Space Force won by CACI International