当サイトにてログインの上、受講するプログラム(第1部~第6部)ごとに事前登録が必要です。※遅刻された場合、お申込みをいただいたセミナーが満席となりますとご入場できかねる場合がございますのでお早目にお越しください。多数の方がご参加の場合には調整をお願いさせていただく場合があります。※参加できない場合は、必ずキャンセル処理を行ってください。キャンセル処理は、ログイン後にお申込みされた各セミナーのページ下段にキャンセル画面が表示されますのでそちらよりお手続きください。ITコーディネータの方へ本セミナーは、ITコーディネータ協会(ITCA)に後援をいただいていますので、実践力ポイント獲得の機会となります。ITコーディネータの方も奮ってご参加ください。※ポイント認定につきましては、遅刻・早退を認めておりませんので、あらかじめご了承ください。出席証明書はセミナー受付時にお渡ししますのでお申し出ください。氏名、ITC資格No.をご記入の上、受付にお越しください。ソフトウェア工学の産業界実践~安心安全社会の実現にむけて~社会や産業界を支える複雑で大規模なソフトウェアを高信頼・高セキュリティに構築、維持、発展させ、また、他のシステムと連携して新しいサービスを創造できることは、社会の安心性や製品の高品質性の基盤です。システムがこのようなディペンダビリティ要件を満たすための研究は多く行われてきていますが、それらが現実のソフトウェア開発において実践されているとは言いがたい状況です。IoTの本格展開が期待される現在、先進的ソフトウェア工学の実践が急務です。journal論文賞」の発表と表彰式を行います。journal論文賞」を授与し表彰いたします。本講演では、事故モデルSTAMPとSTAMPに基づく分析手法STPAの周辺手法とツールを紹介します。STAMP/STPA単体でも従来の手法では発見しづらい不具合の発見に役立ちますが、他手法と組み合わせる取り組みも行われています。本講演では周辺手法として、STAMPの形式化とAADLとの連携について紹介します。他方、STAMP/STPA自体も作業量が多く、人間が高度な作業に集中するためには、ツールサポートは必須です。そこで、STAMP/STPAのためのツールを紹介します。