不定期ビジネスニュース・アーカイブ１

　　　　　　　　　　　　　 　　　主催　 名古屋市工業研究所

　　　　　　　　　　共催　 システム技術研究会

　　　　　　　　　　　協賛　(財)名古屋市工業技術振興協会

　　　　　　　　　　　　　　中部エレクトロニクス振興会　　　　　　　　　　

　日本の組み込みソフトウェアは、品質が高いことが業界では国際的に認められていま
す。しかし、その検証方法を定式化していない場合、または作業標準が確立していない場
合があります。そのため、ソフトウェアの検証方法を体系的に構築することが求められて
います。TOPPERSプロジェクトでは、高信頼性ソフトウェアをめざした取り組みが行なわ
れております。TOPPERSプロジェクトに参加しているエーアイコーポレーションは、取り
扱いツールであるPoly Space Verifierを中心に、この最先端の分野で活躍されていま
す。

また、組み込みソフトウェアの高信頼性のために、IEC61508に基づく機能安全と、その自
動車向けのガイドであるISO26262の取り組みがあります。機能安全の規定にもとづいたC
言語のサブセット定義として、MISRA-Cがあります。このMISRA-Cは、日本からの意見を中
心に大幅に2004年に改訂し、自動車技術会が翻訳を発行し、10月には日本規格協会より解
説書を発行する予定です。さらに、ISO/IEC 15504に基づいたAutomotive SPICEモデルに
よる現場の作業診断がヨーロッパの自動車メーカによる主導で実施されています。これら
に対する名古屋市工業研究所における取り組みについてご報告いたします。

日　時： 平成18年10月24日（火曜）　13：30 —16：45
場　所： 名古屋市工業研究所　ホール

http://www.nmiri.city.nagoya.jp/koutu/koutu.htm
　　　　　名古屋市熱田区六番３丁目４番４１号（地下鉄六番町駅下車３番出口南）
　

内　容：(13:30-13:35) 　あいさつ

　　経済産業省中部経済産業局地域経済部　次長　内山　圭祐　様　　　

　　　(13:35〜15:05）「ソフトウェアの高信頼性と安全

　　　　　　　　　　　IEC 61508, MISRA-C, ISO/IEC 15504」

　　　　 名古屋市工業研究所　電子情報部　情報技術研究室　小川 清

　　(15:15〜16:45) 　 「高品質ソフトウェア ? PolySpace Verifierによる検証」
　 　 株式会社 エーアイコーポレーション　組込みテスト事業部植田 宏
様

　 参加費：無料　　　　　　　　　　　定員：200名 　
　問合せ先： ogawa.kiyoshi@nmiri.city.nagoya.jp　 FAX( 052)-654-9952

申込方法：申込書の各事項を記入し、上記メ−ルアドレスまたはFAX( 052-654-9952 )に
てお申し込みください。

資料作成のため事前のお申し込みをお願いします。受講票は発行致しません。定員以内の
場合には、１社で何人でも、お申し込みいただいて結構です(１枚の申込書に、氏名複数
記入可)。定員を超えた場合には、当方よりお知らせします。

都合により講演者の変更があるかもしれません。ご了承ください。

————————————————————————————————————————
　　　　　　　　平成１8年10月２4日（火曜）高品質ソフトウェア講演会　申し込み書
会 社 名： 　　　　　　　　　　　　 所属名：
氏　名： Eメール：
電話番号： 　　　　 　 　 FAX番号：