SIGAda '98

Conference Program

                                                  Note:   All  Plenary Sessions are in the Palladian Room
                                                              Exhibits are in the Blue Room
                                                              Vendor Presentations are in the Garbo Room
                                                              Other Sessions are located as noted below

Tuesday, November 10
 
8:30 - 9:00am

Welcome and overview

9:00- 9:45am

Keynote Address:
"How Can We Trust Software-Based Safety-Critical Systems?"
George Romanski (Aonix)

9:45am - 2:00pm

Exhibition  (Vendor Presentations 10:00 - 11:00)

11:00am - 12:30pm Parallel tracks:
Room Assignments as noted

High-Integrity Software
Palladian

Chair: John McCormick, University of Northern Iowa

Language Issues I
Garbo

Chair: Shan Barkataki, California State University, Northridge

Distributed Systems
Executive

Chair: Alfred Strohmeier, Swiss Institute of Technology in Lausanne
The Ravenscar Tasking Profile for High-Integrity Real-Time Programs. Brian Dobbing (Aonix)

Looking into Safety with the High-Integrity Rapporteur Group (HRG). Stephen Michell (Maurya Software), Mark Saaltink (ORA Canada), and Brian Wichmann (National Physical Laboratories, UK)

An ASIS-Based Static Analysis Tool for High-Integrity Systems. William Pritchett and John Riley (DCS Corporation)

Hardware/Software Co-design: VHDL and Ada 95 Code Migration and Integrated Analysis. Mike Mills and Greg Peterson (US Air Force Research Lab)

Kernel Ada to Unify Hardware and Software Design. Gertrude Levine (Fairleigh Dickinson University, NJ) and Sy Wong (Adaware)

The Rendezvous is Dead -- Long Live the Protected Object. Dragan Macos and Frank Mueller (Humboldt University, Berlin)

A Dataflow Model Using Protected Types in a Distributed System. Scott James, MCCI

Implementing Shared Passive Packages using Multicast Technology, Samuel Tardieu and Laurent Pautet (Ecole Normale Superieure des Telecommunications)

Multi-u: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. L. M. Pinho (Polytechnic Institute of Porto), and F. Vasques (University of Porto, Portugal)

 
12:30 - 2:00pm

Lunch

2:00- 2:15pm

SIGAda Awards and Announcements

2:15 - 3:00pm

Invited Address:

"Ada Is Alive and Well in Air Traffic Management" 
Judith Klein (Lockheed-Martin)
3:00 - 4:00pm

Exhibition (Vendor Presentations 3:00 - 4:00)

4:00 - 5:30pm

Opening Panel:  "Ada after the 'Mandate'" 
Moderator: Hal Hart (TRW)
Panelists: Dennis Frailey (Raytheon),  Richard Riehle (AdaWorks), Tucker Taft (Intermetrics/ARA)

6:30 - 9:30pm Reception and Gala- Regency Ballroom
Sponsored by Ada Core Technologies

Wednesday, November 11

8:45 - 9:00am

Announcements

9:00 - 9:45am

Keynote Address:  "Why Don't Those Dunderheads Agree with Us? " 
Dennis Frailey (Raytheon and Southern Methodist University)

9:45am - 2:00pm

Exhibition  (Vendor Presentations 10:00 - 11:00)

11:00am - 12:30pm Parallel tracks:

University Education
Executive

Chair: Michael Hind (SIGPLAN) - SUNY at New Paltz and IBM Research

Reuse
Palladian

Chair: John Beidler, University of Scranton

Ada in Scientific Applications
Garbo

Chair: Ed Lamie (SIGBIO) - Massachusetts Board of Higher Education

Experience Reports I
Congressional

Chair: Debbie Cerino, Rome Labs
Using Ada in Non-CS Majors. A.T. Chamillard, Ronald J. Lisowski, and Richard R. Young. (US Air Force Academy)

A Controlled Study of Web-based Algorithm Animation Courseware in an Ada Data Structures Course. Duane Jarc (The George Washington University, DC)

An Outcome-Based Comparison of Ada and Pascal in an Introductory Computer Science Course. Jeanne L. Murtagh (Air Force Institiute of Technology) and John A. Hamilton, Jr. (United States Military Academy)
 
 
 
 
 

 

A Reusable Lightweight Executive for Command and Control Systems. Nathan Fleener, Laura Moody, and Mary Stewart (Boeing Company)

Patterns, Architecture, and Reuse. Joe Tallet and Ken Ray (Harris Information Systems Division)

Reusable Ada Libraries Supporting Infinite Data Structures. Arthur G. Duncan (Rensselaer Polytechnic Institute, NY)
 
 
 
 
 

 

Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95. John Reisner, Zeenat Lainwala, Tom Peters, Steven Demurjian, Sr. (University of Connecticut)

Ada in Embedded Boards for Scientific and Medical Instruments.Robert C. Leif and Suzanne B. Leif (Ada_Med)

A Large Distributed Control System Using Ada in Fusion Research. (John P. Woodruff (Lawrence Livermore National Laboratory)
 
 
 
 
 

 

Ada in an On-board Military Communication System. Victor Albertini (L-3 Communications Systems West)

Ada 95 in Radar Simulation. James Hopper (SAIC)

Ada in the JAS 39 Gripen Flight Control System. Bo Frisberg (SAAB)

Reengineering a Legacy System Using Design Patterns and Ada 95 Object-Oriented Features. Shan Barkataki  (California State Univ. at Northridge) and Stu Harte (Litton Data Systems)
 
 
 
 
 

 

 
12:30 - 2:00pm

Lunch

2:00- 2:15pm

Announcements

2:15 - 3:00pm

Invited Address:  "The 'Real Ada' in Context Works" 
Betty Alexandra Toole

3:00 - 4:00pm

Exhibition (Vendor Presentations 3:00 - 4:00)

4:00 - 5:30pm Parallel tracks:

Development Tools
Executive

Chair: Melinda Moran, U.S. Navy

The Ada-Java Connection
Palladian

Chair: Norman Cohen, IBM T.J. WatsonResearch Center

Experience Reports II
Congressional

Chair: Currie Colket, Independent Consultant
Visual Support for Incremental Abstraction and Refinement in Ada 95. T. Dean Hendrix, James H. Cross II, Larry A. Barowski, and Karl S. Mathias (Auburn University, Alabama)

RAPID: Towards a Visual Ada. Martin C. Carlisle (US Air Force Academy)

An Application Engineering Workbench for Tailoring Ada Flight Components.Ross H. Wainwright (Space Sensing And Vehicle Control Branch, Air Force Research Laboratory)

A Comparison of the Concurrency Features of Ada and Java.
Benjamin M. Brosgol (Aonix)

Using Java APIs with Native Ada Compilers. Shayne Flint (Australian National University)

A Portable Implementation of the Distributed Systems Annex in Java. Yoav Tzruya, Mordecai Ben-Ari (Weizmann Institute of Science, Israel)

Command and Control on the World Wide Web. Patricia Dousette (Litton Data Systems)

A Layer 7 Routing Switch with Ada95 Software. Mike Kamrad (BlazeNet)

Algorithm Animation with Symbol Processing Robots. Bard Crawford (Stage Harbor Software)

The Personal Software Process (PSP)sm and Ada. David Silberberg (US Dept. of Defense)

 
5:30 - 7:00pm

Ada Public Forum - Palladian

Sponsored by Aonix
7:00 - 11:00pm Birds-of-a-Feather and Working Group Meetings - as posted

Thursday, November 12

8:45 - 9:00am

Announcements

9:00 - 9:45am

Keynote Address:

"Embedding Ada in the 21st Century." 
Franco Gasperoni (ENST and Ada Core Technologies)
9:45am - 2:00pm

Exhibition  (Vendor Presentations 10:00 - 11:00)

11:00am - 12:30pm Parallel tracks:

Language Issues II
Garbo

Chair: Maretta Holden, Boeing

Testing and Analysis
Palladian

Chair: Ed Schoenberg, ACT and NYU

Workshop Reports
Executive

Chair: Alok Srivastava, TRW
Converting Ada 83 Serving Tasks to Ada 95 Protected Objects. Bangqing Li and Baowen Xu (Southeast University, China) and Huiming Yu (North Carolina A&T University)

Extensible Protected Types in Ada-EPT. O.P. Kiddle and A.J. Wellings (University of York, UK)

Ada 95 Language Issues. Stephen H. Kaisler (U.S. Senate and The George Washington University)
 

Testing Generic Ada Packages with APE. Daniel Hoffman and Jayakrishnan Nair (University of Victoria, Canada) and Paul Strooper, (The University of Queensland, Australia)

Dependency Analysis of Ada Programs. Janusz Laski, (Oakland University, Michigan)

A Specification and Code Generation Tool for Message Translation and Validation. Chuck Plinta (Accel Software Engineering)

(The Coordinators of each of the workshops held Sunday or Monday will present a summary of the results of the workshop.   A detailed report will appear in Ada Letters)
 
12:30 - 2:00pm

Lunch

2:00- 2:15pm

Announcements

2:15 - 3:00pm

Invited Address:
"Boeing's Open System Architecture and Ada - A Program Perspective"
Kevin Wooley (Boeing Company)

3:00 - 4:30pm

Closing Panel:  "Continuing the Ada Standard. "
Moderator: Ben Brosgol (Aonix)
Panelists: Tucker Taft (Averstar/ARA), Joyce Tokar (DDC-I/ANSI), Curtis Royster (DISA)

[Top of Page]

Last updated October 31, 1998