»Click here to view online I »Forward to a friend I »Sign up for an Embedded Newsletter

Share this Newsletter:

facebook linkedin twitter digg

February 19, 2013

Tech Focus: Using Ada in embedded design

Is Ada ready for mainstream embedded designs?

Reducing the gap between design and code for critical software with Ada 2012

Ada 2012: say what you mean, mean what you say

Ada 2012 redux


Insights

Is Ada ready for mainstream embedded designs?

With its built-in features for generating dependable code, is it time for Ada to move to the center of software development as embedded devices become more pervasive in our lives?.

Ada 2012: say what you mean, mean what you say

One of the key capabilities in the new Ada 2012 standard is the contract-based programming model. Here's why.

Ada gets a makeover

The latest version, Ada 2012, includes some important improvements.

Ada 2012 redux

My Ada article generated lots of discussion. Here are some answers to your questions.


Development

Reducing the gap between design and code for critical software with Ada 2012

How to use Ada 2012 to reduce the gap between the high-level requirements and the coded program through a set of portable high-level design time features.

Expressive vs. permissive languages: Is that the question?

The ease with which code is analyzable depends on the language type you use.

Trimming cost and size: The software side of the story

A new approach that couples a reliable language with customizable and specialized run-time libraries can reduce both cost and footprint size for embedded systems.

ParaSail: Less is more with multicore

Adacore's S. Tucker Taft surveys the impediments developers face in doing effective multicore programming, discusses the problems they create, and illustrates how parallel programming in ParaSail is simplified by doing without them.


Products

Atego ships major new version of Aonix ObjectAda for Windows

Aonix ObjectAda 9.0 for Windows is a major new release with support for many of the new language features in Ada 2005.

AdaCore releases new CodePeer static analysis tool

AdaCore's new version of its CodePeer Static Analysis Tool include full support for upcoming Ada 2012 language standard

AdaCore and Altran Praxis release SPARK Pro 11

The new version of of the SPARK Pro 11 features increased verification efficiency for high-assurance systems based on the Ada language.

GNAT Pro brings end to data endianness portability

Adacore's Gnat Pro Ada compiler automatically handles conversions, simplifies Ada development and maintenance



6First 1µA Bidirectional CSAs
Touchstone's new 1µA TS1101 low-power
bidirectional, symmetrical current-sense
amplifiers reduce power by 30X over the
competition and eliminate the "dead band" of
other CSAs.
See the new video about using the TS1101 to track
Learn more...


News

ISO approves Ada 2012 language standard

ISO approves Ada 2012 standard, which includes Design by Contract and other enhancements.

SmartSide adopts Ada for its Smart Devices Platform

European smart grid services company uses Ada in combination with GNAT Pro to improve the reliability of its data management system.

Terma A/S tools up it space monitor project with Ada

To ensure reliability of Terma's Atmosphere-Space Interaction Monitor on the International Space Station, it turned to Ada tools to guarantee the safety-criticality of its design.

Rockwell uses Ada traceability analysis for DO-178B Certification

Rockwell Collins has achieved DO-178B certification on its Integrated Display System (IDS) for a large, next-generation, commercial aircraft.


Submitting content to Embedded.com

To submit a how-to article to Embedded.com, contact Bernard Cole, site editor. For more info about submissions, go to Editorial contributions.


TechOnline Library

Tech Papers

Building Functional Safety into Complex Software Systems, Part I

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Combining Partitioning and Virtualization for Safety-Critical Systems

High Reliability Guide

Webinars & Courses

Live Webinar on Safety Critical Applications and High Reliability Products

Innovation with Purpose: Optimal MCU Solutions for Safety Critical Applications

Focusing on Traceability in Software Development for Safe Medical Devices

Fundamentals of Multicore Programming for Embedded


Resources

Around the Network Events

VIDEO: An introduction to Ada 2012

ACM's SIGAda Online Information Resource

Ada Information Clearing House

Ada Bare Bones

Conferences and Events

ESC Silicon Valley at DESIGN West
Registration now open. Early-bird pricing in effect until Feb. 8
Register online for Embedded Systems Conference 2013 up until April 18. Early-bird pricing ends Feb 8. ESC 2013 is part of DESIGN West, being held April 22 to 25, 2013 at the McEnery Convention Center, San Jose, CA.

For more industry events, visit Embedded.com's event page.



/td>

This email was sent to: @{Email Name}@

To subscribe to UBM Tech emails or change your email preferences please click here.

Go to Embedded.com
A UBM Tech Newsletter © 2013. All rights reserved.
Privacy Policy I Advertising Information I Unsubscribe
UBM Tech, 303 Second Street, Suite 900 South, San Francisco, CA 94107