>From bob Mon Jul 28 17:01 BST 1997
From: Bob Fields <[log in to unmask]>
To: [log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask],
[log in to unmask], [log in to unmask], [log in to unmask],
[log in to unmask],[log in to unmask],[log in to unmask]
Subject: Safecomp'97 Call for Participation
Content-Type: text
Content-Length: 6838
[ Apologies for the inevitable multiple copies.
The early registration deadling for SAFECOMP'97 is almost upon us. ]
----------------------------------------------------------------------
Advance Programme and Call for Participation
SAFECOMP'97
-----------
The 16th International Conference on
Computer Safety, Reliability and Security
http://www.cs.york.ac.uk/safecomp-97
University of York, UK
September 8th-10th, 1997
Sponsored by
European Workshop on Industrial Computer Systems Technical Committee 7
(EWICS TC 7)
The SAFECOMP conference reviews the state of the art, experiences and
new trends in the areas of computer safety, reliability and
security. The conference focuses on critical computer applications and
forms a platform for technology transfer between academia, industry
and research institutions. In 1997, the 16th SAFECOMP conference will
be held at the University of York, located in the medieval city of
York.
Advance Programme
-----------------
Sunday 7 September 1997
Four tutorials are currently scheduled for the afternoon of Sunday 7
September:
Tutorial 1: Requirements specification
Tutorial 2: Computer Systems Security
Tutorial 3: Management of Safety Critical Systems
Tutorial 4: The IEC 1508 Standard
More details on tutorials are available or request or from the WWW
site.
Monday 8 September 1997
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 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 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.
Tuesday 9 September 1997
9.00
Invited presentation
10.00
EWICS TC7 Session
10.40
Coffee
11.00
Guidelines, standards and certification
High integrity Ada -- B. Wichman
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
Refinement and safety analysis -- K. Lano
Automated verification of safety requiremetns using CCS and
binary decision diagrams R. Lichtenecher and K. Gotthard
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
15.45
Coffee
16.15
Formal methods and models - continued
17.45 Close
Conference banquet at the National Railway Museum, York.
Wednesday 10 September 1997
9.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
10.30 Coffee
11.00 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
12.45
Closing address by Safecomp'97 chairs and Handover to
Safecomp'98 chairs
13.15 Lunch
Registration and Accommodation Bees
-----------------------------------
The fees for registration (in pounds sterling) are
295 before August 8
350 thereafter
175 for students and speakers.
A number of types of accommodation are available on the University of
York campus, at the following prices (in pounds sterling).
single, ensuite 31
single, standard 22
twin, ensuite 52.80
twin, standard 44
All types of accommodation are available for the nights of the
conference (7, 8, 9 September). Only a limited number of rooms will be
available on the Saturday (6th) and Wednesday (10th), and they will be
allocated on a first-come-first served basis.
We can also provide, on request, details of hotels in the city of York.
Tutorials fees are 225 pounds for registrations before 8 August, and
275 pounds thereafter. The four tutorials all run concurrently, so
it's only possible to attend at most one.
Exhibitions
-----------
Exhibition space is available for hire by organisations wishing to
display products, tools, services books, and so on. Please contact
our Exhinitions Chair, Darrent Buttle ([log in to unmask]), for more
information about prices and availability.
Contact Details
---------------
For more information about the conference, and registration details
visit our world wide web site at:
http://www.cs.york.ac.uk/safecomp-97
or contact:
Ginny Wilson
SAFECOMP'97
Department of Computer Science Tel: + 44 1904 432782
University of York Fax: + 44 1904 432708
York, Y01 5DD, UK Email: [log in to unmask]
-----------------------------------------------------------------------
|
