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: Enabling the intelligent edge for avionics software Tuesday, Dec. 1 at 11 am Est - News

November 30, 2020

SCOTTSDALE, Arizona. Modernization efforts that require consolidating multiple proven software systems onto a single intelligent edge platform are difficult. Fortunately, there are strategies that allow you to maintain your software integrity and partitioning while taking advantage of cutting edge software development technology in modern avionics systems. In this webcast on December 1, 2020 at 11 am Est., subject matter experts from Wind River and AdaCore will demonstrate how you can map your existing architecture to guest operating systems on hypervisors, by using Wind River’s Helix Virtualization Platforms and software development tools from the compiler experts at 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.