From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fba8595cda50c2ec
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-31 13:50:11 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsxfer3.itd.umich.edu!jobone!dailyplanet.srl.ford.com!eccws12.dearborn.ford.com!not-for-mail
From: John Kern <jkern3@NOSPAM.visteon.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada automatic code generation for Simulink models
Date: Fri, 31 May 2002 16:19:38 -0400
Organization: Visteon Coropration
Message-ID: <3CF7DADA.77DB9166@NOSPAM.visteon.com>
References: <3CF539BA.32BE0D15@NOSPAM.visteon.com>
 <x7vwutki0ny.fsf@pushface.org>
Reply-To: jkern3@NOSPAM.visteon.com
NNTP-Posting-Host: 19.51.198.11
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Mozilla 4.79 [en]C-c32f404p  (WinNT; U)
X-Accept-Language: en, en-GB, de, fr, ja, ko, zh
Xref: archiver1.google.com comp.lang.ada:25119
Date: 2002-05-31T16:19:38-04:00
List-Id: <comp.lang.ada>

I guess what your are saying is to go ahead and allow code generators to
use the "Universal Assembly" language, and use Ada for only the parts
that cannot be modeled.  The auto industry is endeavoring to model the
whole ECU in either Simulink or UML, leaving no room or need for
generated Ada code.  However we still get bogged down with the
standardization and modeling of the tasking kernel, the unsafe C
constructs and MISRA compliance, weak typing and the representations of
variables, etc. which didn't seem to be that big a problem when using
Ada.

Simon Wright wrote:
> 
> John Kern <jkern3@NOSPAM.visteon.com> writes:
> 
> > I see that the Mathworks is dropping support for automatically
> > generating Ada code from Simulink models.  Has anyone from this
> > group tried this product for developing control software and found
> > it to be less than useful?  There seems to be a big push in the
> > automotive industry for auto code generation of embedded
> > controllers.  Too bad that we seem to be stuck with C.
> 
> I don't see quite why it matters, if you trust the generator? The C is
> likely to be pretty readable (well, I guess I mean regularly
> structured). Unless you get to modify the generated code ..