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,da1a4cbdc6968929,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-31 00:55:33 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Newsgroups: comp.lang.ada
Subject: Ada article in CrossTalk Journal
Date: 31 Oct 2003 00:55:33 -0800
Organization: http://groups.google.com
Message-ID: <cf2c6063.0310310055.7ae482b9@posting.google.com>
NNTP-Posting-Host: 62.173.119.178
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1067590533 8159 127.0.0.1 (31 Oct 2003 08:55:33
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 31 Oct 2003 08:55:33 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:1865
Date: 2003-10-31T00:55:33-08:00
List-Id: <comp.lang.ada>

I'm sure c.l.a readers will find the latest issue of 
CrossTalk Journal of interest.  There are two very Ada-friendly
articles in there:

"The Ravenscar Profile for Real-Time and High Integrity Systems" by
  by Dobbing and Burns

"Software Static Code Analysis Lessons Learned"
  by Andy German of QinetiQ Boscombe Down.

The latter paper presents years of findings regarding the static
analysis of all sorts of aircraft systems.  Should be required
reading, especially if your current project name starts with
a "J" and ends with an "SF" :-)

You can find these at www.stsc.hill.af.mil

 - Rod Chapman, SPARK Team, Praxis Critical Systems