|
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
|
