Polyspace在软件代码验证中应用.PDF

Polyspace在软件代码验证中的应用 Copyright 2014 KEIHIN CO., LTD. 2 议程 京滨电子装置研究开发(上海)有限公司 简介 ＫＥＩＨＩＮ Ｒ＆Ｄ Ｃｈｉｎａ Ｃｏ．, ＬＴＤ． 为什么需要检查工具，为什么选择Polyspace 应用Polyspace进行软件错误检查 总结 Copyright 2014 KEIHIN CO., LTD. 3 议程 京滨电子装置研究开发(上海)有限公司 简介 ＫＥＩＨＩＮ Ｒ＆Ｄ Ｃｈｉｎａ Ｃｏ．, ＬＴＤ． 为什么需要检查工具，为什么选择Polyspace 应用Polyspace进行软件错误检查 总结 Copyright 2014 KEIHIN CO., LTD. 4 ㈱京滨集团概况 会社概要 http://www.keihin-corp.co.jp/ 公司名称 京滨株式会社 （英文：KEIHIN CORPORATION ） 股票上市地 东京证券市场第一部 我们不断创造新价值， 为人类的未来做贡献 成立时间 昭和31年（1956年）12月 总部地址 東京都新宿区西新宿1-26-2 新宿野村大厦 法人代表 社长 田内 常夫 产品 汽车发动机燃料供给系统 汽车车身系统 摩托车发动机燃料供给系统 泛用发动机燃料供给系统 Copyright 2014 KEIHIN CO., LTD. 5 ㈱京滨集团概况 欧洲 中国 日本 美洲 亚洲 中国 （大陆） 南京京滨化油器有限公司 二轮 ・通用、四轮产品的制造 东莞京滨汽车电喷装置有限公司 东莞 四轮、电子、空调产品的制造 京滨电子装置研究开发（上海）有限公司 电子产品的研究开发 京滨大洋冷暖科技（大连）有限公司 京滨集团全球 32家公司 大连 空调产品的制造销售 Copyright 2014 KEIHIN CO., LTD. 6 京滨电子装置研究开发（上海）有限公司 京濱電子装置研究開発（上海）有限公司 紹介 KEIHIN RD CHINA CO.,LTD. 住所：中国上海市紫竹科学園区紫星路451号 京滨电子装置研究开发（上海）有限公司 公司名称 ＫＥＩＨＩＮ Ｒ＆Ｄ Ｃｈｉｎａ Ｃｏ．, ＬＴＤ． 地址 中国上海市紫竹科学园区紫星路451号 成立时间 2003年3月1日 经营范围 电子控制单元及发动机周边部件的