Dear Team-Ada members,

What:      Twin-Cities SIGAda meeting
Date:       Tuesday, June 12, 2001
Time:       7:00pm - 9:00pm
Location:   Room 3-115, Electrical Engineering/Computer Science Bldg, 200
Union Street SE, University of Minnesota, 55455
Theme:      Reliability -- Techniques for Reliability
Topic:      Language Techniques for Reliable Software
Speaker:    Mark Glewwe


Today's computer programs are very large. We can no longer afford to
write unreliable software. Software must work reasonably in normal and
abnormal conditions; this is sometimes referred to as robustness. If
your software is reacting to real-world events, the software
should be prepared to handle:

     errors in data,
     unexpected behavior, and
     bad results.

In this meeting, Mark will discuss techniques to prepare software for
fault detection, isolation, recovery, and prevention.

About the Speaker:

Mark Glewwe has been writing real-time embedded software for more than
20 years. He is a graduate of UoM IT. He has worked at Sperry (aka
Lockheed Martin), Control Data (aka General Dynamics), and is currently
working for Goodrich Aerospace. Mark is the current publicity chair
for TCSIGAda and the SIGAda 2001 international conference.


Details, directions, and map:  see attachments or http://www.tcsigada.org

 The seminar is free and open toall; one would need to pay for parking
at the U (several dollars for the evening).
Please feel free to foward to your colleages as appropriate.

 ..Paul Stachour, 952-884-5977, [log in to unmask]



Twin Cities SIGAda presents:

Mark Glewwe
Language Techniques for Reliable Software

7:00 p.m., Tuesday, June 12, 2001
Room 3-115, Electrical Engineering/Computer Science Bldg
200 Union Street SE, University of Minnesota Minneapolis Campus

This meeting is Co-hosted by the Computer Sciences Department at
the University of Minnesota and TCSIGAda.


We need programs to be reliable.
We must design and code for faults.

We can no longer afford to write unreliable software.
Software must work reasonably in normal and abnormal conditions,
this is sometimes referred to as robustness.
If your software is reacting to real-world events,
the software should be prepared to handle:
  errors in data,
  unexpected behavior, and
  bad results.

Mark will discuss:
  techniques to improve reliability,
  techniques not necessarily limited to Ada, and
  examples in Ada to illustrate the techniques.

Mark will show techniques to prepare software for:
  Fault Detection,
  Fault Isolation,
  Fault Recovery, and
  Fault Prevention.


About the Speaker:

Mark Glewwe has been writing real-time embedded software for more than 20
years. He is a graduate of UoM IT.  He has worked at Sperry (aka Lockheed
Martin), Control Data (aka General Dynaics), and is currently working for
Goodrich Aerospace. Mark is the current pulicity chair for TCSIGAda and the
SIGAda 2001 international conference.


Directions: Check out these maps:
"http://onestop.umn.edu/Maps/EECSci/index.html"
or see more detail in the
"http://onestop.umn.edu/Maps/EECSci/EECSci-map.html">

Explicit Directions:
Going south on I-35W: Follow I-35W south to the University Avenue exit.
Take second left onto University Avenue. At Oak Street, turn right. At
Washington Avenue turn right. Drive two blocks to Harvard street and turn
right just past the Radison Hotel.
**Follow street around the Washington Avenue parking garage (two lefts) and
turn left into the Washington Avenue parking garage. Walk out the garage on
the west side (the side you just drove in) and the Electrical
Engineering/Computer Science building will be straight ahead.**

Going west on Highway 36: Take I-35W south to the University Avenue exit.
Take second left onto University Avenue. At Oak Street, turn right. At
Washington Avenue turn right. Drive two blocks and turn right just past the
Radison Hotel. See ** above.

Going north on I-35W: Follow I-35W north to the U of M east bank exit,17C.
Continue over the Washington Avenue Bridge. Continue on Washington to
Harvard Street and turn left. See ** above.

Going west on I-94: Take the Huron Boulevard exit and take a left onto
Washington Avenue. Continue on Washington to Harvard Street and turn right
just past the Radison Hotel. See ** above.

Going east on I-94: Follow I-94 east to I-35W north. Follow I-35W north to
the U of M east bank exit, 17C. Continue over the Washington Avenue Bridge.
Continue on Washington to Harvard Street and turn left. See ** above.

Going east on I-394: Follow I-94 east to I-35W north. Follow I-35W north to
the U of M east bank exit, 17C. Continue over the Washington Avenue Bridge.
Continue on Washington to Harvard Street and turn left. See ** above.

For information about TCACMSIGAda, call (952)-884-5977
or visit  www.tcsigada.org