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

Unmanned

High-power laser system intercepts airborne threats in Israeli test

Unmanned

Black Widow drone production to be supported by ESAero under new Red Cat partnership

Unmanned

Tethered drone test system deployed by NAWCAD to accelerate payload development

Avionics

Electro-optical systems to support Canada’s P-8A surveillance aircraft

Unmanned

High-power laser system intercepts airborne threats in Israeli test

Radar/EW

SIGINT, electronic warfare capabilities for soldiers to be expanded under U.S. Army contract

Cyber

Moving beyond the label: How U.S. defense can successfully adapt the Cyber Trust Mark Program