Safety and Security Working Group
This is a new WG that addresses the spectrum of high-reliability software-development
issues and Ada's specific approaches for solving them.
There are a number of SAFEWG activities at the upcoming SIGAda'98
Conference this November from 7-12 November 1998 in Washington D.C. Some
of these are:
-
Tuesday, 10 November 1998, High Integrity Software track of the SIGAda'98
Program includes presentations related to ASIS, especially
An ASIS-Based Static Analysis Tool for High-Integrity Systems
by William Pritchett and John Riley of DCS Corporation and Looking
Into Safety with the High Integrity Rapporteur Group (HRG) by Stephen
Michell from Maurya Software, Mark Saaltink of ORA Canada, and Brian Wichmann
of National Physical Laboratories, UK.
-
Wednesday, 11 November 1998, 7:30 PM, joint SAFEWG/ASISWG
BOF (using ASIS to analyze the safety-critically of brewing Pale India
Ale using Ada95).
For additional information contact:
George Romanski
Director, Safety Critical Software
200 Wheeler Road
Burlington, MA 01803
TEL: (781) 221-7347
FAX: (781) 270-6882
Email: romanski@aonix.com