|
|
|
|
|---|
|
 |
 |
 |
 |
|---|---|---|---|---|
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 |
 |
|||