The Safety-Critical Systems Club 57th seminar.

At the seminar, delegates will be able to hear first-hand experience of applying tools to the development of safety-critical systems, to see many tools in action, and to discuss their merits with both vendors and other users.

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.

Further details of the seminar can be found on the SCSC2008 website.

As part of the seminar programme, at 12:30pm, Rapita Systems' CEO, Dr. Guiem Bernat will be presenting a report on Rapita's experience of using Adacore's GNAT Pro ASIS library to add Ada analysis and instrumentation capability to the RapiTime toolset.

Visitors to the seminar will also be able to see a demostration of how the RapiTime worst-case execution time (WCET) and performance profiling tool integrates with Adacore's GNAT Pro technology and can be used to analyse real-time software written in Ada (as well as C).