[Up] [SIGAda] [ACM]

ASIS at SIGAda'98

SIGAda'98, held 8-13 November 1998, in Washington DC, had a number of ASIS activities, including a workshop on ASIS, a workshop on commercializing Ada, High Integrity Track presentations, workshop reports, a tutorial, and a BOF (Birds-of-a-Feather).

A joint ASISWG and Safety and Security Working Group (SAFEWG) BOF was held, discussing the safety-critical and very mission-critical application of making India Pale Ale. India Pale Ale has more hops and more alcohol than traditional Ale to serve as a preservative for the long trip to India. Yes, a great tasting Ale is very mission-critical and the process is very safety-critical. Yes, ASIS can be used to make a great tasting Ale.

Sunday, 8 November 1998; ASIS Workshop

An ASIS Workshop at SIGAda'98 was held to address "Where do we go from here?" now that ASIS will soon be an international standard. Currie Colket, chair of ASISWG/ASISRG, identified a number of issues to guide the ASIS Workshop.

The report on the workshop results (available as a Word document, 250 KBytes) was presented on Thursday morning and published in Ada Letters: "Workshop Report: ASIS - Where Do We Go From Here? 6-10 PM, Sunday, 8 November 1998, SIGAda'98, Washington, D.C.", Ada Letters, Volume XIX, No. 1, March 1999, pp. 42-47.

Dr. Robert Leif also made a presentation: "Software Measurement for Science and Profit". It is also available in Rich Text Format (RTF) and Portable Document Format (PDF).

Monday, 9 November 1998; Workshop on Commercializing Ada: "Equitable Software"

This workshop was led by Dr. Robert Leif.

Monday, 9 November; Half Day Tutorial

Building Development Tools: ASIS and Other GNAT Technologies

Sergey I. Rybin, Moscow State University
Cyrille Comar, ACT

Building Development Tools: ASIS and Other GNAT Technologies is the tutorial given by Sergey and Cyrille.

This tutorial explains how you can build your development and analysis tools when working with GNAT. Some sample tools were presented to demonstrate different approaches to tool development. Participants should have a good understanding of Ada semantics, and basic experience in programming with GNAT is helpful, but not required.

The tutorial consists of two parts. In the first part (presented by Cyrille Comar) the general approach for developing tools for the GNAT Ada 95 compilation system is discussed. In the second part (presented by Sergey Rybin) ASIS is presented as an effective technology for building the wide range of useful tools.

The first part starts from the general overview of GNAT, including the compiler's internal data structures and existing GNAT toolset. Then different technologies for building tools for GNAT are compared to give some ideas which technology should be used for a specific tool. ASIS is positioned as a technology which provides a proper (that is, standardized, stable and high-level) interface to the compiler's internals and allows you to build both free and proprietary tools for GNAT.

The second part is an introductory ASIS (sub)tutorial, and its main goal is to help the audience to get started with writing their own ASIS tools. It starts from the general definition of ASIS, examples of ASIS-based code fragments and tools which can be built on top of ASIS. The main ASIS abstractions, such as Context, Compilation Unit and Element, are described.

Then the tour guide through the ASIS specification is presented. The goal of this tour is to show what and where things are defined in ASIS, and how to navigate in the ASIS specification.

A short overview of the ASIS implementation for GNAT is next.

And then some practical aspects of ASIS-based tool development are discussed in order to show that ASIS really is easy-to-use and easy-to-start and give the audience some hints and tips on how to build your own ASIS tool. This part contains the basic cycle of an ASIS application, specific and general traversing of Ada programs by means of ASIS queries, dealing with lists of Elements and Compilation Units, the idea of ASIS secondary layers, the notion of consistency in an ASIS Context and dealing with ASIS implementation-specific features in ASIS applications.

Tuesday, 10 November; High Integrity Software Track: Presentations Relating to ASIS

On Tuesday, 10 November 1998, in the High Integrity Software track of the SIGAda'98 Program, there were 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 Evening, 11 November; 7:30-9:30 Joint BOF

There was a joint SAFEWG/ASISWG BOF (using ASIS to analyze the safety-critically of brewing Pale India Ale using Ada95) on Wednesday evening.

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 was presented which is used to make India Pale Ale [Yes, safety-critical, and we will all agree, taste is very mission-critical]. Safety aspects were discussed which lend themselves to ASIS code analysis.

Special thanks to George Romanski for the free samples of his home-made India Pale Ale.

Thursday, 12 November; ASIS Workshop Report

On Thursday, 12 November 1998, the ASIS Workshop Report (available as a Word document, 250 KBytes) was presented in the session for Workshop Reports.
[Up] [SIGAda] [ACM]

Last update 14 October 1999. Questions, comments to Clyde Roby (CRoby@IDA.Org)