SIGAda'98 Birds-of-a-Feather

Wednesday Evening, 11 November; 7:30-9:30 Joint BOF

Joint Safety & Security Working Group [SAFEWG] and
ASIS Working Group [ASISWG] BOF

               Mr. George Romanski, Chair SAFEWG
               Mr. Currie Colket, Chair ASISWG/ASISRG
               Dr. Bill Thomas, MITRE

A safety-critical / mission-critical application will be presented which is used to make India Pale Ale [Yes, safety-critical, and we will all agree, taste is very mission-critical]. Safety aspects will be discussed which lend themselves to ASIS code analysis.

• Introduction [Currie Colket]
• Description of Safety-Critical Concerns in Mission-Critical Applications (in particular, as it pertains to ISO/IEC PDTR 15942, Working Draft 3.6 - Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems) [George Romanski]
• Short Technical Overview of ASIS [Currie Colket]
• Description of Pale India Ale Mission-Critical Application [George Romanski]
• Use of ASIS to analyze code [Bill Thomas]
• Questions & Answers