With AdaCore’s latest GNAT Pro Ada compiler, it’s now possible to generate C source code using its Common Code Generator (CCG). This is designed to provide portability to the vast majority of ...

Targeting PowerPC embedded and real-time systems running Wind River VxWorks 6.6 RTOS, the ObjectAda 8.4 compiler for Windows supports full Ada tasking atop VxWorks 6.6 over real-time processing. The ...

The Ada programming language has been around for years, but its use has typically been restricted to military and space applications. Bill takes a look at AdaCore’s support of the new Ada 2005 ...

- The Common Code Generator (CCG), which compiles from a SPARK-like Ada subset to C code. CCG allows projects to cross-compile Ada and SPARK applications to any hardware target that provides a C ...

Lauterbach's “TRACE32” is, according to the company, the industry's first development tool suite to fully support the AdaCore GNAT Pro Ada compiler, which is designed for safety-critical applications ...

The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming languages ...

I read recently that the Mars Rover required about 2 million lines of code, mostly written in C. The programmers spent countless hours reviewing the code and using static-analysis tools to look for ...