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

[Jerome Hugues <hugues@antigone.enst.fr>]

In article <naj1se.3ir.ln@hunter.axlog.fr>, 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