Topic: Ada

AdaCore celebrates 30 years in business

July 15, 2024

NEW YORK and PARIS. AdaCore, a provider of software tools for safety-critical, security-critical, and and high-reliability applications, is celebrating 30 years of operation.

Topic: Ada

AdaCore celebrates 30 years in business

Common Weakness Enumeration (CWE) defines cybersecurity vulnerability landscape for mission-critical applications

Toward safety and security in FACE components: High assurance with portability

Avionics

Safety certification concerns for UAVs in national airspace

Avionics

AdaCore launches free online programming university

Avionics

Completion of Project Hi-Lite to improve verification for high integrity systems

Avionics

GNAT Pro 7.1 release includes Ada 2012 support, other enhancements

Avionics

DO-332, the Liskov Substitution Principle, and local type consistency ramp up DO-178 certification

Avionics

Software warranties -- A new era?

Best in Show awards selected at Aerospace Tech Week

AdaCore announces extended support for Wind River VxWorks

Ada language seeing activity in universities

Ada Watch: Bringing Ada onto the battlefield

Ada Watch: Choosing the right Ada subset for strong static guarantees

Ada Watch: Getting the right programming language for the job

Ada 2012 language revision approved and published by ISO

Ada Watch: Choosing a programming language that supports reliability

SecureOne high assurance program from Rockwell Collins uses tools from AdaCore

Brazilian combat jet upgrade leverages Ada technology from AdaCore

Ada language gets attention outside of military circles

GNAT Pro 7.0 Ada language tool released by Adacore

Migrating safety-critical software in military and aerospace systems

COTS software in critical systems: The case for Freely Licensed Open Source Software

Incremental software modernization minimizes risk, reduces costs

'Legacy' is not a four-letter word

Ada matters!

Merging legacy software into contemporary system design

Comms

Apogee Semiconductor Teams with Arrow Electronics to Expand Distribution of Space-Grade Technologies

Unmanned

GDMS & business units will show products at Sea-Air-Space 2025

Radar/EW

Signals intelligence support contract for NSA won by Leidos

Avionics

Sea-Air-Space 2025 roundup: EW, autonomy, connectivity dominate this year’s show floor

Radar/EW

Sensor suite upgrade underway for Army’s NBCRV Stryker vehicles

A.I.

AI- and HPC-ready platform gets DARPA nod

Comms

Apogee Semiconductor Teams with Arrow Electronics to Expand Distribution of Space-Grade Technologies