[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Safety and formal methods
- To: <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <logic@CS.Stanford.EDU>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>, <firstname.lastname@example.org>, <email@example.com>
- Subject: Safety and formal methods
- From: "Robin Bloomfield" <firstname.lastname@example.org>
- Date: Fri, 13 Nov 1998 15:28:22 -0000
- Reply-To: "Robin Bloomfield" <email@example.com>
At the world congress on formal methods, FM'99 (see
http://www.cert.fr/fm99/cadres159.htm) there will be a minitrack on safety
organized by the EWICS Formal Methods Group, FME and ENCRESS.
We invite papers on formal methods and their relationship either to specific
parts of the safety lifecycle or to broader issues (e.g. safety cases, cost
modelling). Formal methods can be applied throughout the safety lifecycle.
The following gives an indication of possible topics:
safety requirements -- use of hybrid models, semantics of safety
analysis techniques, model building and checking
architecture -- model of failure modes and redundancy, fault tolerant
algorithms, modelling of failures
specification --use of specification languages, code generation from
design -- adding assurance to domain specific languages
code verification and development -- verification using proof,
relationship of proof to testing
validation -- use of oracles
maintenance -- impact analysis and regeneration of evidence,
reengineering of legacy code
We intend to balance the programme with papers on specific advances in
these topics, industrial applications, survey or review papers and shorter
reports of work in progress or of user needs that would form the basis for
short 7min presentations.
Just after FM99 is Safecomp99 (see http://www.laas.fr/safecomp) an
established annual conference on all issues associated with the use of
computers in safety applications. The proceedings of Safecomp 99 will also
be published by Springer in the LNCS series. Please indicate whether you
would like your paper to be considered for Safecomp as well as the
Not only will accepted papers be part of the LNCS FM99 or Safecomp
proceedings but selected papers will be published in the Reliability and
System Safety Journal by Elsevier. Deadlines for submission to this
minitrack are January 31st 1999 - note the slightly earlier date to
co-ordinate with Safecomp.
Please visit http://www.adelard.co.uk/ewics/fm99/fm99_call.htm for
submission and other details.
The usual apologies if you receive this message more than once.
on behalf of:
Stuart Anderson, Robin Bloomfield, Tim Clement, Dan Craigen, John
Fitzgerald, Janusz Gorski, Marrita Heisel, Karama Kanoun, Alberto Pasquini,
Gerd Rabe; Francesca Saglietti, Markus Ullmann, Udo Voges, Marc Wilikens,
Adelard email: firstname.lastname@example.org
3 Coborn Rd.. tel: +44-181-983-0217
London E3 2DA fax: +44-181-983-1845