目次

巻頭企画
コンパクトにわかる
［ドメイン別］組込みシステムの現在

• 地震観測装置……加藤雄一郎
• ペンタブレット……堀江利彦

特集1
あなたとどう違う？
できるエンジニアの“頭の中”徹底解剖

• Introduction：特集のはじめに
• Chapter1：できるエンジニアになるための3要素……福田英徳
  • その1：新しい仕事にすばやく対応できるエンジニア
  • その2：知識が豊富なエンジニア
  • その3：ヒューマンスキルがあるエンジニア
• Chapter2：3大スキル習得法……福田英徳
  • その1：エンジニアリングのスキル
  • その2：マネジメントのスキル
  • その3：リーダーシップのスキル
• Chapter3：組込み開発でおさえておきたい4つのキーワード……福田英徳
  • リアルタイム性
  • メモリの節約
  • 非同期処理とマルチタスク
  • GUI開発
• Chapter4：スマートに考えるオブジェクト指向……福田英徳
  • オブジェクト指向の3つの特徴
  • 設計手法とソフトウェアの品質
  • 適用のしかた

特集2
検査の考え方とその事例
形式手法の基礎知識モデル

• Part1　形式検証と検証ツールの動向
• 第1章：はじめの一歩 形式手法は何するの？
  パズルでさっと手慣らし……小川瑞史
• 第2章：モデル検証によるプログラム解析
  ツールによるプログラム解析の実装コーディネート……小川瑞史
• Part2　形式手法の実装
• 第3章：車載コンビネーションメータの事例（1）
  ソースコードしかない場合の検証方法……小川瑞史、高井俊憲
• 第4章：車載コンビネーションメータの事例（2）
  モデル検査の適用への課題……小川瑞史、高井俊憲

特別企画1
システムモデリング言語の扱い方／表記の仕方
はじめてのSysML

• 第1章：SysML登場
  UMLの限界とシステムモデリングのための応用……井上樹
• 第2章：SysMLの書き方
  理解のポイントと各種ダイアグラムの使い方……井上樹

特別企画2
隣の組込み野郎
Qステアを加速度センサ搭載携帯電話でコントロールの巻き

• ……曾根周作＋小宮諒平

一般記事

• 歴史探究からロボットアプリケーションの開発ツール紹介まで
  ロボット技術の現在、過去、未来……大川善邦
• 衛星設計で培われたオープンフレームワーク
  COMGY……森下敦司
• ［新連載］私ノシゴト
  【第1回】松田 愛子さん……坂井直美、監修：根木勝彦
• ［新連載］職場の花子さん
  【第1回】詠み人シラフ……山口みき
• ［新連載］組込みエンジニアのためのデータベース入門
  【第1回】知っておきたい基礎知識……加藤大受
• ［新連載］他人には教えたくない勉強のしかた
  【第1回】はじまり半分、段取り半分……みわよしこ
• ARM研究所
  【第4回】組込み機器に向けた3Dグラフィックプロセッサ技術……小林達也
• 組込み教育委員会
  ETSS/ETEC/OCRES情報

巻末企画
あなたの実力がわかる
スキル判定シート