News

AdaCore and SofCheck Merge

Ada expert Tucker Taft joining AdaCore as Director of Language Research
AdaCore, a leading supplier of Ada development tools and support …

» more

‘Project P’ and ‘Hi-MoCo’ Research Projects Launched

Open-source research projects combine model-based integration and qualified code generation for safety-critical systems
AdaCore has announced its participation in ‘Project P’ …

» more

AdaCore Launches GNATtest

Unit test harness generator reduces test development effort for large software projects
AdaCore, provider of Ada tools and expertise for the …

» more

Dedicated Systems Newsletter - January 2012

Dedicated Systems Newsletter - January 2012 (PDF)

Inside this issue:

1. AdaCore and SofCheck merge

2. Webinar, Delivering Critical Patient Information Safely and Securely

3. COTS RTCA DO-178C Certification Evidence for VxWorks

4. 4-Channel, High Speed Strain Gauge Input DNA/DNR-AI-224

5. AB3000 Rugged Embedded Computer

6. Qualification Material Available for GNATcheck and GNATcoverage

7. New 3U Compact PCI Serial Chassis from Schroff

OpenVPX Dual Cluster Architecture

Background: FPGAs achieve more speed per unit of power compared to CPUs, DSPs, and GPUs.
Advancements in silicon, software, and IP …

» more

 »