Introduction

A variety of tools are now available to assist the development of safety-critical systems: many major on testing and static analysis, while some focus on modelling and verification, and others assist with the documentation needed to achieve certification.

These tools support the demands made by standards such as IEC 61508, Def Stan 00-56 and DO178B, and must themselves meet stringent requirements laid down by the standards.

Recognising the maturity of the market-place for these high-integrity tools, the Safety-Critical Systems Club is launching a Tools Directory, aimed at assisting Club members find tools appropriate to their needs.

Topics

Presentations will be given by users who have applied the tools to the development of safety-critical systems on themes such as interoperability, synergy, conformance and certification.