8/25 8:50〜10:30 チュートリアル1

  セッションS2-1-1:「組込みソフトウェアの信頼性を向上させる方法」
    講師: 二上 貴夫(SESSAME/東陽テクニカ)
    --------------------------------------------------------------
    組込みソフトウェアの信頼性は、プログラム、設計、分析それぞれの
    工程で少しずつ向上させることができます。その方法は、IECや
    Do178 、MISRACなどを利用した作業の標準化、ビジュアルモデリング
    による設計技術、そして日本のお家芸である共同作業など様々な形が
    あります。そしてチリも積もれば山となる!このチュートリアルでは、
    今までプログラム作りに精進されてきた皆さんに少し広い範囲を見渡
    していただき、ソフトウェアの信頼性向上の方法はいろいろとあるも
    のだと言うことを理解していただくことを目標にします。
    --------------------------------------------------------------

  セッションS2-1-1:「プロジェクトリスクマネジメント」
    講師: 好川 哲人 (好川技術士事務所)
    --------------------------------------------------------------
    組込みシステムの開発も、大規模な案件が多くなり、色々なリスクと
    対峙する必要が出てきました。企業によっては以前から注視しておら
    れるかもしれませんが、今後、プロジェクトのリスクマネジメントは
    大きな課題となるでしょう。本チュートリアルでは、プロジェクトの
    リスクマネジメントに関して経験豊富な講師の方に解説を頂き、ディ
    スカッションを通して問題の本質に迫りたいと思います。
    --------------------------------------------------------------


8/26 13:20〜15:00 チュートリアル2   セッションS2-3-1:「モデル検査ツールSpin                 による 組込みソフトウェアの検証」     講師: 青木 利晃(北陸先端科学技術大学院大学)     --------------------------------------------------------------     組み込みシステム開発では、信頼性の保証は重要でかつ困難な目的の     1つであるが、現在、モデル検査と呼ばれる検証手法が注目をあつめ     ている。モデル検査は、比較的容易に使うことができ、デッドロック     や飢餓状態などの望ましく無い状況を自動的に検出できる。そこで、     本チュートリアルでは、まず、モデル検査手法と代表的なツールであ     るSpinの概要について説明する。そして、Spinによるソフトウェアの     検証について、排他制御、Sleep/Wakeup、セマフォなどの例を用いて     紹介する。     --------------------------------------------------------------   セッションS2-3-2:「マルチコアプロセッサを用いた組み込み向け並列処理)」     講師: 酒井 淳嗣(NECシリコンシステム研究所)     --------------------------------------------------------------     携帯端末や情報家電向けに我々が提唱している並列処理手法タスク     並列について説明する。我々が開発したマルチコアプロセッサMP211     を用いたタスク並列事例を紹介するとともに、処理性能のほか開発容     易性、検証容易性など製品開発上の観点も含め、SMPなど他の手法と     の比較を行う。     --------------------------------------------------------------   セッションS2-3-3:「行列のできる組み込みセミナー&ディスカッション             〜最強のエンジニア&コンサルタント軍団〜セミナー編」     コーディネーター:橋本 隆成(SONY)     講師:        楠部 集 (横河ディジタルコンピュータ)        佐藤 啓太 (デンソー)        杉浦 英樹 (富士ゼロックス)        西 康晴 (電気通信大学)     --------------------------------------------------------------     タイトルはズバリ「行列のできる組み込みセミナー&ディスカッショ     ン〜最強のエンジニア&コンサルタント軍団」。 書籍、カンファレン     スセミナー、開発現場の第一線で活躍しているエンジニア、コンサル     タント、 大学教師の面々が日々開発に追われているエンジニア達の     疑問、質問、問題に答えます。     最新技術や導入事例の情報を得るには、高額なセミナー参加すること     になる。しかも時間は限られ、個人的な疑問やアドバイスをするチャ     ンスはあまりない。     そこで、今回は業界で活躍されている第一級のメンバーをそろえ、普     段なかなか得ることが出来ない、 最新組込みソフト開発技術動向の     解説、事例、参加者の疑問に直接回答する貴重な場を提供することに     した。     ”最強のエンジニア&コンサルタント軍団”へ参加者の熱い思いをぶ     つけて欲しい。     --------------------------------------------------------------