ISO 26262の準拠にも活用されるSuperTest

時刻	概要
12:40～	受付
13:00～   13:20	挨拶と概要紹介
13:20～   16:30	Compiler Testing for use with Safety-Critical and/or Embedded Systems　（途中休憩あり）
	Part1：　なぜC、C++コンパイラの検証が必要なのか？ 　・C、C++コンパイラとその役割り 　・コンパイラの複雑さと性質 　・コンパイラはどう使われるか
	Part２：　コンパイラのテストについて 　・コンパイラの動作をテストする 　・不正なプログラムの診断機能を確認する 　・ISO 26262 等の機能安全とコンパイラのテスト 　・ユーザによるコンパイラテストの利点 　・SuperTestの中身、使用要件
	Part３：　SuperTestのデモ 　・組込みコンパイラとテスト実行環境の設定について
	Part４：　高度なトピック、事例 　・最適化のテスト 　・呼出し規約のテスト 　・算術演算 　・MISRA C 2004 and MISRA C 2012 　・機能安全のコンパイラqualification 　・自動生成されるコード 　・顧客事例
16:30～   17:00	質疑応答/ クロージング

 

お申し込み方法　

下記内容を記入の上、Emailにてお申し込みください。

　「 お名前、会社名、部署名、住所、電話、E-mailアドレス 」

講師紹介

 
 * Dr. Marcel Beemster 氏 (SolidSands社 CTO) 
 
　アムステルダム大学で助教授を勤め、ACE 社でコンパイラ開発に従事した後、Solid Sands 社を共同設立した。C言語に造詣が深く、C/C++ プログラムとコンパイラの高性能化を目指しており、Solid Sands 社で CTO として技術チームを率い、特に組込みやセーフティクリティカルな産業でコンパイラ開発者とコンパイラユーザーの両方が活用できる SuperTest などテストプラットフォームの開発と向上に取り組んでいる。
 
* 十山　圭介 (富士設備工業(株) 電子機器事業部 技術部長)
 
　京都大学大学院情報工学専攻修士課程修了。コペンハーゲン大学客員研究員。東京工業大学大学院総合理工学研究科博士後期課程単位取得退学。（株）日立製作所中央研究所等にて30年以上最適化コンパイラ，Javaシステム，システムLSI向けソフトウェア，マルチコアシステムの研究開発等に従事した後、（独）情報処理推進機構ソフトウェア高信頼化センターにてC、C++コーディング規約ガイドや障害原因診断に関する調査と普及に従事。2018年より富士設備工業（株）電子機器事業部に所属。博士（工学）

SolidSands 社の SuperTestは、コンパイラ品質への信頼を得るためのコンパイラテストと検証のためのテストスイートです。業界最大クラスのコンフォーマンステストとともにテストファイルが提供され、コンパイラの開発者のみならず、コンパイラを使用する組織やその品質管理部門が、機能安全規格の要件（コンパイラの不具合が製品システムに影響しないことを確認する）を満たすことや、コンパイラによって間違ったコードが生成されることを未然に防ぐことを目的に活用しています。