about scope contact schedule sponsors location comitee organization

Monday 5th October

09.15 - 09.30
Welcome W.Ehrenberger
09.30 - 10.15 Invited presentation (Chair: R. Lauber)
The European Dependability Initiative in the IST-Programme
- A. Servida, Commission of the European Communities, Brussels
10.15 - 10.30 The Link Project - I.C. Smith
10.30 - 11.00 Coffee
11.00 - 12.30 Formal Methods I - Analysis and Specification
(Chair: R. Bloomfield)
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis - K. Hollingworth and A. Saeed
An Agenda for Specifying Software Components with Complex Data Models
- K. Winter, T. Santen, M. Heisel and W. Grieskamp
Safety in Production Cell Components: An Approach Combining Formal Real-Time Specifications and Patterns
- H. Rust
12.30 - 13.30 Lunch
13.30 - 15.00 Management and Human Factors (Chair: U. Voges)
Safety Properties Ensured by the Oasis Model for Safety Critical Real-Time Systems
- V. David, J. Delcoigne, E. Leret, A. Ourghanlian, P. Hilsenkopf and P. Paris
Controlling your Design through your Software Process
- N. Martín-Vivaldi and P. Isacsson
Operator Errors and Their Causes
- T. Grams
15.00 - 15.30 Coffee
15.30 - 17.00 Security (Chair: P. Daniel)
A Performance Comparison of Group Security Mechanisms
- A. Hutchison and M. Wallbaum
Towards Secure Downloadable Executable Content: The Java Paradigm
- J. Iliadis, S. Gritzalis and V. Oikonomou
Model and Implementation of a Secure SW-Development Process for Mission Critical Software
- F. Dafelmair
17.00 - 17.45 Discussion (Chair: P. Daniel)
Considerations on the Use of Microprocessors in Safety-related Systems by the German Chemical Industry
(NAMUR)
back to top

Proceedings: Lecture Notes in Computer Science
Proceedings: (Springer, Verlag)
Proceedings: Contact: A. Washington
Springer Verlag