Seminar: User Experience of Tools for Safety-Critical Systems


User Experience of Tools for Safety-Critical Systems

Thursday 5 June, 2008 - Royal Lancaster Hotel, London

Event Sponsors:


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.

At this meeting 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.

Exhibition Area

  • featuring tools from leading vendors
  • open throughout the day

Exhibitors include:

  • AdaCore
  • Adelard
  • Aonix
  • Atkins
  • Causalis
  • Esterel
  • IPL
  • Kennedy Carter
  • LDRA
  • PhaedruS SystemS Ltd
  • Praxis High Integrity Systems
  • Programming Research
  • Rapita Systems
  • Resource Group
  • Trinity Integrated Systems


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


09:00 Registration, Coffee and Exhibition

10:00 Introduction

10:10 Paul Caseley, Dstl Fellow
Assessing Tools for Safety-Critical Software – Pitfalls and Opportunities

10:50 Tom Roberts, Ultra Electronics Datel
Tools in Safety Critical Software Verification

11:30 Coffee and Exhibition

12:10 Paul Chinneck, Praxis High Integrity Systems Limited
A Smarter Contribution to Electronic Safety Cases - Keep Watching

12:30 Guillem Bernat, Rapita Systems Ltd
User Experience of GNAT Pro ASIS Library

12:50 Lunch and Exhibition

14:20 Brian Jepson, Chairman, SCSC Steering Group
Launch of the Club's Tools Directory

14:40 David Ward and Chris Tapp, MISRA Project Manager and MISRA C++ Chairman
Launch of MISRA C++

15:00 Tea and Exhibition

15:40 Stuart Hutchesson, Chief Software Architect, Rolls-Royce
SPARK and Software Architecture – Benefits of Tool Integration for High Integrity Software

16:20 Sam Moody, AWE Aldermaston Developing a High Integrity Code Generator using iUML/iCCG

17:00 Close

Official Launch of SCSC Tools Directory

Official Launch of MISRA C++

Registration or Exhibitor Query

To register or enquire about exhibiting at this event please contact Joan Atkinson.

Phone: +44 191 221 2222
Fax: +44 191 222 7995
An event programme is available.

SCSC.UK uses anonymous session cookies please see Privacy policy

SCSC 06-03-2018 [V4e]