SAFE COMP'97

Advance
Programme


Safecomp'97 at a glance

Sunday 7th Monday 8th Tuesday 9th Wednesday 10th
AM 1   Registration
Welcome
Invited presentation
Invited presentation
EWICS TC7 Session
Formal methods and models 2
Testing, validation and verification
AM 2   Safe software Guidelines, standards and certification
Closing address and Handover to Safecomp'98 chairs
PM 1 Tutorials Safety cases, management and development Formal methods and models 1  
PM 2 Security and human factors
Panel: The use of PCs in SRS
Applications and industrial experience  
Evening   Evening reception in the Guildhall, York Conference banquet at the National Railway Museum  

Full Programme

Sunday 7 September 1997

Four tutorials are currently scheduled for the afternoon of Sunday 7 September. More details on tutorials are available.

Monday 8 September 1997

8.00Registration
9.00Welcome
9.15Invited presentation
10.15Coffee
10.45Safe software
Software-based safety critical system: a taxonomy -- H. Papini, F. Simon
Safety assessment of software based systems -- G. Dahll
Safe and reliable computer control systems: a survey -- H. Thane
Towards dependable software requirements specification -- S. Scheer, T. Maier
12.45Lunch
14.15Safety cases, management and development
Safety case construction and reuse using patterns -- T. Kelly and J. McDermid
A systematic approach to softeare integrity levels -- P. Lindsay and J. McDermid
Integration of safety requirements in the initial phases of the project lifecycle of hardware software systems -- M. Wilikens, M. Masera, D. Vallero
15.45Coffee
16.15Security and human factors
Safety and security for and advanced train control system -- J. Braband
Cryptographic protocols over open distributed systems: a taxonomy of flaws and related protocol analysis tools -- S. Gritzalis and D. Spinellis
Using executable interactor specifications to explore the impact of operator interaction errors -- A. Dearden and M. Harrison
17.45Panel session: The use of PCs in Safety related systems (D. Inverso, S. Anderson,R. Bloomfield)
18.15Close
Evening reception in the Guildhall, York

Tuesday 9 September 1997

9.00Invited presentation
10.00EWICS TC7 Session
10.40Coffee
11.00Guidelines, standards and certification
High integrity Ada -- B. Wichmann
Towards an automotive safer subset of C -- P. Edwards, R. Rivett, G. McCall
Computer based support for standards and processes in safety critical systems -- S. Wilson, J. McDermid, P. Kirkham, C. Pygott, D. Tombs
An assessment of the IEC 1131-3 standard on languages for programmable controllers -- K. Tourlas
13.00Lunch
14.30Formal methods and models 1
Refinement and safety analysis -- K. Lano
Automated verification of safety requirements using CCS and binary decision diagrams R. Lichtenecher and K. Gotthard
15.45Coffee
16.15Applications and industrial experience
Embedded systems in avionics and the SACRES approach -- P. Baufreton, X. Mehaut and E. Rutten
Towards safer industrial computer controlled systems -- P. Croll, C. Chambers, M. Bowell and P. Chung
Safety Cases for software intensive systems: an industrial experience report -- S. Barker, I. Kendall, A. Darlison
17.45Close
Conference banquet at the National Railway Museum, York

Wednesday 10 September 1997

9.00 Formal methods and models 2
Consistency verification by type inference and constraint satisfaction -- Y. Lebbah
Safe combination of services using B -- B. Mermet and D. Mery
An object-based approach to modelling and analysis of failure properties -- M. Cepin, R. de Lemos, B. Mavko, S. Riddle and A. Saeed
10.30Coffee
11.00Testing, validation and verification
Dynamic decision making on checkpointing by use of reduced ordered binary decision diagrams(ROBDDs) -- F. Saglietti
Practical assessment of neural network applications -- I. Nabney, M. Paven, R. Eldridge, C. Lee
Software test techniques for system fault tree analysis -- J. Knight and L. Nakano
12.45Closing address by Safecomp'97 chairs and Handover to Safecomp'98 chairs
13.15Lunch

Exhibition

Products and services related to the themes of conference will be exhibited throughout the conference. Organisations or individuals wishing to have space at the exhibition or display space for a poster should contact the SafeComp'97 Exhibitions Chair, Darren Buttle (email: dlb@cs.york.ac.uk ), or look at the Exhibitions page.

Contact address for all matters relating to the conference is

Ginny Wilson
SAFECOMP'97
Department of Computer Science
University of York
York, Y01 5DD, UK
Tel: + 44 1904 432782
Fax: + 44 1904 432708
Email: safecomp-97@cs.york.ac.uk


Safecomp'97 Main Page About the Conference Advance Programme (Papers | Tutorials | Exhibition) Registration Correspondence Sponsors & organisation Committees York: the conference location

Last Updated: [97/07/28 17:30:55 bob]