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) |
||||
Proceedings: Lecture Notes in Computer Science Proceedings: (Springer, Verlag) Proceedings: Contact: A. Washington |