研究課題
基盤研究(B)
本研究では「開発時の想定に漏れた環境変化」に対して即応的に適応し，実現可能な最大限の機能を維持するしなやかなソフトウェアシステム をどのように開発するのか，という問いを扱う．オープン環境で動作するソフトウェアシステムの開発では実行環境の変化を開発時に想定し尽 くすことは本質的に困難であり，開発時の想定にのみ頼った従来の開発手法では機能要求に対する保証は失われてしまう．本研究では，想定外 の環境変化をモデルに反映し，変化後の環境下で実現可能な最大限の機能要求を実行時に特定し，その機能要求を満たすことが保証された動作 仕様を実行時合成する実行時モデルフレームワークを提案する．
