HALの校長と語るソフトウエア工学

学校法人・専門学校　ＨＡＬ東京　校長
工学博士
鶴保　征城

PDF
［481KB］

UPPAALの現状と今後

Uppsala 大学 組込みシステム科 教授
Wang Yi

PDF
［459KB］

メカ設計における状態遷移表

電気通信大学
情報理工学研究科 知能機械工学専攻　教授
新　誠一

PDF
［487KB］

変革期を迎える自動車産業と組込みシステム・ソフトウェア領域への示唆

デロイト トーマツ コンサルティング株式会社
自動車セクター パートナー
佐瀬　真人

PDF
［671KB］

機能安全とその保証に関する理論的枠組

独立行政法人 産業技術総合研究所
組込みシステム技術連携研究体 招聘研究員
田口　研治

PDF
［648KB］

状態遷移表に形式検証を適用する“嬉しさ”

福岡県産業・科学技術振興財団
イノベーションクラスター戦略本部
プロジェクトリーダー
片平　典幸

PDF
［760KB］

More Robust Firmware Development of Mechatronic System at Early Stage using Virtual Environment

Professor, Mechanical Engineering, Department
Kyunghee University (Korea)
J. H. Choi

PDF
［460KB］

車載システム設計におけるZIPC AUTOSAR適用評価

株式会社デンソー
電子プラットフォーム開発部　先行技術開発室
佐藤　洋介

PDF
［903KB］

ZIPC/State-Model Converterを適用したパワースライドドアのMBD事例

株式会社 両毛システムズ
組込事業部 組込事業課 チームリーダー
古澤　透
/組込事業部 組込事業課
鈴木　秀昭

PDF
［812KB］

キャッツの海外展開の現状と今後

PDF
［658KB］

トータルソリューション「BizGrandist」の展開

株式会社NTT データMSE
第三営業本部　副本部長　兼　新規ビジネス推進部　部長
松井　恭

PDF
［858KB］

キャッツ社 ロードマップ

CATS社 取締役副社長
博士（工学）
渡辺　政彦

PDF
［1,163KB］