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

Radar/EW

ForceShield air defense systems to be supplied to Portuguese Army by Thales

Comms

56 command vehicles to be delivered to Latvia by Patria

Comms

SLM-5650B satellite modems to be delivered to U.S. Navy by Comtech

Avionics

Airborne surveillance systems to support maritime search and rescue in Europe

Unmanned

Collaborative autonomy software from Anduril selected for DIU Replicator initiative

A.I.

AI decision company renews USAF operational readiness contract

Cyber

Cyber hardening program from DARPA gets RTX BBN Technologies on board