| jpbowen@btinternet.com 2005-04-26, 8:59 am |
| Grand Challenge 6 Workshop on Dependable Systems Evolution
18 July 2005
A Workshop at the FM05 Formal Methods Conference,
Newcastle-upon-Tyne, UK, 18-22 July 2005,
organized by the GC6 Committee.
Website: http://www.fmnet.info/gc6/fm05
Organizers:
Jim Woodcock
Department of Computer Science
University of York
Heslington
York YO10 5DD
email: jim@cs.york.ac.uk
tel: 01904 434335
fax: 01227 726811
url: http://www-users.cs.york.ac.uk/~jim
Jonathan Bowen
Institute for Computing Research
London South Bank University
Faculty of BCIM, Borough Road
London SE1 0AA
email: jonathan.bowen@lsbu.ac.uk
tel: 020 7815 7462
fax: 020 7815 7793
url: http:/www.jpbowen.com
General Information
The UK Computing Research Committee has been discussing how best to
advance computing research; they held a workshop in Edinburgh in
November 2002, which produced seven proposals for grand challenges in
computer science. This workshop is part of a series that brings
together international researchers to discuss the sixth challenge on
Dependable Systems Evolution, which was inspired by the challenge of
the Verifying Compiler.
The long-term aim of the project is to produce a coherent software
engineering tool-set based on formal principles, to aid in the
development, deployment, and evolution of dependable systems; and to
submit the tools to convincing large-scale evaluation on a
heterogeneous range of challenge codes. The aim of this particular
workshop is to produce an authoritative account of the current state of
the art in strong software engineering tool-sets, and their application
to systems that have been deployed in practice.
We welcome submissions in the following areas:
Tools: descriptions of existing tools; capabilities and limitations;
comparisons with other tools; plans for extensions; integration of
tools.
Applications: experiences of strong software engineering; scalability;
application domains, including all areas of dependability and
evolution.
Position papers: theoretical issues, levels of assurance, suitable
exemplars, future technologies, annotated bibliographies, technical
problems and obstacles.
We plan to base a survey article on the accepted papers and workshop
discussion.
Submissions by 8 May 2005 would be helpful. Any reasonable format is
welcome, although PDF would be preferred.
|