THE SAFETY-CRITICAL SYSTEMS CLUB, 57th Seminar:
User Experience of Tools for Safety-Critical Systems
Thursday 5 June, 2008 - Royal Lancaster Hotel, LondonA 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.
Event Sponsors:
Exhibition Area
- featuring tools from leading vendors
- open throughout the day
Exhibitors include:
- AdaCore
- Adelard
- Aonix
- ARTiSAN
- Atkins
- Causalis
- Esterel
- IPL
- Kennedy Carter
- LDRA
- PhaedruS SystemS Ltd
- Praxis High Integrity Systems
- Programming Research
- Rapita Systems
- Resource Group
- Trinity Integrated Systems
Presentations
- by users who have applied the tools to the development of safety-critical systems
- on themes such as interoperability, synergy, conformance and certification
Programme
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
Development
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++
SCSC.UK uses anonymous session cookies please see Privacy policy
© SCSC 2024