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

A.I.

Software mobility: keeping the U.S. military’s strategic edge

Comms

TSN for defense, MOSA, Future Vertical Lift, and more with Tanika Watson of GE Aerospace

Comms

GVSETS 2025 returns to Detroit in August as the largest U.S. event focused on military ground vehicles

Avionics

Lithuania, Embraer pursue C-390 industrial partnership

Unmanned

Nano-class UAS from Skydio selected for NATO procurement framework

Radar/EW

New Lower-Cost AI Embedded Solution from VersaLogic

Cyber

Cybersecure software supply-chain contract signed with USAF, Lineaje