内容説明
ＦＡシーケンス制御、システムＬＳＩ、無線通信制御の開発が理解できる実践的な解説書です。
目次
第１章 組み込みシステムの現状と概要
第２章 モデルベース開発
第３章 モデルベース試験
第４章 ＦＡシーケンス制御モデルベース開発
第５章 システムＬＳＩのモデリング設計手法
第６章 無線通信制御モデルベース開発
第７章 形式手法
著者等紹介
渡辺政彦［ワタナベマサヒコ］
１９８４年日本大学文理学部英文科卒業。現在、キャッツ株式会社取締役副社長
飯田周作［イイダシュウサク］
１９９９年北陸先端科学技術大学院大学博士後期課程修了博士（情報科学）。同年日本学術振興会特別研究員。２００１年専修大学ネットワーク情報学部専任講師。現在、同助教授。情報処理学会、日本ソフトウェア科学会、ＩＥＥＥ、各会員
石田哲史［イシダテツシ］
１９８７年東海大学理学部物理学科卒業。同年日本工営株式会社入社。現在、日本工営パワー・システムズ株式会社。技術士（情報工学・総合技術監理）
山本修二［ヤマモトシュウジ］
１９８５年電気通信大学電気通信学部経営工学科卒業。同年株式会社アドバンス入社。１９８９年京セラ株式会社入社。現在、キャッツ株式会社ソフトウェア事業部次長
浅利康二［アサリコウジ］
１９９２年京都大学工学部電子工学科卒業。同年松下電子工業株式会社入社。２０００年モトローラ株式会社入社。現在、キャッツ株式会社ソフトウェア事業部技術部システムＬＳＩ課課長
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
