大規模で複雑なITシステム

英国大規模複雑ITシステム（LSCITS）イニシアチブ[ 1 ]は、大規模で複雑なITシステム（超大規模システム、ULSSとも呼ばれる）の開発における問題に焦点を当てた研究・大学院教育プログラムです。このイニシアチブはEPSRCの資金提供を受けており、2006年から2013年の間に1,000万ポンド以上の資金が交付されました。[ 2 ] [ 3 ]

背景

大規模で複雑なITシステムに関する研究プログラム設立のきっかけとなったのは、2004年に英国王立工学アカデミーと英国コンピュータ学会が発表した報告書[ 4 ]でした。この報告書では、いくつかの大規模ソフトウェアプロジェクトの失敗原因が検証され、これらの問題のいくつかに対処するための研究に関する提言がいくつか示されました。

2番目の報告書はセス・ブロックとデイブ・クリフによって執筆され、同じく2004年に出版されました。これは英国政府の貿易産業省（DTI）科学技術局の委託を受けて作成されたもので、「ICTシステムにおける複雑性と創発的行動」と題されています[ 5 ]。この報告書の主な結論は、英国で取り組む必要がある主な課題は適切な学際的研究に対する制度的および文化的障壁であり、英国の学部レベルのコンピュータサイエンス教育における欠落に対処することが緊急に必要であるというものでした。

2005年10月、デイブ・クリフはEPSRC [ 6 ]によりLSCITSイニシアティブのディレクターに任命され、この分野での産業界の課題について広範囲に協議し、この協議に基づいてこれらの課題に取り組むコンソーシアムを結成するよう依頼された。協議の結果、産業界の主な懸念事項は、組織、人、システム間の相互作用から生じる社会技術的な問題と、高信頼性システムエンジニアリングにあることが判明した。これに基づき、形式手法と高信頼性システムに重点を置く2つのパートナー（ヨーク、オックスフォード）と社会技術システムに重点を置く2つのパートナー（リーズ、セントアンドリュース）からなるコンソーシアムが結成された。その後、クラウドコンピューティングに重点を置くさらなるプロジェクトが、ブリストル、セントアンドリュース、アストンの各大学をパートナーとして承認された。

5 年間の研究プロジェクトは 2007 年 10 月に開始され、関連する EngD プログラムは 2009 年 10 月に開始されました。

パートナー

研究

LSCITS 研究プロジェクトの目的は次のとおりです。

「複雑系工学に対する既存の技術的アプローチを改善し、組織、プロセス、システム間の複雑な相互作用を理解するのに役立つ新しい社会技術的アプローチを開発すること」[ 7 ]

LSCITS スタック (図 1) は、LSCITS に特に関連する研究分野を示しています。

当初、プロジェクトの作業の焦点は次の領域にありました。

数学的基礎に関する研究は、ブリストル大学とウォーリック大学の複雑性科学研究センターと共同でEPSRCが別途研究プログラムとして資金提供していたため、本研究には含まれていませんでした。複雑系シミュレーションに関する更なる研究センターは、後にサウサンプトン大学に資金提供されました。

プロジェクト期間中にこの分野の重要性が明らかになったため、新しい計算手法に関する研究はクラウドコンピューティングに関する研究に取って代わられました。 [ 8 ]

以下の主要出版物では、プロジェクトの作業についてさらに詳しく説明しています。

LSCITS EngDプログラム

LSCITS EngDプログラム[ 9 ]は、ヨーク大学[ 10 ]が主導する工学博士課程であり、複雑なITシステムの研修と研究に重点を置いています。このプログラムの学生は、コアモジュールと選択科目の幅広い履修単位を履修し、企業のスポンサーと共同で研究を行います。このプログラムと従来の博士課程との主な違いは、学生がほとんどの時間を企業のスポンサーと共同で過ごし、単一のテーマではなく、共通のテーマに関する複数の関連研究プロジェクトを記述したポートフォリオ論文を提出できることです。

この制度のコアモジュールには以下が含まれる。

  • LSCITSのための経験的手法
  • 高信頼性システムエンジニアリング
  • 予測可能なソフトウェアシステム
  • 社会技術システム
  • LSCITS向けシステムエンジニアリング
  • 技術革新

学生は、これらのコアトピックに加えて、コンピュータサイエンス、数学、経営学などからいくつかの選択モジュールを履修します。全体として、コアモジュールと選択モジュールは、EngDの学生にLSCITSのトピックに関する幅広い知識と深い理解を提供することを目的としています。

プログラムの授業と並行して、学生は研究を行います。研究プロジェクトは、社会技術システム、高性能コンピューティング、クラウドコンピューティング、システムおよびソフトウェアエンジニアリング、セーフティクリティカルシステム、インタラクティブでアクセス可能なシステム、高度な意思決定など、LSCITSの幅広いトピックにわたります。EngDの産業界スポンサーには、大手多国籍企業から、研究能力とキャパシティの構築を目指す中小企業までが含まれます。

経営とガバナンス

LSCITSイニシアチブ全体の運営管理は、ディレクター（デイブ・クリフ）と2名の共同ディレクター（イアン・サマービルとジョン・マクダーミッド）が担当しています。イアン・サマービルは、LSCITSの様々な作業パッケージと活動の統合を管理しています。ジョン・マクダーミッドは、LSCITS EngDセンターディレクターのリチャード・ペイジと協力して、ヨークを拠点とするLSCITSエンジニアリング博士課程を管理しています。

所長は、LSCITS国際科学諮問委員会の議長とLSCITS国内ステークホルダー委員会の議長に報告する。[ 11 ]これら2つの委員会は、LSCITSの研究および研修プログラムに関する指導と助言を行う。

主な出版物

以下の論文は、図1に示すLSCITSスタックに従って整理されており、プロジェクトの研究成果を説明しています。出版物の全リストはLSCITSウェブサイトでご覧いただけます。[ 12 ]

LSCITS全般

  • R. Calinescu & M. Kwiatkowska (2010). システム・オブ・システムズ開発のためのソフトウェア工学技術．C. Choppy & O. Sokolski (編)，『コンピュータソフトウェアの基礎．開発の将来動向と技術』LNCS第6026巻，pp. 59-82，Springer．プレプリントはオンラインで入手可能．[ 13 ]
  • D. クリフ & L. ノースロップ (2011).グローバル金融市場：超大規模システムの視点.英国政府科学予測局の金融市場におけるコンピュータ取引の未来に関するプロジェクト向けブリーフィングペーパー. 2011年9月.
  • I. Sommerville、D. Cliff、R. Calinescu、J. Keen、T. Kelly、M. Kwiatkowska、J. McDermid、および R. Paige。(2011)大規模複雑ITシステム。

組織の複雑さ

社会技術システム工学

高信頼性システム

  • X. Ge, RF Paige, J. McDermid:確率論的故障伝播と変換解析. SAFECOMP 2009: 215–228.
  • Paige, RF; Galloway, A.; Charalambous, R.; Ge, X.; Brooke, PJ (2011). 「セーフティクリティカルソフトウェア開発のための高信頼性アジャイルプロセス」. International Journal of Critical Computer-Based Systems . 2 (2): 181– 216. doi : 10.1504/IJCCBS.2011.041259 .
  • Williams, JR; Poulding, SM; Rose, LM; Paige, RF; Polack, FAC (2011). 「モデル駆動型エンジニアリング・メタモデルへの進化アルゴリズムの適用によるゲームキャラクターの望ましい行動の特定」.サーチベース・ソフトウェア・エンジニアリング. コンピュータサイエンス講義ノート. 第2011巻. pp.  112– 126. doi : 10.1007/978-3-642-23716-4_13 . ISBN 978-3-642-23715-7. S2CID  6103107 .{{cite book}}:|journal=無視されました (ヘルプ)

予測可能なソフトウェアシステム

クラウドコンピューティング

同様のグループによる出版物

参照

参考文献

  1. ^ 「大規模で複雑なITシステムについて」ブリストル大学。 2015年7月2日閲覧。
  2. ^ 「LSCITS-RPv2: 大規模複雑ITシステムイニシアチブ – 研究プログラムv2」 . Gow.epsrc.ac.uk . 2015年7月2日閲覧。
  3. ^ 「大規模で複雑なITシステムのためのクラウドコンピューティング」 Gow.epsrc.ac.uk . 2015年7月2日閲覧。
  4. ^ 「BCSポリシーハブ」 Bcs.org、2015年6月25日。 2015年7月2日閲覧。
  5. ^ 「ICTシステムにおける複雑性と創発的行動：技術レポートHP-2004-187、セマンティック＆アダプティブシステム、ヒューレット・パッカード研究所」（PDF） Eprints.ecs.soton.ac.uk . 2015年7月2日閲覧。
  6. ^ EPSRC年次報告書2006-7 年版、2012年4月2日アーカイブ、 Wayback Machine、 p. 10/11
  7. ^ 「イニシアチブの概要」ブリストル大学。 2015年7月2日閲覧。
  8. ^ 「クラウドコンピューティング」ブリストル大学。 2015年7月2日閲覧。
  9. ^ 「エンジニアリング博士課程センター」、ヨーク大学、2010年。2011年1月7日時点のオリジナルよりアーカイブ。 2015年10月19日閲覧。
  10. ^ 「大学別博士課程研修センター一覧」 EPSRC. 2011年6月29日時点のオリジナルよりアーカイブ。 2015年10月19日閲覧。
  11. ^ 「大規模で複雑なITシステム管理」ブリストル大学。 2015年7月2日閲覧。
  12. ^ 「大規模複雑ITシステム出版物」ブリストル大学。 2015年7月2日閲覧。
  13. ^ 「システム・オブ・システムズ開発のためのソフトウェアエンジニアリング技術」 Prismmodelchecker.org . 2015年7月2日閲覧。
「 https://en.wikipedia.org/w/index.php?title=Large-scale_Complex_IT_Systems&oldid=1327869228」より取得