プロセス分科会

品質・効率・安全を同時に実現する統合開発プロセスの最新アプローチ

講師：　内山 哲三（ビジネスガレージ株式会社 取締役コンサルティング事業部長）

講演概要：
自動車におけるソフトウェアの機能占有率は、1990年代後半の時点で80%を超え、今現在では95%超と言われています。
このような背景を受け、自動車業界では、欧州を中心に、ソフトウェアを含む車載システムの品質向上のために、様々な国際規格が制定され、多くの企業がその対応に追われています。
本講演では、Automotive SPICEのみならず、機能安全の国際規格であるISO 26262やISO/SAE 21434をはじめとするサイバーセキュリティ規格の複数の活動対応を統合させることで、開発効率を上げながらも品質向上も実現する「統合開発プロセス」の構築方法を解説します。

主催：　ソフトウェア技術者協会（SEA）関西支部（https://kansai.sea.jp/）

開催日時：　2026年2月14日（土）14:00～17:00

開催形式：　会場参加 ＋ オンライン（ZOOM）

会場：　大阪市立生涯学習センター（梅田）第3研修室（https://osakademanabu.com/）
　　　　大阪市北区梅田1-2-2-500 大阪駅前第2ビル 5階
　　　　アクセス：https://osakademanabu.com/umeda/access
　　　　会場マップ：https://osakademanabu.com/venues/umeda/
　　　　※センターには「第3研修室」と「第3会議室」があります。お間違えの無いようご注意ください。

プログラム：
　13:30 開場
　14:00～15:30 講演
　15:30～15:40 休憩
　15:40～16:45 質疑応答
　17:00 閉場

講師略歴：

• 2000年 NEC通信システム株式会社に入社、国内向け局用交換機のソフトウェア開発に従事。同社にてソフトウェアプロセス改善に関するコンサルティング事業の立ち上げに携わり、CMM、CMMI、Automotive SPICEを活用した、プロセス改善コンサルティング事業に10年間従事。
• 2013年 ビジネスキューブ・アンド・パートナーズ株式会社に入社。コンサルティング事業部ディレクターとして、Automotive SPICE対応だけでなく、様々な現場課題の解決を支援。
• 2017年 ビジネスガレージ株式会社の設立に携わる。
  取締役コンサルティング事業部長として、様々なクライアントへの、品質や生産性の向上、人材育成の支援を取りまとめている。

参加費（会場参加・リモート参加とも）：
　SEA正会員　：   1,000 円
　SEA賛助会員：   1,000 円
　非会員　　　：　2,000 円
　学生　　　　：   500 円

お申し込みと参加費のお支払い：
 　以下のイベントページの「チケットを申し込む」からお申し込み，お支払いください。
　　https://seakansaispin20260214.peatix.com/
　お申し込み，お支払いいただいた方は，開催の直前（13:00以降）にチケットの「イベント視聴ページへ移動」ボタンのクリックにより、リモート参加いただけます。（ZOOMミーティングのページに移動します。）

お申し込み締め切り：
　2026年2月12日(木)午後11時59分

懇親会：
　終了後、講師を囲んでの懇親会を予定しています。
　参加を希望される場合は、申し込みフォームの「懇親会参加」欄に「参加」をご選択ください。
　時間：17:15～19:00
　場所：当日会場にてご案内させていただきます。

キャンセルについて：
　お申し込み後のキャンセル・返金は原則として受け付けておりません。  
　無断欠席の場合も返金はいたしかねますので、あらかじめご了承ください。

その他：
　お問い合わせ，および，開催時間中のご連絡は、イベントページの「主催者へ連絡」からお願いいたします。

講師：　阪井 誠 氏（株式会社SRA）

内容：
ソフトウェア開発の現場では、ちょっとした行き違いから問題が大きくなります。
今回取り上げる『論文』は情報伝達を目的とした最も高度な技術文書の一つです。
今回は論文の構造に合わせた書き方を学ぶことで、パラグラフライティングをはじめとする情報伝達の基本を説明します。
これから論文を書いてみたいという方や、仕事に行き詰まりを感じている方は、ぜひご参加ください。

主催：　ソフトウェア技術者協会（SEA）関西支部
　　　　(https://kansai.sea.jp/)

開催日時：　2021年2月6日（土）16:00～18:00

開催形式：　オンライン（ZOOM）

プログラム：
　15:30 アクセス受付開始
　16:00 講演「開発現場で役立つ論文の書き方のお話」
　17:30 質疑応答・フリーディスカッション
　18:00 閉会

　閉会後、オンラインでの懇親会を持ちたいと思います。
　お時間の許す方は、お好きな飲み物をご用意の上、お気軽にご参加ください。

講師略歴：
　株式会社SRA。ソフトウェア開発・研究開発に従事。
　博士(工学)。論文誌、国際会議(含ICSE2本)、
　シンポジウム採録のほか、シンポジウムの
　プログラム委員や委員長の経験を持つ。

定員：
　100名
　お申し込み順です．定員になり次第受け付けを締め切ります．

参加費：
　SEA正会員　： 500 円
　SEA賛助会員： 500 円
　非会員　　　： 1,000 円
　学生　　　　： 500 円

お申し込みと参加費のお支払い：
　次のサイトの「チケットを申し込む」からお申し込み，お支払いください．
　　　https://kspin20210206.peatix.com/
　お申し込み，お支払いいただいた方は，
　開催の直前（15:30以降）にチケットの「イベント視聴ページへ移動」ボタンの
　クリックにより、参加いただけます。
　（ZOOMミーティングのページに移動します。）

その他：
　お問い合わせ，および，開催時間中のご連絡は、お申し込みページの「主催者へ連絡」
　からお願いいたします。

講師： 高井 利憲 氏（株式会社チェンジビジョン）

講演１：モデルベースシステムズエンジニアリングにおける形式手法の効果的な活用
　最近のシステム開発では上流工程での検証の必要性が高まっています。
　本講演では、モデルに基づくシステムズエンジニアリングアプローチと形式手法を組み合わせて活用する方法について、自動車分野のシステム開発を例に、ツールによる支援可能性を中心に議論します。

講演２：モデルベースシステムズエンジニアリングにおけるシナリオ生成手法の効果的な活用
　最近のシステム開発においては、シナリオベースの検証や妥当性確認を求められることが多くなってきています。
　本講演では、自動運転車の安全規格の一つであるISO21448（SOTIF）や同じく自動車分野のセキュリティ規格であるISO21434（車両サイバーセキュリティ）を例に、システムズエンジニアリングにおける効果的な実施方法を紹介します。
　講演1と同じ例題モデルを用いることにより、モデルの再利用可能性についても議論します。

本講演1及び2は名古屋大学倉地亮先生とdSpace藤倉俊幸様との共同研究の結果に基づいています。

主催：
　ソフトウェア技術者協会（SEA）関西支部 
　(https://kansai.sea.jp/)

開催日時：
　2020年12月12日（土）16:00～18:00

開催形式：
　オンライン（ZOOM）

プログラム：
　15:30 アクセス受付開始
　16:00 講演１「モデルベースシステムズエンジニアリングにおける形式手法の効果的な活用」
　16:30 質疑応答
　16:45 講演２「モデルベースシステムズエンジニアリングにおけるシナリオ生成手法の効果的な活用」
　17:15 質疑応答・フリーディスカッション
　18:00 閉会

 　閉会後、オンラインでの懇親会を持ちたいと思います。
　お時間の許す方は、お好きな飲み物をご用意の上、お気軽にご参加ください。

講師略歴：
　1996年 九州工業大学情報工学部知能情報工学科卒。
　2001年 奈良先端科学技術大学院大学博士後期課程単位取得認定退学（博士（工学））。
　ISO/IEC JTC1/SC7/WG7 国内委員。
　奈良先端大学にて「システム要求工学」「システムアシュアランス」等の講義や演習を担当。

定員：
　100名
お申し込み順です．定員になり次第受け付けを締め切ります．

参加費：
　SEA正会員　： 500 円
　SEA賛助会員： 500 円
　非会員　　　： 1,000 円
　学生　　　　： 500 円

お申し込みと参加費のお支払い：
　次のPeatixサイトの「チケットを申し込む」からお申し込み，お支払いください．
　　　https://peatix.com/event/1699221/view
　お申し込み，お支払いいただいた方は，
　開催の直前（15:30以降）にPeatixチケットの「イベント視聴ページへ移動」ボタンのクリックにより、参加いただけます。
　（ZOOMミーティングのページに移動します。）

その他：
　お問い合わせ，および，開催時間中のご連絡は、イベントページの「主催者へ連絡」からお願いいたします。

講師：　土屋 達弘 先生（大阪大学大学院 情報科学研究科 教授）

概要：
ソフトウェアの検証・テストに関する分野で、活発に研究が行われている技術であっても、実際のソフトウェア開発においては、必ずしも積極的に利用されているとは限りません。
本講演では、研究レベルでは既に成熟している技術のいくつかを取り上げて概説するとともに、そのような学術的成果と実践との乖離について、その原因と解決の可能性について議論します。

取り上げるテスト技術例；
　　- ミューテーションテスト
　　- モデル検査
　　- 動的記号実行

主催：　ソフトウェア技術者協会（SEA）関西支部
　　　　(https://sea.jp/blog/category/branches/kansai/)

開催日時：　2020年8月29日（土）16:00～18:00

開催形式：　オンライン（ZOOM）

プログラム：
　15:30 アクセス受付開始
　16:00 講演 「ソフトウェアの検証・テストにおける理論と実践」
　17:15 質疑応答
　18:00 閉会

講師略歴：
　1995年 大阪大学 修士
　1996年 大阪大学 基礎工学部 助手
　1998年 大阪大学 博士（工学）
　2000年 大阪大学大学院 基礎工学研究科 講師
　2002年 大阪大学大学院 情報科学研究科 助教授
　2012年 大阪大学大学院 情報科学研究科 教授

定員：
　100名
　お申し込み順です．定員になり次第受け付けを締め切ります．

参加費：
　SEA正会員　： 500 円
　SEA賛助会員： 500 円
　非会員　　　： 1,000 円
　学生　　　　： 500 円

お申し込みと参加費のお支払い：
　次のサイトの「チケットを申し込む」からお申し込み，お支払いください．
　　　https://seakansai20200829.peatix.com/
　お申し込み，お支払いいただいた方は，
　開催の直前（15:30以降）にチケットの「イベント視聴ページへ移動」ボタンのクリックにより、参加いただけます。
　（ZOOMミーティングのページに移動します。）

その他：
　お問い合わせ，および，開催時間中のご連絡は、イベントページの「主催者へ連絡」からお願いいたします。