Esterel Technologies>新闻事件>重大事件>SCSC seminar
Esterel Technologies will be present at the 57th seminar User Experience of Tools for Safety-Critical Systems
5 June 2008
Royal Lancaster Hotel, London
A variety of tools are available for building safety-critical systems. Many major on testing and static analysis, some on modelling and verification, and others on documentation needed for certification. These tools support the demands of standards such as IEC 61508, Def. Stan. 00-56 and DO-178B, and must themselves meet stringent requirements laid down in 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. Also launched at this meeting is MISRA C++, the much-anticipated language subset defined by MISRA, the Motor Industry Software Reliability Association.
At this meeting you will be able to hear first-hand experience of applying tools to safety-critical systems, to see many tools in action, and to discuss their merits with both vendors and other users.
Exhibition open all day
In addition to Esterel Technologies, other tool vendors attending are:
- AdaCore
- Adelard
- ARTISAN
- IPL
- Kennedy Carter
- LDRA
- PhaedruS SystemS Ltd
- Praxis High Integrity Systems
- Programming Research
- Rapita Systems
Presentations
- Paul Caseley of Dstl on Assessing Tools for Safety-Critical Software
- Industry leaders with Safety Critical Systems development experiences to share
