爱斯特尔公司参加第57次高安全性系统开发经验交流会
2008.6.5
Royal Lancaster Hotel, 伦敦
目前已经有许多工具用于高安全性系统的开发。其中大部分是用于测试与静态分析，一部分是用于建模与验证，还有一部分用于生成认证所需的文档。这些工具支持IEC 61508, Def. Stan. 00-56以及DO-178B标准，因而它们本身也严格遵循了相关标准。
随着高度集成工具市场的成熟，高安全性系统协会开始制作工具目录，以帮助它的会员找到适合它自身需求的工具。在会议中，另一个要推出的是MISRA C++， 这是由汽车工业软件可靠性协会MISRA推出的给予厚望的语言。
A在此次会议上，您能获得开发高安全性系统的第一手资料，了解众多开发工具，并能与供应商及用户讨论各个工具的优势。
全天布展
除了爱斯特尔公司，还有其他工具提供商参与其中：
- AdaCore
- Adelard
- ARTISAN
- IPL
- Kennedy Carter
- LDRA
- PhaedruS SystemS Ltd
- Praxis High Integrity Systems
- Programming Research
- Rapita Systems
报告
- Dstl公司的Paul Caseley将介绍高安全系统的评估工具
- 高安全性系统开发的领导者将进行经验分享
