关于威柏
公司简介
企业文化
发展历程
资质荣誉
核心优势
合作客户
代理品牌
富士电机
威世
博世
KVASER
富士通南大
京瓷
产品中心
IGBT模块
电源IC
功率Mosfet
整流二极管
SiC器件
威世
博世
克萨
解决方案
威柏电子技术
Kvaser
富士通南大
RA Consulting
英福思科技
德国BTC
新闻资讯
行业动态
联系我们
香港总部
国内办事处
在线留言
Solution
解决方案
首页
解决方案
德国BTC
德国BTC公司于1999年成立、专注于嵌入式软件自动测试、基于模型的开发和测试、以及安全关键系统测试。公司使命为面向基于模型的开发技术和嵌入式软件开发、使用自动测试和形式验证技术、幫助客户在缩短的设计周期內提高产品品质。主要应用领域为汽车、航空、工程机械、轨道交通及医疗等、领先的验证和确认技术曾获得图灵奖。
方案系列
形式验证套件:
(动态穷舉形式验证) 对dSpace TargetLink模型C代码的內部状态进行反例求证、檢查系统是否满足形式化需求的解决方案。
形式测试套件:
(动态形式测试) 自动生成关联需求的测试用例、自动执行测试并判定仿真结果是否违反需求、生成测试报告。
Back-to-Back测试套件:
(包含功能测试套件) 全自动行模型和C代码的等效性测试、并可檢查C代码的隐藏缺陷、生成测试报告。
功能测试套件:
通过便利的手写测试用例编辑器、对模型、C代码进行测试、并无缝集成调试环境、生成测试报告。
ECU软件:
开发流程咨询以及工程服务 : 需求工程、模型架构、建模规范、模型及代码测试(MIL/SIL/PIL) 、功能安全, AutoSAR。
下载中心
请联系我们,威柏会在第一时间帮您解决!
联系我们
香港
深圳
上海
成都
武汉
青岛
北京
西安
香港九龙官塘成业街7号宁晋中心33楼A-B室
(852) 2763 5991
深圳市福田区沙头街道泰然六路红松大厦A座9B
0755-8826 7606
上海市徐汇区龙华中路596号绿地中心A座 612室
021-5489 1460
成都市高新区吉瑞三路99号环球时代中心1栋4单元1618号
028-8554 0368
湖北省武汉市洪山区群光中心2011-2012室
027-8713 9838
青岛市黑龙江南路2号万科中心A座909
0532-8582 3798
北京市朝阳区十里堡东恒时代三期17号楼2单元202
010-5963 0698
西安市高新区科技路金桥国际广场B座1113室
029-8938 1667
关于威柏
公司简介
企业文化
发展历程
资质荣誉
核心优势
合作客户
代理品牌
富士电机
威世
博世
KVASER
富士通南大
京瓷
产品中心
IGBT模块
电源IC
功率Mosfet
整流二极管
SiC器件
威世
博世
克萨
解决方案
威柏电子技术
Kvaser
富士通南大
RA Consulting
英福思科技
德国BTC
新闻资讯
行业动态
联系我们
香港总部
国内办事处
在线留言
Copyright © 2021-2022 深圳市威柏德电子有限公司
粤ICP备2022087162号
法律声明
网站地图
技术支持