From: rod@praxis-cs.co.uk (Rod Chapman)
Subject: Re: Ada automatic code generation for Simulink models
Date: 30 May 2002 01:59:49 -0700
Date: 2002-05-30T08:59:50+00:00 [thread overview]
Message-ID: <ba18d5cb.0205300059.4f4535e7@posting.google.com> (raw)
In-Reply-To: 3CF539BA.32BE0D15@NOSPAM.visteon.com
John Kern <jkern3@NOSPAM.visteon.com> wrote in message news:<3CF539BA.32BE0D15@NOSPAM.visteon.com>...
> I see that the Mathworks is dropping support for automatically
> generating Ada code from Simulink models...
I believe ADI's Beacon toolset has support for Ada (and SPARK... :-) )
code generation from Simulink models. See www.adi.com
- Rod Chapman, SPARK Team, Praxis Critical Systems
next prev parent reply other threads:[~2002-05-30 8:59 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-05-29 20:27 Ada automatic code generation for Simulink models John Kern
2002-05-30 6:35 ` Robert C. Leif
2002-05-30 8:59 ` Rod Chapman [this message]
2002-05-30 15:20 ` Stephen Leake
2002-05-31 19:21 ` Simon Wright
2002-05-31 20:19 ` John Kern
2002-05-31 20:59 ` Simon Wright
2002-06-01 15:11 ` Stephen Leake
2002-06-01 17:09 ` Simon Wright
2002-06-01 18:23 ` Vinzent Hoefler
2002-06-01 19:38 ` Stephen Leake
2002-06-03 9:41 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox