文献

J-GLOBAL ID：201702289506606946   整理番号：17A0870011

ソフトウェア工学の最前線~ソフトウェアが社会のすべてを定義する時代~未来に向かって IoT時代の環境適応型ソフトウェア

著者 (3件)： 中川博之 (大阪大) ,  鄭顕志 (国立情報学研) ,  田原康之 (電通大)
資料名： 情報処理  (IPSJ Magazine)
巻： 58  号： 8  ページ： 702-704  発行年： 2017年07月15日 
JST資料番号： G0427A  ISSN： 0447-8053  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： IoT(Internet of Things)時代は頻繁かつ複雑な環境に対応する必要があるので人が介在することなく,動的に環境変化に適応できる制御ソフトウェアが求められる。本論文では,共有知識を組み込み,1)環境や対象ソフトウェアの監視,2)観測結果からの要求の達成状況の分析,3)要求達成のための振舞いの計画,4)計画に従ったソフトウェアの変更・実行を繰り返す自己適応ソフトウェアの動向を示した。まず,不確かな環境下での保証を現実的な開発コストで行うために,開発時にのみ用いられてきた設計・検証技術を実行時にシステム自身が利用する研究について述べた。次に,実行時に得られたデータから環境モデルを構築・更新するために機械学習を応用したり,プランニングやゲーム理論を活用した適応に関する研究を紹介した。また,制御理論を応用した自己適応ソフトウェアによる品質維持の枠組みではソフトウェアシステムを制御対象となるプラント,維持したい品質要求を目標値,自己適応エンジンをコントローラと見立てて数学的に期待する性質を満たすことで保証できる。クラウドコンピューティングにおけるオートスケール機能は自己適応技術の普及例であり,食品分野,セキュリティ分野,自動運転技術などへの活用が期待されることを論じた。

シソーラス用語： *ソフトウェア工学 ,  ソフトウェア ,  *相互接続 ,  *インターネット ,  ソフトウェア開発 ,  プログラム検証 ,  ソフトウェア設計 ,  *機械学習 ,  品質 ,  計算機利用 ,  コンピュータセキュリティ ,  自動運転
準シソーラス用語： *IoT ,  クラウドコンピューティング ,  ソフトウェア品質 ,  自己適応化

分類 (3件)： 計算機システム開発  (JD02010R) ,  その他の情報処理  (JE15050M) ,  人工知能  (JE08000Z)

引用文献 (6件)：

• Calinescu, R., Ghezzi, C. et al : Self-adaptive Software Needs Quantitative Verication at Runtime, Communications of the ACM, Vol.55, No.9, pp.69-77(2012).
• Zave, P. and Jackson, M. : Four Dark Corners of Requirements Engineering, ACM TOSEM, Vol.6, No.1, pp.1-30 (1997).
• Filieri, A. et al. : Supporting Self-adaptation Via Quantitative Verication and Sensitivity Analysis at Run Time, IEEE TSE, Vol.42, No.1, pp.75-99 (2016).
• Filieri, A. et al. : Software Engineering Meets Control Theory, In SEAMS ’15, IEEE, pp.71-82 (2015).
• Self-adaptive.org. Software Engineering for Self-adaptive Systems : Exemplars, https://www.hpi.uni-potsdam.de/giese/public/selfadapt/exemplars/

タイトルに関連する用語 (7件)： ソフトウェア工学 ,  ソフトウェア ,  社会 ,  定義 ,  未来 ,  IoT ,  環境適応