Fourth International Workshop on Formal Methods for Industrial Critical Systems
Trento (Italy)
July 11-12 1999
SCOPE OF THE
WORKSHOP
The aim of the FMICS workshops is to provide a forum mainly intended for,
but not limited to, researchers of ERCIM
sites who are interested in the development and application of formal methods
in industry. In particular, these workshops should bring together scientists
that are active in the area of formal methods and interested in exchanging
their experiences in the industrial usage of these methods. They also aim
at the promotion of research and development for the improvement of formal
methods and tools for industrial applications.
The First
International Workshop on Formal Methods for Industrial Critical Systems
took place in Oxford on March 19, 1996, the
second
edition was held in Cesena on July 4-5, 1997, and the
third FMICS
workshop took place in Amsterdam on May 25-26, 1998.
A special issue (Vol.12 n. 2) of the International Journal on Formal
Methods in Systems Design, by Kluwer Academic Publishers, was dedicated
to FMICS1. A selection of the papers presented at FMICS2 and FMICS3
will appear in two special issues of Formal Aspects of
Computing, by Springer-Verlag.
The Fourth International Workshop on Formal Methods for Industrial Critical Systems will take place in Trento on July 11-12, 1999, as a satellite meeting
of FLoC'99.
INVITED SPEAKERS
-
J. Cuellar (SIEMENS, Munich, DE)
-
J. Tretmans (Univ. of Twente, Enschede, NL)
|
PROGRAMME COMMITTEE
-
J. Bicarregui (CLRC, Abington, UK)
-
H. Garavel (INRIA Rhone-Alpes, FR)
-
S. Gnesi (CNR/IEI, Pisa, IT), Chair
-
F. Giunchiglia (IRST, Trento, IT)
-
J.F. Groote (CWI, Amsterdam, NL)
-
J.P. Katoen (Univ. of Erlangen, DE)
-
R. Langerak (Univ. of Twente, Enschede, NL)
-
D. Latella (CNR/CNUCE, Pisa, IT), Chair
-
J. Parrow (SICS, Stocholm, SE)
-
A. Poigne (GMD, Bonn, DE)
-
I. Schieferdecker (GMD/FOKUS, Berlin, DE)
-
R. de Simone (INRIA Sophia Antipolis, FR)
|
ORGANISING COMMITTEE
-
A. Villafiorita (IRST Trento, IT - local organization)
-
D. Latella (CNR/CNUCE Pisa, IT)
-
S. Gnesi(CNR/IEI Pisa, IT)
|
PROGRAMME
Sunday 11th July, 1999
9:15h. - 10:00h.:
Invited talk
-
Verification of Security Protocols in Industry
Jorge Cuellar (Siemens)
10:00h. - 10:30h.:
Coffee break
10:30h. - 12:30h.:
- A Timed Verification of the IEEE 1394 Leader Election Protocol
Judi Romijn (CWI, Amsterdam)
- How muCRL supported a smart redesign of a real-life protocol
Thomas Arts (CSL, Ericsson Utvecklings AB, Stokolm) and Izak van Langevelde
(CWI, Amsterdam)
- PMC: A programming Language for Embedded Systems
Simon Mork, Ken Larsen, Henrik Reif Andersen (Dept. of Information
Techonology, Lyngby) and Peter Sestoft (Dept. of Mathematics and Phisics,
Copenhagen)
- Using Esterel and formal methods to increase the confidence in the
functional validation of a commercial DSP
L. Arditi, H. Boufaieed, M. Hadj-Chaib, G. Clave, (Texas Instruments,
Villeneuve-Loubel), A. Bouali, R. De Simone (INRIA, Sophia Antipolis)
12:30h. - 14:00h.:
Lunch
14:00h. - 15:30h.:
- A Modular Approach to Specify and Test an Electrical Flight Control System.
Marielle Doche, Christel Seguin and Virginie Wiels (ONERA-CERT/DTIM, Toulouse).
- Secure Decentralized Control of Railway Crossings
Werner Damm, Gert Doehmen and Jochen Klose (Oldenburg)
- Formal Specification and Validation of a Vital Communication
Protocol
A. Cimatti, P. L. Pieraccini, R. Sebastiani, P. Traverso and
A. Villafiorita (IRST, Trento)
15:30h. - 16:00h.:
Coffee break
16:00h. - 17:30h.:
-
"No Collision" in a Protocol with n Stations: a Comparative Study of Formal
Proofs
Agathe Merceron (Dept. of Computer Science, Sydney), Monika Muellerburg
(GMD-AiS, Sankt Augustin), Michele Pinna (Dip. Di Matematica, Siena)
-
Questions and Answer about ten formal Methods
A.J.Currie, A.P.Martin, P.Smith, M.Leuschel, M.J.Butler, P.H.Hartel,
R.J.Walters, U.Nitsche (Declarative Systems and Software Engineering
group, Southampton)
-
ASSO: A formal methodology of Conceptual Database Design
Elvira Locuratolo (IEI-CNR, Pisa), Brian Matthews (RAL, Didcot)
17:30h. - 18:30h.:
ERCIM-FMICS group meeting
19:30h. - 23:00h.:
Workshop dinner
Monday 12th July, 1999
9:15h. - 10:00h.:
Invited talk
-
Software engineering with formal methods: the development of a storm surge
barrier control system.
Jan Tretmans (Univ. of Twente), Klaas Wijbrans and Michel Chaudron (CMG Den
Haag BV).
10:00h. - 10:30h.:
Coffee break
10:30h. - 12:00h.:
-
Using Hybrid Automata to Support Human
Factors Analysis in Critical Systems,
Gavin Doherty, Mieke Massink and Giorgio Faconti (CNUCE-CNR, Pisa).
-
Modelling a real-time language
Thomas Hune (BRICS, Aarhus)
-
Digitization of Timed Automata
Dragan Bosnacki (Computing Science Dept., Eindhoven)
12:00h. - 13:00h.:
System demonstrations
13:00h. - 14:00h.:
Lunch and end of the workshop
Back to the ERCIM FMICS Home Page