============================================================================ リアルタイムシステム向けメモリ保護システムの改良と評価 西部 満(名古屋大学) ============================================================================ ○概要 ソフトウェアの肥大化や複雑化が進むシステムを効率よく開発するために、タスク間 の不正なメモリアクセスを早期に特定することが重要であり、そのためにはメモリ保 護が有用である。メモリ保護を行うハードウェアとしてMMU(Memory Management Unit)とMPU(Memory Protection Unit)が主に存在する。本研究では新しいMPU である領域番号付き上下比較方式を提案する。そしてそれを評価するために従来の MMU、MPUと評価を行う。 ○展示状況 メモリ保護について企業の方から要望が多く出されていた。従来のものに比べてどの ような違いが出るのか、これからさらにどう改善していくのかなど、活発な議論が交 わされていた。 ============================================================================ OSEK/VDX OSの開発と応用事例の紹介 大西 秀一,森川 聡久,片岡 歩,服部 博行(株式会社ヴィッツ) ============================================================================ ○概要 OSEK/VDX OS 仕様に準拠したリアルタイムOSの開発は(株)ヴィッツと名古屋大学大 学院情報科学研究科高田・冨山研究室と共同で名古屋市工業研究所と(株)ルネサステ クノロジの協力を得て開発を行った。このTOPPERS/OSEKカーネルの品質と応用事例を 紹介する。 ○展示状況 GameBoy アドバンスを使ったデモや、ミニカーを使ったデモを行っていた。割り込み はどのように実装されているか、シミュレータは公開しているかなど実用に向けての 質問が多く出されていた。 ============================================================================ 複数オペレーティングシステム実行環境をサポートするセキュアな組み込み向け オペレーティングシステム 岩崎 匡寿(早稲田大学) ============================================================================ ○概要 ユビキタスコンピューティング環境の進展により、組み込み機器の中には情報アプラ イアンスと呼ばれるこれまでの組み込み機器とは異なる特徴をもつ機器が登場してい る。情報アプライアンスは従来の組み込み機器同様の信頼性を保ちつつ、セキュリテ ィへの対応を行う必要がある。また、インターネット接続やマルチメディアなどの多 様な機能への対応も行わなくてはならない。本研究ではシステム全体を安全に構築し つつ、かつ様々な機能への柔軟な対応を可能にする Cubicleアーキテクチャを提案す る。 ○展示状況 初めて耳にするアーキテクチャに、実際のマシンでどのように動くのか、マルチOS 間のメモリ保護は万全かなどの質問があった。発表者も企業での現在のハードウェア、 ソフトウェア環境など情報収集に熱心であった。 ============================================================================ i8086命令互換プロセッサ開発によるシステム設計教育 大山 将城,清水 尚彦(東海大学) ============================================================================ ○概要 システム設計はハードウェア、ソフトウェアの両方を設計できてはじめて可能となる。 以前よりわれわれはシステム設計スキル向上のためのエンジニア教育用アプリケーシ ョンを提案してきた。今回i8086 互換プロセッサの開発からBIOS、モニタプログラム の開発、OSシミュレーション、基盤設計までを一貫して行うアプリケーションの実 施を行い、その詳細を紹介する。 ○展示状況 コーディングなどの経験がない人を対象に週20時間、6ヶ月を費やした。シミュレー ションに非常に時間がかかるということでそのあたりの時間短縮が課題のようだった。 ============================================================================ システムLSI統合開発環境EDA Linux 飯田 佳洋,清水 尚彦(東海大学) ============================================================================ ○概要 システムLSI 統合開発環境EDALinuxは、HDL からCMOSパターンレイアウトまでの設計 ツールならびに演習テキストを統合したものである。設計ツールはすべて再配布可能 なソフトを用いて構成し、これを 1枚のブート可能なLinux LiveCDとして収録した。 学習者はオフラインでシステムLSI を設計でき、そして実際の設計に応用が可能であ る。今回はEDALinuxの詳細とVDECで試作を行ったチップの設計事例と評価についての 報告を行う。 ○展示状況 無料の開発環境ということで多くの関心が寄せられた。  配布形式はどのようなものか?  Windows、VMWare上での起動は可能か?  チュートリアルのライセンスはどうなっているのか など、ライセンス、動作環境などの質問が多かった。 ============================================================================ 組み込みソフトウェア検証ツール Metroworks CodeTEST メトロワークス株式会社 ============================================================================ ○概要 CodeTESTは組み込みシステムソフトウェアのトレースやパフォーマンス、カバレッジ、 メモリアロケーションを簡単に実現できる初めてのツール。CodeTESTはプログラム全 体をモニタするため、テスト対象をどの部分にするかの決定やテスト対象ごとのツー ルの設定は必要がない。市販、自作RTOS、C/C++コンパイラ各種に対応。 ○展示状況 CodeTESTを使用したモニタの状況などが展示されていた。キャッシュのヒットなども トレースできるのでキャッシュを加味したパフォーマンスの測定も可能。主に性能に 関する質問が多く出されていた。