第6回 組込みシステム技術に関するサマーワークショップSWEST6

　現場で働く組み込み技術者向けに毎年一回開催されている「組込みシステム技術に関するサマーワークショップ SWEST6」が浜松湖畔で開催された．今年で第6回を迎えるSWESTだが，昨年と同様に講演，セミナ，ポスターセッション，参加メンバによる討論会だけでなく，今回はメンバによる小型ロケットの打ち上げが行われるなど，充実した内容の二日間であった．SWEST6と同時に「最新のLSI設計技術および，DA(デザイン・オートメーション)技術の発表と討論会 DAシンポジウム2004」も開催され，こちらの多くの参加者を集めていた．今回のレポートでは，SWEST6を中心に会場のようすをお伝えする．

●ステアリング委員長 高田氏による挨拶

SWEST ステアリング委員長の高田 広章氏

　SWEST ステアリング委員長の高田 広章氏(名古屋大学)の開催挨拶では，昨年のSWEST5では通常の研究発表をとりやめてポスターセッションにしたことにより，参加者が興味のある発表を重点的に見て回れるだけでなく，発表者と参加者の会話によるコミュニケーションが行えた点が成功であると評価し，今年も同様の形式にするとのことであった．また，討論などにも積極的に参加し「頭を刺激する場にして欲しい」とも語ったと同時に，今年は参加者数が170名を超える大規模なものになったとの発表もあった．

●JAXA奥田氏による招待講演「宇宙機搭載のソフトウェア」

宇宙航空研究開発機構(JAXA)の奥田 一実氏

　続いて宇宙航空研究開発機構(JAXA)総合技術研究本部 情報技術開発共同センター 奥田 一実氏による「宇宙機搭載のソフトウェア」がSWEST/DAシンポジウム共同招待講演として行われた．

　招待講演では，宇宙機で用いられるアビオニクス(aviation＋electronics；航空用電子工学)の概要が説明されたうえで，「宇宙機ではクリティカル・システムが求められるが，宇宙機で使用される組み込み向けOSや開発環境は，通常の組み込みシステムでも役に立つ」とし，宇宙機の技術の有用性について強調していた．

招待講演のようす

　クリティカル・システムとは何だろうか？　講演の中で奥田氏は，「非常に高い保証が求められるシステム．しかも大規模かつ複雑であることが多い」と定義していた．宇宙機では安全性・信頼性・保全性(修理/交換の容易さ)が求められ，無人機では二重の冗長性，有人機では三重の冗長性をシステムに持たせることにより，高い安全性・信頼性を保証しているとのことであった．

　海外の事例では，スペースシャトル・チャレンジャー事故の後のNASAの対策として導入された「ソフトウェア独立検証及び有効性確認(IV&V；Software Independent Verification and Validator)」が紹介された．これはソフトウェアの開発とライフサイクルを通じて，予算的・組織的・技術的に独立にVerificationとValidationを行うというものだ．現在のNASAでは，IV&Vのための独立した組織を設け，検証・評価を実施しているとのことだった．

　また，これまでの宇宙機用のRTOSとしては，宇宙機メーカが独自に開発したスケジューラ(スケジューリングに特化したOS未満の機能をもつもの)，VxWorksなどの市販RTOS，宇宙機関連メーカが開発したRTOS(μITRONなど)が用いられていた．しかし，今後よりクリティカル・複雑な機能が要求され，市販RTOSの技術情報の入手が困難なケースが増加したことなどから，フリーなμITRON実装であるTOPPERSを宇宙用耐放射線性MPU(MIPSベース)へと移植し，IV&Vの手法も取り入れつつ高信頼性RTOSとして開発環境を整備していくことなどを明らかにした．

● ポスターセッション

TOPPERS/OSEKのデモ

　基調講演の後には会場を移し，ポスターセッションが行われた．(株)ヴィッツのTOPPERS/OSEKは，ヨーロッパの車載用OS，OSEKをTOPPERSプロジェクトにて実装したもの．展示デモでは車の模型を動かしていたほか，ゲームボーイアドバンスへも移植し，注目を集めていた．

● ロケットの打ち上げ――サーベイヤ計画

最終調整を行う二上氏

　二日目の早朝，SWEST6の目玉である模型ロケット「Hamana1」の打ち上げが行われた．まずはその模様をご覧頂きたい．

打ち上げ直前のロケット

　打ち上げのようす(.AVI形式)

　この打ち上げは「組み込みシステム開発のリアルな教育教材を開発しよう」をスローガンとした「サーベイヤ計画」の一環として行われた．ロケットにはGPSが搭載され，AVRマイコンを使って取得した位置データをEEPROMに書き込むことにより，航路を記録するというシステムになっている．打ち上げは無事成功し，データの取得も行えたという．

　午後のチュートリアルでは，サーベイヤ計画代表の二上 貴夫氏〔(株)東陽テクニカ〕により，同計画の趣旨説明と結果報告が行われた．その中で二上氏は「組み込みシステムはソフトやハードの製作だけでなく，実環境でのテストや雑務なども含めたトータルなものであり，しかも実際には思いもかけないトラブルが発生する．これらも含めて管理するのが組み込み開発である」とし，組み込み開発という言葉の意味する幅広さを強調していた．ロケットの打ち上げにおいては，当初FPGAでシステムを実現しようとしたが，物理的にロケットに入らないという理由でAVRマイコンに変更されたという経緯や，ロケットの打ち上げに先立って消防署などへ連絡すること，打ち上げ時刻は凪の時間帯が良いという調査など，さざざまな事項を考慮し問題を解決することによって成功に結びつけたという経緯も明らかにされた．同時にGPSの取得データも公開され，水平方向に関してはデータの取得に成功し軌跡を表示できたが，高さ方向に関してはGPSが高さ方向への高速な移動に追従せず，正確なデータが取得できなかったとしていた．

● 分科会――プロセッサアーキテクチャとリアルタイムシステム

　分科会「プロセッサアーキテクチャとリアルタイムシステム〜ハードリアルタイムシステムにキャッシュを使うの？〜」は，冨山 宏之氏(名古屋大学)と高野 裕之氏(東芝セミコンダクター）をコーディネータに座談会形式で行われた．近年の32ビットRISC CPUにはキャッシュが搭載されており性能向上のために使用したいのだが，ハードリアルタイム・システムにおいては最悪実行時間(WCAT)の見積もりが難しくなるという問題が存在する．これを回避するためにはキャッシュのプリフェッチであらかじめすべてのコードとデータをキャッシュに置いてしまう，キャッシュよりも高速な内部SRAMなどに置いたほうが予測がしやすいなど，さまざまな角度からの発言があった．

　また，リアルタイム・システムの構築においては，「そもそも本当にハードリアルタイムが必要とされる部分は少ないのでは？」という指摘もなされた．本当にハードリアルタイムが必要な部分はシステムのごく一部で，その部分だけを別のCPUやハードウェアで実行し，(通常の処理である)ソフトリアルタイム部分を同じCPU上に共存させないようなシステムが現実解という意見もあった．

Engineering Life in Silicon Valley　第79回　フリー・エンジニアという仕事（第一部）
移り気な情報工学 第36回　時代間通信アーキテクチャ
フリーソフトウェア徹底活用講座 第14回　GCC2.95から追加変更のあったオプションの補足と検証（その3）

◆フリーソフトウェア徹底活用講座
第13回　続々・GCC2.95から追加変更のあったオプションの補足と検証
第12回　続・GCC2.95から追加変更のあったオプションの補足と検証
第11回　GCC2.95から追加変更のあったオプションの補足と検証
第10回　続・C99規格についての説明と検証
第9回　C99規格についての説明と検証
第8回　C言語におけるGCCの拡張機能（3）
第7回　C言語におけるGCCの拡張機能（2）
第6回　GCCのインストールとC言語におけるGCCの拡張機能
第5回　続・C言語をコンパイルする際に指定するオプション
第4回　C言語をコンパイルする際に指定するオプション
第3回　GCCのC言語最適化以外のオプション
第2回　GCCの最適化オプション ――Cとアセンブラの比較
第1回　GCCの最適化オプション

◆移り気な情報工学
第36回　ITもの作りの原点
第35回　ビットの化石
第34回　ユビキタスなエネルギー
第33回　ロゼッタストーンとWWW
第32回　情報家電のリテラシー
第31回　草の根グリッドの心理学
第30回　自分自身を語るオブジェクト指向「物」
第29回　電子キットから始まるエレクトロニクス
第28回　映画に見る，できそうでできないIT
第27回　ITも歴史を学ぶ時代
第26回　1テラバイトで作る完全なる記憶
第25回　日本はそんなにIT環境の悪い国なのか
第24回　10年後にも生きている技術の法則
第23回　ITなギズモ
第22回　ブロードバンドネットワークに関する三つの質問

◆Engineering Life in Silicon Valley
第78回　インドに流れ出るシリコンバレーエンジニアの仕事
第77回　エンジニア達の健康管理・健康への努力（第二部）
第76回　エンジニア達の健康管理・なぜエンジニア達は太る？（第一部）
第75回　ユーザーインターフェースのスペシャリスト（第二部）
第74回　ユーザーインターフェースのスペシャリスト（第一部）
第73回　放浪の旅を経てエンジニアに……
第72回　凄腕女性エンジニアリングマネージャ（第二部）
第71回　凄腕女性エンジニアリングマネージャ（第一部）
第70回　ビジネススキルを修行しながらエンジニアを続ける
第69回　専門分野の第一線で活躍するエンジニア
第68回　シリコンバレーに夫婦で出向（第二部）
第67回　シリコンバレーに夫婦で出向（第一部）
第66回　目に見えないシリコンバレーの成功要因
第65回　起業・独立のステップ
第64回　インターネットバブルの前と後の比較
第63回　日本でシリコンバレースタートアップを体験する（第四部）
第62回　日本でシリコンバレースタートアップを体験する（第三部）
第61回　日本でシリコンバレースタートアップを体験する（第二部）
第60回　日本でシリコンバレースタートアップを体験する（第一部）

◆フジワラヒロタツの現場検証
第72回　現場検証，最後の挨拶
第71回　マイブーム
第70回　OSぼやき放談
第69回　技術者生存戦略
第68回　読書案内(2)
第67回　周期
第66回　歳を重ねるということ
第65回　雑誌いろいろ
第64回　となりの芝生は
第63回　夏休み
第62回　雑用三昧
第61回　ドリームウェア
第60回　再び人月の神話
第59回　300回目の昔語り
第58回　温泉紀行
第57回　人材ジャンク
第56回　知らない強さ
第55回　プレゼン現場にて