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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cec20777e0d41ea0 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-27 03:32:40 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.tele.dk!130.133.1.3!fu-berlin.de!uni-berlin.de!193.114.91.187!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Re: Increased Interest In Ada? Date: Tue, 27 Feb 2001 11:28:31 +0000 Organization: Praxis Critical Systems Message-ID: <3A9B8F5F.BD927CE@praxis-cs.co.uk> References: <3A82EFA2.C8756B09@acm.org> <970ma1$1l7$1@nh.pace.co.uk> <9719vr$8a2$1@nh.pace.co.uk> <3A94ED5E.4FF1E8EB@praxis-cs.co.uk> <9737md$rj2$1@nh.pace.co.uk> NNTP-Posting-Host: 193.114.91.187 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 983273313 26400165 193.114.91.187 (16 [69815]) X-Mailer: Mozilla 4.73 [en] (WinNT; U) X-Accept-Language: en Xref: supernews.google.com comp.lang.ada:5323 Date: 2001-02-27T11:28:31+00:00 List-Id: Marin David Condic wrote: > > That sounds interesting. I'm wondering what sort of students you present > this to and what are the learning objectives? Do you think they learn much > about the embedded aspects, or do they learn more about realtime > programming? > Our aim is to teach the design and static analysis aspects of SPARK. The low-level, real-time aspects of the project are not particularly important. The aim of the emulator is more to give students satisfaction: they write all this stuff, the SPARK Examiner tells them it is good but they didn't used to get to see it working. The emulator just gives that extra satisfaction. (Incidently, the first time the "model answer" had ever been compiled or run was when we tested the emulator - up to then it had only been analysed - it worked perfectly first time). > My concern is that such a simulation would be useful for developing the high > level algorithms for embedded, realtime controls, but probably won't do a > good job of teaching the low level aspects of embedded programming. At the > high level, embedded programming looks much like any other kind of > programming - albeit, within a specialized problem domain. What I'd like to > find is a good, inexpensive way of teaching the low level aspects - things > like accessing different kinds of memory, interfacing to I/O devices, > utilizing hardware interrupts, etc. as well as the higher level concepts of > device control. You just don't get much of a feel for real embedded > programming unless you've had to spend time fighting with a linker to get > things located at specific places, or struggling to get bootstrap code to > load your software across a comm link, or get into the "Broken > Software/Broken Hardware" debate. I think you are probably right, but for our particular purpose this was not an issue. [snip] Peter -- --------------------------------------------------------------------------- __ Peter Amey, Product Manager ) Praxis Critical Systems Ltd / 20, Manvers Street, Bath, BA1 1PX / 0 Tel: +44 (0)1225 466991 (_/ Fax: +44 (0)1225 469006 http://www.praxis-cs.co.uk/ --------------------------------------------------------------------------