首页
公司新闻
业界动态
产品动态

 

 

 

 

 

 

 

 

 

 

 

 

HOME > 新闻中心 > 公司新闻
代码生成工具B4S新版本发布会
2011-5-18 14:32:51

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

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

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

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

   


首页新闻中心实时仿真红外测试仿真转台成功案例诚聘英才关于我们
地址:北京市朝阳区朝外大街乙6号朝外SOHO D座0830室
电话:86-10-59009377/78 传真:86-10-59002883
E-mail: info@ensky.com.cn