システムズエンジニアリング・公開ワークショップ
システムズエンジニアリング・公開ワークショップ 〜IoTに向けた新しい製品・サービスに求められるシステムズエンジニアリングの実践について考える〜 開催情報 本年度IPA/SECの事業計画のひとつである「システムズエンジニアリングの普及」において、その取り組みの 一環としてドイツ・フラウンホーファIESE*と協業し、欧州企業におけるシステムズエンジニアリングの 実践状況・ベストプラクティスの調査・分析を実施しました。その成果報告会として本年10月に東京と大阪 にてSEC特別セミナーを開催しました。 今回、その調査・分析から得られた成功事例・教訓事例をもとに、さらに踏み込んで、イノベーティブな製品・サービスを生み出す新しいシナリオ策定のために、要求されるシステムズエンジニアリングの実践と現状とを 照らし合わせ、そのFit/Gapについてアセスメントを実施し、必要アクションを思考するワークショッ
【SEC特別セミナー】 IoT時代のソフトウェアエンジニアリングとビジネスイノベーション 情報処理推進機構：ソフトウェア高信頼化
開催情報 IPA/SECは、2004年10月1日の設立以来、一貫して高信頼なソフトウェア開発のためのソフトウェアエンジニアリングに基づく手法、技術の普及活動を行ってきました。 このたびIPA/SEC設立10周年の節目にあたり、ソフトウェアエンジニアリングの世界的権威である、ドイツ フラウンホーファー研究機構 実験的ソフトウェア工学研究所（IESE）の所長 Dieter H. Rombach （ディーター ロンバック）氏を招聘し、現在ドイツが取り組んでいる戦略的プロジェクトである『インダストリー4.0』のIoT（Internet of Things）、IoS（Internet of Service）構想やソフトウェアエンジニアリングの最新動向について紹介します。 さらに、フランス原子力・代替エネルギー庁（CEA）システム統合技術応用研究所（LIST）の、国境を越えて実現しているIoTプロジェ
情報処理推進機構：ソフトウェア高信頼化
SEC高信頼化技術セミナー モデルベースシステムズエンジニアリング（MBSE）入門 〜導入のポイントと適用事例の紹介〜 開催情報 システムズエンジニアリングは、「製品やサービスなどのシステムの実現を成功に導く」ことを目的とし、コンセプト、開発から運用、廃棄に至るまでのライフサイクル全体に渡って考慮したプロセスを定義しています。これをモデルベースアプローチで進めるモデルベースシステムズエンジニアリング（MBSE）は、生産管理やサプライチェーンにまでその対象を広げつつあります。 本セミナーは、開発の上流工程でのプロセスの品質を強化するためにMBSEを初めて導入しようとする技術者、その管理者、またシステム開発の品質管理、生産管理などに携わる方を対象に、MBSEの基礎からプロジェクトへの導入事例までの内容について学んでいただきます。 講演資料を公開しました。プログラム概要欄よりダウンロードいただけ
情報処理推進機構：ソフトウェア高信頼化
【SEC特別セミナー】 システムベースのエンジニアリング最新動向 複雑化するシステムの安全性とセキュリティを確保するためにすべきこと! システムのセーフティ／セキュリティに携わるすべての方へ 開催情報 近年、コンピューターシステムはネットワークなどを通じて異なる機器やシステム同士が繋がるようになり、ますます大規模・複雑化しています。それに伴い、人とシステム、あるいはシステムとシステム間の複合原因によるシステム障害が増加し、システム単体ではなく、”異なるもの同士が繋がったシステム全体”での障害対策が求められるようになってきました。 そのような状況において、これらのシステムにおける安全性解析に関する新しい手法として、STAMP（∗1）が産業界において注目されています。 本セミナーでは、STAMPの提唱者であるナンシー・レブソン教授を招聘し、STAMPの解説や適用事例について紹介すると共に、セキ
SEC高信頼化技術セミナー モデルベースシステムズエンジニアリング入門 ～システムを考えるハンズオンワークショップ～ 情報処理推進機構：ソフトウェア高信頼化
開催情報 複雑化する統合システム（SoS=System of Systems）開発において今後有力な技術としてモデルベースシステムズエンジニアリング(MBSE)が注目されています。IPA/SECでは2013年8月に「モデルベースシステムズエンジニアリング導入の手引き」を公開し、普及展開活動を行っています。本セミナーでは、午前の部でシステムズエンジニアリングとMBSEの概要を学び、午後には実際にチームで演習問題を解きながらハンズオンでシステムズエンジニアリングを体感し、モデルベースで考えることへの理解を深めていただきます。 講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。 セミナー動画を公開しました。プログラム概要欄より視聴いただけます。 主催
情報処理推進機構：ソフトウェア高信頼化
モデルベースシステムズエンジニアリング（MBSE） 〜MBSE導入のポイントと、ロボット開発適用事例の紹介〜 開催情報 システムズエンジニアリングとは、「製品やサービスなどのシステムの開発を成功に導く」ことを目的として、システム開発の全体最適を図るための技法、そのためのプロセスを定義したものであり、これをモデルベースアプローチで進めるモデルベースシステムズエンジニアリング（MBSE）は、最近では開発だけでなく生産管理やサプライチェーンにまでその対象を広げつつあります。 本セミナーは、上流品質技術強化として、MBSEを初めて導入しようとする技術者からその管理者の方、またシステム開発の品質、生産管理に携わる方も対象に、MBSEの基礎から、ロボット開発プロジェクトの導入事例紹介までをトピック的に学んで頂きます。 講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。 セミナー動画
【SEC特別セミナー】Engineering a Safer World - 情報処理推進機構：ソフトウェア高信頼化
HOME ソフトウェア高信頼化 SECセミナー 【SEC特別セミナー】Engineering a Safer World〜安全なシステムを実現するための新たなアプローチ（手法と事例）〜 開催情報 近年、システムの高機能化・複雑化により、システムやそれを構成するソフトウェアに対する安全性・信頼性の要求が高くなっています。特に、航空・宇宙、自動車、医療、鉄道等では高い安全性や信頼性を実現するため継続的な取組みが求められています。 本セミナーでは、システムやソフトウェアの安全性に関する第一人者であり、”Safeware”や”Engineering a Safer World ∗1”等 の著作、安全工学や自己解析手法等に関する数多くの論文等で高名なマサチューセッツ工科大学Nancy Leveson教授と、高い安全性・信頼性を求められる宇宙機ソフトウェア開発を行っている有人宇宙システム株式会社の星野
情報処理推進機構：ソフトウェア・エンジニアリング ｢アジャイル型開発におけるプラクティス活用事例調査｣の報告書とリファレンスガイドを公開
2013年3月19日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 インターネット販売サイトやSNS(ソーシャルネットワークサービス)等のシステムでは、その構築において要件のすべてが明確にならなくても開発に着手し、要件の明確化や変更には開発と並行して対応します。それは、いかに早くサービスを提供するかに、ビジネスの命運がかかっているからです。 こうした要件の変化に柔軟に対応できる開発手法として、「アジャイル型開発」があります。これは、ビジネス上の優先度が高い順に、短いサイクルで機能単位の開発を繰り返す手法です。 このアジャイル型開発手法は自社開発（内製）が中心の米国で発展したものであり、要件を決めて外部に開発を委託することが多い等、受発注環境が異なる日本でアジャイル型開発を適用するのは難しいと考えられています(*1)。 「アジャイル型開発」には、
高信頼システムのためのモデルベース開発技術について「平成23年度モデルベース開発技術部会活動報告書」および「利用者品質の確保に向けたユーザモデリング技術実用化調査」報告書の公開 ：IPA 独立行政法人 情報処理推進機構
これまでの活動内容報告書・成果物実績高信頼システムのためのモデルベース開発技術について「平成23年度モデルベース開発技術部会活動報告書」および「利用者品質の確保に向けたユーザモデリング技術実用化調査」報告書の公開 高信頼システムのためのモデルベース開発技術について「平成23年度モデルベース開発技術部会活動報告書」および「利用者品質の確保に向けたユーザモデリング技術実用化調査」報告書の公開 IPA/SECでは情報システムが組込み製品を含む様々なデバイス等と有機的に連携する 一体的システム（統合システム）に変化しつつある状況を踏まえ、2009年度より 「高信頼開発手法」及び利用者品質に着目した設計品質の向上技法の検討に着手しており、 2010年度は「統合系システム・ソフトウェア信頼性基盤整備推進委員会 モデルベース開発技術部会」を設置し、更に検討を進めています。 2011年度は2010年度の検
情報処理推進機構：ソフトウェア・エンジニアリング
～エンタプライズ系ソフトウェア開発で利用できるノウハウ～ 2012年9月28日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 IPA/SECでは、ソフトウェア開発の高信頼化に向けた有効な手法と一つとして形式手法の普及活動に取り組んできました。今回、代表的な形式手法である Event-B, SPIN, VDM++ を用いて、基本設計書の品質向上のための検証方法をガイドする「形式手法活用ガイドならびに参考資料」を公開します。 本資料は、「Dependable Software Forum（略称:DSF）（※）」から譲渡されたもので、2012年4月20日に公開した「情報系の実稼働システムを対象とした形式手法適用実験報告書」でも活用されています。実験報告書と共に参照し、実践的な取組みに活用いただけることを期待します。 ※Dependable Softw
報告書：実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」の公開：IPA 独立行政法人 情報処理推進機構
2012年12月27日更新 2012年11月13日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 日常生活で使用する様々なサービスや製品には、ソフトウェアが密接に関係しています。サービスや製品の規模や利用形態の複雑さが増すにつれ、ソフトウェアの品質に問題が生じた場合の原因究明には時間がかかり、サービスや製品を利用する国民に及ぼす経済的損失や社会的影響などの発生リスクは増えていきます。 こうしたリスク抑制のためには、ソフトウェアの品質向上を図る必要があり、様々な取組みが行われてきました。その中でも「形式手法」(*1)は、数学的なアプローチを用いて厳密な仕様を記述し検証することができるため、曖昧さや抜けを防ぎ、実装の間違いを見つけ出す、といった利点があります。また、高い安全性を要求される製品に関連する国際規格であるIEC 61508(*2)や自動車
SECサーチサービス開始のお知らせ：IPA 独立行政法人 情報処理推進機構
12月1日より、当センターの公開情報について、キーワードを指定して全文検索が可能な、利便性の高い新たな検索機能「SECサーチ」のサービスを開始いたします。10月31日よりβ版（試用版）をご利用いただいておりましたが、この度、本格運用を開始いたしましたので、是非ご活用ください。 （※）本サービスはGoogleカスタム検索を利用しています。 ◆SECサーチのご利用はこちら これまでご利用いただいたソフトウェア・エンジニアリング情報データベース（SWE iPedia）は11月末日をもちましてサービスを終了いたしました。長い間ご利用いただき、ありがとうございました。 ご不明な点がございましたら、以下の問い合わせ先にご連絡ください。 問い合わせ先 独立行政法人情報処理推進機構 技術本部 ソフトウェア高信頼化センター e-mail：
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
情報処理推進機構：ソフトウェア高信頼化
MBSE導入について 2014/02/14 株式会社コギトマキナ代表取締役 鈴木尚志
情報処理推進機構：ソフトウェア高信頼化
先進的な設計・検証技術の適用事例紹介 ～安全・安心なIT社会実現に向けたソフトウェア高信頼化の取組み～情報処理推進機構：ソフトウェア高信頼化