2011年4月26日和27日，银凯公司在西安和上海分别举办两场“新一代代码生成工具包BEACON for Simulink和形式化验证工具包ClawZ发布会”，取得圆满成功。

会上，美国ADI公司B4S产品经理Bryan Ellinger向来自航空、航天、兵器和船舶的六十多名软件工程师，介绍了代码生成工具B4S 2.4版本的新功能和新特点，并做了现场使用演示。

ADI总裁 Scott James还根据ADI参加DO178C标准联合制订委员会的经历，详细为大家讲解了DO178C的内容、进展及其与DO178B的异同，还就大家关心的工具认证等问题进行了澄清，获得与会者高度认可和广泛好评。

如果您是嵌入式系统开发人员，想进一步了解关键安全代码生成工具，请与我们联系，银凯公司非常乐意为您提供相关资料和服务。