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

Comms

Ruggedized software-defined radios unveiled by Pixus, COMINT Consulting

Avionics

Avionics systems for U.S. Army FLRAA program to be delivered by GE Aerospace

Avionics

F-35 maintenance and upgrades to be provided to Norway by Kongsberg

Unmanned

Secretary of the Navy to be keynote speaker at Sea-Air-Space 2025 breakfast event

Radar/EW

Molex Releases New Report on Strategies for Advancing Rugged, Reliable Connectivity in Modern Aerospace and Defense Applications

A.I.

AI agent from Cypher to be added to Army infantry division tactical environment

Cyber

GUEST BLOG: The U.S. Army’s SBOM mandate: A catalyst for software supply-chain security