カンファレンスプログラム

要求が複雑化していく開発現場において、要求仕様の曖昧さ・抜け漏れ・矛盾等の早期発見・解消が課題となっています。 STIMULUSは、一意的な振る舞いを持つ、自然言語に近い表現の文書テンプレートを利用して要求仕様の振る舞いを可視化し、不備の早期発見を支援する要求仕様検証ツールです。また、こうして検証した要求仕様自体からシステムの入出力を監視し、要求仕様に違反していないことをテストする方法を提供します。

リアルタイム性が必要な組込み機器では、タイミング、時間制約の設計ミスで不具合が生じる可能性があります。これらの不具合は、まれにしか発生しないことが多く、その発見、再現、デバッグには多大な工数がかかります。本セミナーでは、シミュレーションやターゲット実行のログを解析し、これらタイミングに関する不具合を検出するドイツINCHRON社のタイミング解析、最悪実行時間算出ツール『INCHRON TS』をご紹介します。

近年、最新の通信プロトコルや高度なグラフィックスをサポートする組込み機器の開発にLinuxやAndroidを活用するケースが増加しています。一方、電源断(コールド ブート)からアプリケーションが起動するまでの時間が、改善すべき課題となっています。本セミナーでは、既に1000万台以上の量産実績を持つ高速起動ソリューションQuickBootを中心に、UAICの持つ起動時間短縮に有効な製品/ソリューションについてご紹介します。

IoTデバイスマネージメントに用いられているMQTT、TR-069、OMA-DM、LWM2Mの4つのプロトコルを比較しながら、IoT端末、携帯端末、各種センサー、カメラ、警報装置など、家庭内、オフィス内、工場内に存在する全ての機器の一元的な管理を可能にするIoTデバイスマネージメント用プラットフォームをご紹介いたします。

Bluetooth & Wi-FiコンボモジュールがIVIで標準採用され、車載エンターテイメントがより充実しました。さらには、IoT デバイスにもユースケースを広げています。しかし、使用バンド帯（2.4GHz）の競合によるスループットの低下や遅延増大等、自由に使うには多くの課題もあります。本セミナーでは、BT5/Wi-Fiの最新動向、コンボモジュールを使ったユースケースと課題、それらを解決するソリューション「ComboConnect」をご紹介します。

TPMが持つ暗号、認証、改ざん検知機能の簡単かつ安全な利用を可能にする最新のTCG仕様に準拠したセキュリティミドルウェア「TrustSentinel（TSS2.0）」をご紹介いたします。TSS2.0では、TPM1.2からの暗号レベルの向上や新しくなったAPIの追加により、TSS1.2に比べ機能性が大幅に向上しました。ここでは、TSS仕様を策定するTCGのWorking groupにおいてchairmanを務めるLee Wilsonが、TSS2.0の仕様やその活用例について解説いたします。