|
|
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 |
Safecomp'97 Main Page
About the Conference
Advance Programme
(Papers |
Tutorials |
Exhibition)
Registration
Correspondence
Sponsors & organisation
Committees
York: the conference location