Re: Preferred OS, processor family for running embedded Ada?

In article <naj1se.3ir.ln@xxxxxxxxxxxxxxx>, Jean-Pierre Rosen wrote:
Dr. Adrian Wrigley a écrit :
On Mon, 26 Feb 2007 17:34:09 +0100, Jean-Pierre Rosen wrote:

Dr. Adrian Wrigley a écrit :
[Ada and VHDL]
Perhaps a common denominator language can be devised
Have you looked at AADL?

I hadn't seen this. Interesting.

It looks quite similar in some respects to what I was thinking of.
Particularly the emphasis on multiple representations of the
underlying program (graphical, XML, plain text etc).

It looks like it draws together aspects of VHDL and Ada without
really being based on either. Is it going to be the next Big Thing?

A lot of people is trying to make this happen :-). In an nutshell, AADL
is a design language at system level; many concepts are inherited from
Ada, and you'll find many Ada people involved (Joyce Tokar did the Ada
binding), as well as AADL presentations at Ada conferences.


AADL is not just a design language, it also allows you to perform a
wide range of checks and code generation on high level models, or some
refinements of them.

<some ad>
We, at ENST, are developping Ocarina, that includes an
AADL-to-Ada code generator. We got some interesting results in
generating Ada code that matches many restrictions from the HIS annex
from AADL models.

See http://ocarina.enst.fr/ for more details
</>

Also, Cheddar, the scheduling toolsuite, has some support for AADL,
same goes for STOOD from Ellidiss.

Which means, as stated by Jean-Pierre, that the Ada community is also
involved in this language, and that links between the two are strong.

--
Jerome
.

Relevant Pages