Programme
The workshop programme is now available.
Proceedings
The workshop proceedings are now available as a Technical Report.
Motivation and Theme
The growing complexity of modern software systems increases the difficulty of ensuring the overall dependability of software-intensive systems. The complexity of environments in which systems operate, high dependability requirements that they have to meet, the versatility of functions they need to provide and a variety of characteristics they need to have (including adaptivity, mobility and pervasiveness), as well as the complexity of infrastructures on which they rely make system design a true engineering challenge.
As a result, systems like these have intricate architecture and require sophisticated coordination and management activities for their execution. These trends are set to continue or even grow as computer systems become ever more intimately connected with their users.
Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. This is exactly what formal design methods do. Coping with complexity also requires architectures that are tolerant of faults and unpredictable changes in environment. This issue can be addressed by fault tolerant design techniques. System development methods must be rigorous, explicitly model fault tolerance through all development phases, support the construction of appropriate abstractions and provide techniques for their structured refinement and decomposition.
The aim of this workshop is to bring together researchers from the Fault Tolerance, Formal Methods and Tool Development communities and to discuss recent research results and practical experience in designing fault tolerant applications.
This workshop is organised by the partners of FP6 IST RODIN (Rigorous Open Development Environment for Complex Systems), who are aiming to build a network of researchers from a wider community to promote integration of the dependability and formal methods fields.
Workshop Scope
Contributions are solicited in all areas related to rigorous development of fault tolerant software systems. The scope of this workshop encompasses but is not limited to:
- Verification and refinement of fault tolerant systems
- Integrated approaches to developing fault tolerant systems (including integration of different formalisms as well as formal strengthening of informal notations)
- Formal foundations for error detection, error recovery, exception and fault handling
- Abstractions, styles and patterns for rigorous development of fault tolerance
- Development and application of tools supporting rigorous design of dependable systems
- Integrated platforms for developing dependable systems
- Rigorous approaches to specification and design of fault tolerance in novel computer systems
- Case studies demonstrating rigorous development of fault tolerant systems
All accepted papers will be included in a workshop proceedings printed as the technical report at University of Newcastle upon Tyne (UK). We are planning to publish a set of papers based on selected workshop submissions as post-proceedings in Springer.