【講演内容】
本講演では、TOPPERSプロジェクトについて概説した後，最近の活動成果と現在の取り組み、および今後の活動予定について紹介する。また、自動車やロケットへの搭載も進むなど、各種組込み事例についても紹介する。

【講演内容】
TOPPERSプロジェクトで開発・公開している、プログラマブルSoC向けのマルチコアRTOS（FMPカーネル）と仮想化（SafeG）について紹介。SafeGを用いるとプログラマブルSoC上でRTOSの信頼性とリアルタイム性を保ったまま、Linuxと同時に実行することが可能となる。

【講演内容】
機能安全の取り組みが普及するに連れ、「機能安全とはなんだろう？」から「機能安全を如何に安く実現するか？」というところに焦点が移ってきている。ここでは、機能安全対応で膨らんでしまった開発コストを削減するためのカギとなるTOPPERS/PARKを紹介する。 その後、TOPPERS/PARKをベースとした「組み込みセキュリティに対応したソフトウェアプラットフォーム」に対するヴィッツの取り組みを簡単に説明する。

【講演内容】
名古屋大学大学院情報科学研究科附属組込みシステム研究センターでは、2011年度からコンソーシアム型共同研究組織を立ち上げ、オープンソースのAUTOSARプラットフォームの研究開発に取り組んでいる。 AUTOSARでは、ソフトウェアコンポーネント（SW-C）に各APIを提供する仕組みとして、RTEが規定されている。本セッションでは、コンソーシアム型共同研究の取り組みを紹介し，TOPPERSプロジェクトからオープンソースで公開予定のRTEを用いて、RTEの機能と使用方法について説明する。

【講演内容】
AUTOSARは、曖昧や未規定の仕様が多く、実装する上で多くの問題を抱えている。この問題に対して、コンソーシアム型共同研究では、参加企業の技術者と仕様検討を重ね、AUTOSAR OS仕様の問題を解決した、日本語版の「次世代車載システム向けRTOS外部仕様書」を作成した。さらに、この外部仕様書に準拠したRTOSとしてTOPPERS/ATK2を開発し、TOPPERSプロジェクトからオープンソースとして公開した。本セッションでは、TOPPERS/ATK2について紹介する。

【講演内容】
TOPPERS新世代カーネル向けのテストスイートであるTTSPをAUTOSAR仕様にカスタマイズしたテストスイート（AKTSP）を開発し、網羅的なテストを実施した。本セッションでは、テストスイートの概要と、ツールによるテストプログラムの自動生成、TOPPERS/ATK2を対象としたテスト実施内容及び結果について紹介する。

組み込み教育＆開発プラットフォーム

1. 試作から量産までスピード対応可能な弊社の開発受託業務の紹介
2. 組込みマイコン教育＆開発プラットフォーム・・・リアルタイムＯＳ（TOPPERS/ASP）を搭載
3. Spartan 6搭載 高速画像処理教育＆開発プラットフォーム基板・・・デジタルＣＭＯＳカメラ、ＦＰＧＡ（Spartan 6）、ＨＤＭＩ入出力、ＶＧＡ出力、ＴＦＴ液晶表示回路を搭載
4. ブラシレスＤＣモータ開発プラットフォーム・・・ベクトルエンジン搭載ＴＭＰＭ３７０～ＴＭＰＭ３７５・モータ開発プラットフォーム

■セーフティ＆セキュリティ

セーフティ（機能安全）は、自動車・工作機械・飛行機・医療など様々なプロダクトへ適用が広がっています。当社では数々の実績をご紹介するとともに、機能安全への取り組みに最適なアプローチ方法をご提案します。また、近年話題となっているセキュリティへの取り組み（脅威と対策）をデモ展示を用いてご紹介します。この他に、セーフティ＆セキュリティともに関係する形式手法のデモ展示や当社のリアルタイムOSブランド（Owlsシリーズ）のパッケージをご紹介します。

統合開発環境＆ミドルウェア ソリューション

弊社は、機器組込み用ソフトウェアの専門商社として３０社以上の有力企業の日本総代理店としてソフトウェア製品のライセンス販売をしています。本展示会では、ＴＯＰＰＥＲＳに対応した統合開発環境「ＴｒｕｅＳＴＵＤＩＯ」とさまざまなミドルウェア群を出展します。ＴｒｕｅＳＴＵＤＩＯはＥＣＬＩＰＳＥ　ＩＤＥフレームワークを用いた開発環境で、ＭＩＳＲＡ－Ｃルールチェック機能を標準で装備しています。ミドルウェア群として、ネットワーク、ファイルシステム、ＵＳＢといった基本的なミドルウェアをはじめ、ＢｌｕｅｔｏｏｔｈやＮＦＣといった５０製品以上の豊富な先端ミドルウェアとの組合せソリューションについてご紹介いたします。

高信頼性検証

ＮＥＣ通信システムは、宇宙航空研究開発機構(JAXA)様の指導のもと、宇宙機システム搭載用ＲＴＯＳの高信頼性検証を担当しています。展示ではＲＴＯＳの高信頼性検証技術の概要と適用効果、事例を紹介し民需産業への技術応用を提案します。さらに当社の組込みシステムソリューション（コンサル、評価・検証、受託開発）などを紹介します。

TOPPERS/ATK2導入支援

今、車載業界で注目を浴びている車載システム向けのリアルタイムOS「TOPPERS/ATK2」についての導入支援サービスをご紹介します。

TOPPERS成果物を利用した組込みシステム開発の事例、組込みシステムのソリューション事例・提案をご紹介いたします。

1. TOPPERS SafeGを利用した展示デモ
2. TOPPERS RTOSポーティング、ドライバ、アプリ開発事例の紹介
3. 組込みLinux OpenCV/OpenNI画像処理デモ
4. 東海ソフト、ビースラッシュによるリファクタリングのご提案

機能安全ソリューション、製造支援/保守業務支援ソリューション

当社は、組込みシステム、監視制御システムの開発受託を主な業務としています。お客様のニーズに合わせたオンリーワンシステムを構築してまいります。

■機能安全ソリューション

教育、推奨技法／方策、プロセス構築／ドキュメント、ツール「安診太郎(R)」等のサポートからアセスメント適合コンサルテーションまでサポートします。
＊対象機能安全規格：IEC 61508，ISO 26262等

■製造支援/保守業務支援ソリューション

• 定期交換サポートツール
  保守部品など定期交換が必要な部品の交換時期をツールがサポートします。
• 検査支援ツール
  現場検査を支援し、検査品質，効率向上をサポートします。
• 稼働率管理ツール
  システム・機械等の稼働状況をモニタリングし、システム・機械の最適運転をサポートします。

自動車向け仮想化環境におけるタイムパーティショニングのスケジューリング

今回の展示では、自動車向け仮想化環境における、タイムパーティショニングのスケジューリング（Automotive Time Partitioning Scheduler (ATPS)）のご説明と、展示を行っております。ATPSについては、OTSL、名古屋大学大学院情報科学研究科附属組込みシステム研究センター（NCES）、株式会社ヴィッツ、NPO法人 TOPPERSプロジェクトの連名で提案中の「パーティショニング機能に関する標準規格の提案」に準じた仮想化環境におけるタイムパーティショニングとなっており、現在製品として販売されている仮想化環境プラットフォームとしては、初の製品化に向けた取り組みとなっております。

弊社は、組込みソフトウェア開発の専門会社として2007年に創立し、2012年12月には第三者認証機関である独テュフ ズード社から、ソフトウェア開発プロセスについて、車載電子制御の機能安全に関する国際規格「ISO26262」適合の認証を取得しました。今後も、更なる技術向上に努め、より良い品質確保に取り組んでいきます。