# IBM T.J. Watson Research Center IBM T.J. Watson Research Center はニューヨーク州ホーソーン(Hawthorne, NY)に位置する IBM の主要研究拠点。IT サービス管理・分散システムモニタリング・自律コンピューティング・AIOps 分野において継続的に産業研究を発信してきた。 ## wiki 内との関連 - **[[IBM Research]]** との関係: [[IBM Research]] ページは 2024〜2025 年以降の IBM 系研究をまとめた広義の組織ページ。本ページは NOMS 2012 当時の **T.J. Watson Research Center** という特定拠点名に対応し、歴史的な位置づけを保持する。両者は同一 IBM グループ内だが、組織名・所在地・研究者コミュニティは異なる。 - 2012 年当時、[[Florian Pinel]] と [[Larisa Shwartz]] が在籍し、[[Florida International University]] の [[Tao Li]] グループと協働して NOMS 2012 論文を発表。 - IBM Tivoli モニタリングシステムの本番データを研究に提供した経緯があり、産学連携の実証研究拠点としての役割を担っていた。 ## 主要な研究系譜 - **自律コンピューティング(Autonomic Computing)**: [[Jeffrey O. Kephart]] と [[David M. Chess]] が、自己構成・自己最適化・自己修復・自己防御の 4 側面と MAPE-K アーキテクチャを提示したビジョン論文 [[@2003__Computer__The Vision of Autonomic Computing]](*Computer*, 2003)を発表。同拠点における IT サービス管理・AIOps 系研究(下記 NOMS 2012 等)の理論的源流の一つ。 - **IT システムモニタリング最適化**: 非アクション可能アラートの削減(NOMS 2012)[[@2012__NOMS__Optimizing System Monitoring Configurations for Non-Actionable Alerts]] - **イベントパターン分析**: Perng+, KDD 2003 など、アクション可能パターンの識別研究 - **ログ処理基盤**: Generic adapter logging toolkit(ICAC 2004)など - **IT システムモニタリング最適化の拡張(KDD 2013)**: [[Florian Pinel]]・[[Larisa Shwartz]] が NOMS 2012 論文を拡張し、偽陽性削減(予測ルール+待機時間)に加えテキスト分類による偽陰性チケット発見を統合したフレームワークを発表。複数 IBM 顧客アカウントの本番環境に配備。(Source: [[@2013__KDD__An Integrated Framework for Optimizing Automatic Monitoring Systems in Large IT Infrastructures]]) ## 主要な研究系譜(追記) - **LLM 駆動インシデント緩和**: [[Larisa Shwartz]] が [[Komal Sarda]] ほか([[York University]])と共著で、アラート要約・RCA・緩和計画生成を統合する適応 LLM フレームワーク AIM を提案(FSE Companion '26)。IBM Watsonx.ai 上での DeepSeek-V3・LLaMA-3-70B ファインチューニングを含む。(Source: [[@2026__FSE Companion__Leveraging LLMs for Alert Summarization and Mitigation Plan Generation]]) - **フィードバック制御理論のコンピューティングシステムへの応用**: [[Joseph L. Hellerstein]]・[[Yixin Diao]]・[[Sujay Parekh]] が *Feedback Control of Computing Systems*(Wiley, 2004)を執筆し、IBM Lotus Domino Server・Apache HTTP Server を実例に、差分方程式によるシステム同定と PID 制御をコンピューティングシステムへ適用する研究を行った。同書第4章では、これらの実例をブロック線図で組み立て、複数コンポーネントを合成する反復的なモデリング手続きとして示している。第5章では、同じ実例を一次系の過渡応答解析(整定時間・定常ゲイン・極による安定性判定)の題材として用いている。第6章では、これらの実例にフィルタ・コントローラを加えて生じる2〜3次系を対象に、支配極(絶対値最大の極)による一次系近似で整定時間・オーバーシュートを予測する高次系解析の枠組みを展開している。第7章では、Apache HTTP Serverを本書で唯一MIMO(多入力多出力)を正面から扱う実例として状態空間モデルで再定式化し、SISO近似との比較を実測データで検証している。第9章では、比例制御単独では消せない定常偏差を積分制御・PI制御・PID制御によって解消する設計手法(極配置設計・根軌跡設計・CHR法による経験的整定)をIBM Lotus Domino Server・Apache HTTP Serverに適用している。第10章では、第7章の状態空間モデルを土台に、静的状態フィードバック・precompensator付き静的状態フィードバック・動的状態フィードバックという3つの制御アーキテクチャと、極配置設計・LQR(線形二次レギュレータ)という2つの設計技法を提示し、Apache HTTP ServerのMIMO制御(CPU・MEMをKeepAlive・MaxClientsで制御)においてLQR設計が極配置設計より実測での追従性能に優れることを示している。本書最終章の第11章では、線形・決定的・時不変というそれまでの仮定を緩和するゲインスケジューリング・自己調整レギュレータ・最小分散制御・流体流近似・ファジィ制御を紹介し、M/M/1/K待ち行列とApache HTTP ServerのMaxClients最適化を題材にこれらの技法を実証している。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 2 Model Construction]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 4 System Modeling with Block Diagrams]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 5 First-Order Systems]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 6 Higher-Order Systems]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 7 State-Space Models]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 9 PID Controllers]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 10 State-Space Feedback Control]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 11 Advanced Topics]]) ## 主要な研究系譜(追記2) - **直交欠陥分類(ODC)**: [[Ram Chillarege]] が、ソフトウェア開発中の欠陥を少数の意味論的属性(defect type・defect trigger)で分類し、統計的欠陥モデルと根本原因分析の中間を埋める測定システムを開発した。1990年代前半に約50プロジェクト・十数拠点のIBM社内ラボへ展開し、根本原因分析支援でコストを10分の1に削減した実績を報告している。(Source: [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 9 Orthogonal Defect Classification]]) - **アラーム相関のPFSMモデル(前史)**: [[George W. Hart]] は Columbia University 在籍時に [[Isabelle Rouvellou]] と共同で、通信ネットワークの障害を確率的有限状態機械(PFSM)としてモデル化しアラームを相関付ける枠組みを提案した。論文脚注は発表当時 Hart が本拠点(IBM T.J. Watson Research Center)へ移籍済みであったことを示しており、同拠点における障害管理・診断研究の系譜が1990年代半ばまで遡ることを示唆する。(Source: [[@1995__INFOCOM__Automatic Alarm Correlation for Fault Identification]]) ## 関連ソース - [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 9 Orthogonal Defect Classification]] - [[@2012__NOMS__Optimizing System Monitoring Configurations for Non-Actionable Alerts]] - [[@2026__FSE Companion__Leveraging LLMs for Alert Summarization and Mitigation Plan Generation]] - [[@2003__Computer__The Vision of Autonomic Computing]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 2 Model Construction]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 4 System Modeling with Block Diagrams]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 3 Z-Transforms and Transfer Functions]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 5 First-Order Systems]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 6 Higher-Order Systems]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 7 State-Space Models]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 9 PID Controllers]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 10 State-Space Feedback Control]] - [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 11 Advanced Topics]] - [[@2013__KDD__An Integrated Framework for Optimizing Automatic Monitoring Systems in Large IT Infrastructures]] ## 関連 - ソース: [[@1995__INFOCOM__Automatic Alarm Correlation for Fault Identification]] - エンティティ: [[George W. Hart]] / [[Isabelle Rouvellou]] ## 出典 - [[@1995__INFOCOM__Automatic Alarm Correlation for Fault Identification]]