|Go to ...[Main Page] [Documents] [What's new] [Feedback]|
Those selected presentations will feature the four following talks.
To be completed
|Morning||Norman F. Schneidewind
Risk and Reliability Analysis for Safety Critical Software
Fault-Tolerance by Replication in Distributed Systems
Ada 95: An Effective Concurrent Programming Language
|Evening||S. Tucker Taft
Programming the Internet in Ada 95
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 -
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.