Lady AdaGo to ...[Main Page] [Documents] [What's new] [Feedback]

Ada-Europe'96 Conference

Invited Speeches


Invited speakers will discuss the state of the art and what the future will offer in the area of reliable software development for real-time systems, distributed systems, and Internet applications.

Those selected presentations will feature the four following talks.



Invited Speeches at a Glance

To be completed
Monday
June 10
Tuesday
June 11
Wednesday
June 12
Thursday
June 13
Friday
June 14
Morning
Norman F. Schneidewind
Risk and Reliability Analysis for Safety Critical Software
André Schiper
Fault-Tolerance by Replication in Distributed Systems
Alan Burns
Ada 95: An Effective Concurrent Programming Language


Afternoon
Evening S. Tucker Taft
Programming the Internet in Ada 95



Short Announcements

Programming the Internet in Ada 95 ( Monday 10 June, 18:15 - 19:15 )
S. Tucker Taft, Intermetrics chief scientist and lead designer of Ada 95
The Internet and the World Wide Web is considered as one of the nineties' major shift in the computer industry. S. Tucker Taft will present Sun's Java programming language and discuss how the full power of Ada 95 can benefit the Internet by programming Java(tm)-compatible programs in Ada 95 and assuring efficient and secure transmission over the Internet.

Risk and Reliability Analysis for Safety Critical Software ( Tuesday 11 June, 8:30 - 9:30 )
Norman F. Schneidewind,Professor of Information Sciences, Naval Postgraduate School, Monterey
It is feasible to predict the software reliability and increase management's confidence in the reliability of safety critical software such as the NASA Space Shuttle Primary Avionics Software System. These objective were achieved with our novel approach of integrating software safety criteria, risk analysis, reliability prediction, and a stopping rule for testing. This approach is applicable to other safety critical software. We encourage practitioners to apply this approach.

Fault-Tolerance by Replication in Distributed Systems ( Wednesday 12 June, 8:30 - 9:30 )
André Schiper, Professor of Computer Science at the Swiss Federal Institute of Technology
Reliable software technology considers it unacceptable when services become unavailable because of failures. A. Schiper's talk will concentrate on the techniques that have been developed to implement software-based replicated services.

Ada 95: An Effective Concurrent Programming Language ( Thursday 13 June, 8:30 - 9:30 )
Alan Burns, Professor of Real-Time Systems in the Department of Computer Science, University of York, U.K.
Through a discussion of three case studies, this presentation shows how the language abstractions supported by Ada can be combined to build effective higher-level abstractions. The three examples concern a concurrency problem, a fault tolerance requirement and a scheduling issue.




Your comments/suggestions to the maintainer.