The Safety-Critical Systems Club returns to Bristol for its eighteenth annual symposium. As usual, the event will feature topical presentations by leading practitioners in the field, and will be of interest to all who work in the development of safety-critical systems, or in related fields.
The first day of the symposium is devoted to a tutorial, led this year by Dr John Rushby, Program Director for Formal Methods and Dependable Systems at the Computer Science Laboratory of SRI International in California. Dr Rushby’s tutorial will focus on modern developments in formal methods and automated verification and their application to safety assurance in both standards-driven and argument-based safety cases.
Days two and three will feature papers presented by their authors, all of which will be published by Springer in book form, available to delegates on arrival.
Also on day two there will be an exhibition by leading vendors (e.g. of tools and training for safety-critical systems development), followed by a banquet in the evening.
Risknowlogy offers a TUV certified functional safety training course for safety instrumented systems professionals and engineers. The course focuses on functional safety aspects for the process, oil & gas, and chemical industries according to IEC 61508 / 61511.
The comprehensive two day conference covering all aspects of plant safety has a focus on explosion prevention (ATEX, IECEx, functional safety IEC 61508/61511) Gives everyone involved in safety for engineering plant, insight and case study examples of how peers have executed safety programmes in their facilities in the conference. As always the programme will provide detailed standards/legislation updates directly from those involved in the process of creating them.
Loading Poll...