文献

J-GLOBAL ID：201702261336821162   整理番号：17A1775802

高度に利用可能なシステムのアップグレード:救助における形式的手法【Powered by NICT】

Upgrade of Highly Available Systems: Formal Methods at the Rescue

著者 (3件)： Jebbar Oussama ,  Khendek Ferhat ,  Toeroe Maria
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： IRI  ページ： 270-274  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 高可用性(HA)は,多くのサービス,例えばキャリアグレードサービスに必要であることをサービス品質である。このようなサービスを提供するシステムは,他のシステムのような,例えばソフトウェアバージョンアップ,改良を受けた。これらアップグレード中の回避/制限サービス停止はHA要求に適合するために非常に重要である。アップグレードキャンペーン仕様,プロセスを駆動することを適切に設計し,評価する必要がある。本論文では,モデル化,自動化,形式的方法は適切なアップグレードキャンペーンを設計するのを助けることができるかを議論した。実行時間と誘起されたサービス停止に関して改良キャンペーン仕様生成と評価のためのこの方法を議論した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： モデリング ,  自動化 ,  *救助
準シソーラス用語： 実行時間 ,  サービス品質 , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： アップグレード ,  救助 ,  形式的手法