Fifth International Workshop on Formal Methods for Industrial Critical Systems (original) (raw)

(with access to the individual contributions)

8:30h. - 9:30h.: Registration

Invited talk (chair: S. Gnesi):

Session 1: Applications (chair: S. Gnesi)

11:35h. - 12:00h.: Coffee break

Session 2: Verification (chair: D. Latella)

13:20h. - 14:30h.: Lunch

Session 3: Testing & Software development (chair: J. Tretmans)

14:30h.	Specificaton-based Testing of Synchronous Software L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon (LSR-IMAG St. Martin d'Heres, F)
15:00h.	Formalization and Testing of Reference Point Facets I. Schieferdecker, M. Li, A. Rennoch (GMD Fokus Berlin, D)
15:30h.	Towards a Mechanised Software Development Method B. Wu, L.M. Lai, D.R.W. Holton (Uni Bradford, UK)
15:50h.	Integrating formal methods into the development cycle of a safety-critical embedded software system P. Bertoli, A. Cimatti, P. Traverso (IRST Trento, I)
16:10h.	Session summary

16:20h. - 16:50h.: Coffee break

Session 4: MSC / SDL (chair: I. Schieferdecker)

18:10h.: End of 1st day

20:00h.: Workshop dinner

Invited talk (chair: H. Garavel):

Session 5: Modelling (chair: H. Garavel)

09:50h.	Modeling and Verifying a Temperature Control System using Hybrid Action System R.J. Back, C. Cerschi (TUCS Turku, FI)
10:20h.	Modelling and Analysing the Railroad Crossing in a Modular Way D. Beyer, C. Lewerentz, H. Rust (TU Cottbus, D)
10:40h.	A Formal Specification and Verification of a Safety Critical Control System S. Gnesi, D. Latella, G. Lenzini (CNR Pisa, I), C. Abbaneo, A. Amendola and P. Marmo (ASF Genova/Napoli, I)
11:00h.	Session summary

11:10h. - 11:40h.: Coffee break

Session 6: Case Studies (chair: U. Ultes-Nitsche)

13:10h. - 13:15h.:	Closing

13:15h. - 14:00h.: Lunch

14:00h. - 15:00h.: FMICS working group meeting

Last modified: Monday, 17-Apr-2000 16:40:00 MET DST, Axel Rennoch