THE SAFETY-CRITICAL SYSTEMS CLUB
Formal Aspects of Safety-Critical Systems
Arranged jointly with the BCS FACS group and FME
Tuesday 9 December, 2008 - Strand Palace Hotel, LondonFormal methods have long been advocated as techniques for defect avoidance in the development of safety-critical systems. They rely on the use of rigorously defined mathematical abstractions to permit precise modelling, analysis and verification of designs and code. Although they have been seen as expensive ‘high-end’ technology, advances in tool support, coupling of formal techniques with other methods such as static analysis, and technical advances in areas such as model checking have the potential to improve the cost-effectiveness of formal techniques.
This workshop brings together practitioners, researchers and developers of methods and tools from both the formal methods and safety-critical systems communities. Through invited presentations and contributed talks, it will help participants assess the state of the art in formal methods and their role in safety-critical systems development and certification.
This workshop brings together practitioners, researchers and developers of methods and tools from both the formal methods and safety-critical systems communities. Through invited presentations and contributed talks, it will help participants assess the state of the art in formal methods and their role in safety-critical systems development and certification.
Programme
09:00 Registration and Coffee
10:20 Introduction
10:30 Martyn Thomas (Invited speaker)
Thomas Associates, Bath
Assurance of sociotechnical systems
11:15 Mitesh Mistry and Massimo Felici
School of Informatics, University of Edinburgh
Implementation of Change Management in Safety Cases
11:50 Eduardo López Ruiz, ONERA, Toulouse, Yves Ledru, Laboratoire d’Informatique de Grenoble
and Michel Lemoine, ONERA, Toulouse
Extending the Use of Rigorous Methods within Aeronautics
12:25 Lunch
13:45 Club business
13:55 Neil Evans (Invited speaker), AWE, Aldermaston
FM: Putting it into (Systems Engineering) Practice
14:40 Tea
15:10 Rod Chapman (Invited speaker), Praxis High Integrity Systems, Bath
Experiences at Praxis with Formal Notations and Tools in a Safety Setting
15:55 Daniel Sheridan, Adelard LLP, London
Automated Proof with Caduceus: Recent Industrial Experience
16:30 Close
10:20 Introduction
10:30 Martyn Thomas (Invited speaker)
Thomas Associates, Bath
Assurance of sociotechnical systems
11:15 Mitesh Mistry and Massimo Felici
School of Informatics, University of Edinburgh
Implementation of Change Management in Safety Cases
11:50 Eduardo López Ruiz, ONERA, Toulouse, Yves Ledru, Laboratoire d’Informatique de Grenoble
and Michel Lemoine, ONERA, Toulouse
Extending the Use of Rigorous Methods within Aeronautics
12:25 Lunch
13:45 Club business
13:55 Neil Evans (Invited speaker), AWE, Aldermaston
FM: Putting it into (Systems Engineering) Practice
14:40 Tea
15:10 Rod Chapman (Invited speaker), Praxis High Integrity Systems, Bath
Experiences at Praxis with Formal Notations and Tools in a Safety Setting
15:55 Daniel Sheridan, Adelard LLP, London
Automated Proof with Caduceus: Recent Industrial Experience
16:30 Close
Registration
A Programme is available.
To download the registration form click here.
To download the registration form click here.
Cost
To members of the Safety-Critical Systems Club, the British Computer Society, and Formal Methods Europe the cost of this one-day event is £95, including lunch, refreshments and VAT. To non-members it is £125.
SCSC.UK uses anonymous session cookies please see Privacy policy
© SCSC 2024