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

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.

--
---------------------------------------------------------
J-P. Rosen (rosen@xxxxxxxxx)
Visit Adalog's web site at http://www.adalog.fr
.

Relevant Pages

  • Re: C++ Bounds Checking
    ... |> I tried to use the intrinsic sum but got a buffer overflow at runtime. ... Ada and VHDL since the 1980's, the runtime checks would be unnecessary ... required to be rejected at compilation time with an error ...
    (comp.lang.fortran)
  • Re: Preferred OS, processor family for running embedded Ada?
    ... I'm always surprised that VHDL engineers are not more open to Ada given ... Features like user ... C++ or Modula 3 as a first language in teaching. ...
    (comp.lang.ada)
  • Re: Preferred OS, processor family for running embedded Ada?
    ... Have you looked at AADL? ... It looks like it draws together aspects of VHDL and Ada without ... wide range of checks and code generation on high level models, ...
    (comp.lang.ada)
  • Re: vhdl questions from a verilog person
    ... I think generic packages and subprograms will ... and we stayed consistent with that for packages and subprograms. ... We have proposals for adding OO to VHDL as well as adding constrained ... I doubt there's the same need for constrained random testing in Ada - ...
    (comp.lang.vhdl)
  • Re: Is there a translator from SPARK Ada to VHDL?
    ... >>VHDL has a similar syntax to Ada, but it is really a different ... >>many small gates, as opposed to serial processing of one main ...
    (comp.lang.ada)