Military Embedded Systems

Company Directory

AdaCore

150 W. 30th Street, 16th floor
New York, NY 10001
[email protected]
+1 212 620 7300
https://www.adacore.com/
AdaCore
Articles related to AdaCore
Avionics

WEBCAST: Boeing, Army discuss FACE alignment for Army avionics on December 10 at 2 pm est - News

November 24, 2020

SCOTTSDALE, Arizona. Boeing, in partnership with the U.S. Army, AdaCore, CoreAVI, Presagis, and Real-Time Innovations (RTI), will demonstrate an integrated Future airborne Capability Environment (FACE) commercial-off-the-shelf (COTS) solution stack covering cockpit displays, graphics systems and data transport connectivity. This stack enables high mission capability using the world’s latest and most advanced avionics technologies designed to accelerate RTCA DO-178C DAL A safety certification and FACE conformance. The webcast, "Accelerating Avionics Design & Testing through FACE Conformance: An Integrated Model by Boeing, U.S. Army & Aerospace Leaders," will cover the stack and take place December 10, 2020, at 2 pm est. The presenters are Marc Moody, Technical Fellow, Boeing; Christopher Edwards, Systems Engineering Lead, U.S. Army Combat Capabilities Development Command (DEVCOM); Chip Downing, Senior Market Development Director, Aerospace & Defense, RTI; Dr. Benjamin Brosgol, Senior Technical Staff, AdaCore; Michael Pyne, Director, Strategic Accounts & Solutions Architect, CoreAVI; and Matt Jackson, Technical Product Manager, PRESAGIS.

Cyber

Securing military embedded systems is a giant challenge - Story

October 08, 2020

Updating and patching security vulner­abilities to limit the attack surface for the military’s embedded systems – especially legacy ones – can be a daunting task.

Avionics

Tactical UAS for Europe will use AdaCore software tools - News

September 08, 2020

NEW YORK. AdaCore, which makes mission-critical software development and verification tools, announced that Airbus Helicopters (Marignane, France) has selected the GNAT Pro tool suite and the Ada programming language to develop new software components for the VSR700 prototype project; the VSR700 is Airbus Helicopters’ tactical unmanned aerial system (UAS) aimed at the demanding requirements of modern navies and armies around the world.

Avionics

AdaCore announces extended support for Wind River VxWorks - News

March 12, 2019
AEROSPACE TECH WEEK 2019 -- MUNICH. Software-development and -verification tool company AdaCore has announced the roadmap of its flagship GNAT Pro Ada Development Environment for the latest version of the Wind River VxWorks real-time operating system (RTOS), with immediate support for the ARM 64-bit processor.