Advance |
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 |
8.00 | Registration |
9.00 | Welcome |
9.15 | Invited presentation |
10.15 | Coffee |
10.45 | Safe 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.45 | Lunch |
14.15 | Safety 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.45 | Coffee |
16.15 | Security 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.45 | Panel session: The use of PCs in Safety related systems (D. Inverso, S. Anderson,R. Bloomfield) |
18.15 | Close |
Evening reception in the Guildhall, York |
9.00 | Invited presentation |
10.00 | EWICS TC7 Session |
10.40 | Coffee |
11.00 | Guidelines, 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.00 | Lunch |
14.30 | Formal 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.45 | Coffee |
16.15 | Applications 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.45 | Close |
Conference banquet at the National Railway Museum, York |
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.30 | Coffee |
11.00 | Testing, 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.45 | Closing address by Safecomp'97 chairs and Handover to Safecomp'98 chairs |
13.15 | Lunch |
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 |