※こちらに掲載されているメールマガジンは、発行日現在の情報ですのでご注意ください。
━Automotive Engineers’ Guide━━━━━━━━━━━━━━━━━━
公益社団法人自動車技術会:メルマガAEG【PR】
2018年10月12日発行
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━JSAE━
セミナー: 「コンパイラをテストして妥当性を検証」
~ ISO 26262の準拠にも活用されるSuperTest ~
https://www.fuji-setsu.co.jp/products/SuperTest/SuperTest_seminar2018.html
◇ 2018年11月1日(木) 午後1時~5時
◇ 会場: フクラシア八重洲
◇ 参加費無料(事前登録制 定員80)
■ 内容
コンパイラは、非常に複雑なソフトウエアであり、たったひとつのエラーであっても、甚大な
問題を引き起こす原因になりかねません。コンパイラの確かな品質は極めて重要であることは
明らかで、間違ったコードが生成されることでこうむる損害は、コンパイラの品質管理への
投資と比較になりません。
また、ISO 26262 等の機能安全規格では、ソフトウエアツールチェインの適正なレベルの信頼が
要求されます。コンパイラが正しいことの証明には、C/C++言語標準規格への適合性、正確性、
堅牢性を厳密にテストすることが必要です。
このセミナーでは、コンパイラメーカのみならず、コンパイラを使用する組織が機能安全規格で
求められるツールの認定にも活用する SuperTest について、コンパイラテストの第一人者である
Dr. Beemster氏が事例を交えて紹介します。
Part 1: なぜC、C++コンパイラの検証が必要なのか?
Part 2: コンパイラのテストについて
Part 3: SuperTestのデモ
Part 4: 高度なトピック(機能安全のツール認定、最適化、顧客事例など)
■お申し込み方法
下記の内容をご記入の上、E-mail: contact_fuji@fuji-setsu.co.jp にまで、
お申し込みください。
「お名前、会社名、部署名、住所、電話、E-mailアドレス」
■ SuperTestについて
SuperTestは、コンパイラ品質への信頼を得るためのコンパイラテストと検証のための
テストスイートです。業界最大クラスのコンフォーマンステストとともにテストファイルが
提供され、コンパイラの開発者のみならず、コンパイラを使用する組織やその品質管理部門が、
機能安全規格の要件(コンパイラの不具合が製品システムに影響しないことを確認する)を
満たすことや、コンパイラによって間違ったコードが生成されることを未然に防ぐことを
目的に活用しています。
https://www.fuji-setsu.co.jp/products/SuperTest/index.html
顧客事例:デンソー、Peloton社
https://www.fuji-setsu.co.jp/products/SuperTest/#case
■ 講師紹介
* Dr. Marcel Beemster 氏 (SolidSands社 CTO)
Marcel Beemster博士はアムステルダム大学で助教授を勤め、ACE Associated Compiler
Experts社でコンパイラ開発に従事した後、Solid Sands社を共同設立しました。
博士はC言語に造詣が深くC、C++プログラムとコンパイラの高性能化を目指しています。
Solid Sands社でCTOとして技術チームを率い、特に組込みやセーフティクリティカルな産業で
コンパイラ開発者とコンパイラユーザの両方が活用できるSuperTestの開発と向上に取り組んでいます。
* 十山 圭介 (富士設備工業(株) 電子機器事業部 技術部長)
京都大学大学院情報工学専攻修士課程修了。コペンハーゲン大学客員研究員。
(株)日立製作所中央研究所等にて30年以上最適化コンパイラ,Javaシステム,システムLSI向け
ソフトウエア,マルチコアシステムの研究開発等に従事した後、(独)情報処理推進機構ソフトウエア
高信頼化センターにてC、C++コーディング規約ガイドや障害原因診断に関する調査と普及に従事。
2018年より富士設備工業(株)電子機器事業部に所属。博士(工学)
※本メールに関するお問い合わせは、下記までお願いいたします。
富士設備工業株式会社 電子機器事業部
Email: contact_fuji@fuji-setsu.co.jp
https://www.fuji-setsu.co.jp/
▽△▽△▽▲▽△▽△▽△▽△▽△▽△▽△▽△▽△▽△▽△▽△▽△▽
こちらのメールは「人とくるまのテクノロジー展」への事前登録、
またはご来場された方にお送りしております。
メルマガAEGの配信停止をご希望の方は下記リンクより
お手続きをお願い致します。
■配信停止
https://a06.hm-f.jp/index.php?action=C1&a=730&g=1&f=2
■配信希望
https://a06.hm-f.jp/index.php?action=R1&a=730&g=1&f=1
■こちらからも配信停止、配信希望の手続きが行えます
/mail-magazine/42715/?=mPR502/2018/10/12
Automotive Engineers’ GuideおよびメルマガAEGへの
情報掲載をご希望の際には下記リンクからご連絡をお願い致します。
/aboutaeg/?=mPR502/2018/10/12
広告掲載についてはこちら
/advertisement/?=mPR502/2018/10/12
※こちらのアドレスは送信専用ですので、ご返信いただいても内容が
確認できません。ご連絡は上記リンクからお願い致します。
━Automotive Engineers’ Guide━━━━━━━━━━━━━━━━━━
公益社団法人 自動車技術会 http://www.jsae.or.jp/
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━JSAE━━
|