文献

J-GLOBAL ID：202002283909113750   整理番号：20A2085267

抽象状態機械によるランタイムでのモデルベースシミュレーション【JST・京大機械翻訳】

Model-Based Simulation at Runtime with Abstract State Machines

著者 (2件)： Riccobene Elvinia (Dipartimento di Informatica, Universita degli Studi di Milano, Milan, Italy) ,  Scandurra Patrizia (Department of Economics and Technology Management, Information Technology and Production, Universita degli Studi di Bergamo, Bergamo, Italy)
資料名： Communications in Computer and Information Science  (Communications in Computer and Information Science)
巻： 1269  ページ： 395-410  発行年： 2020年 
JST資料番号： W5071A  ISSN： 1865-0929  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： ソフトウェアシステムは,複雑性とスケールにおいて急速に成長して,資源アベイラビリティまたはシステム目的における変化の動力学に関連した異なる種類の不確実性に主題であった。したがって,多くの実際の利用シナリオは,設計時間で再現し,検証することは不可能である。モデル@ランタイム研究コミュニティによって想定されたように,ランタイムでのモデルの使用は,この課題に取り組むための基本である。著者らの焦点は,形式的方法(FM@実行時間)の領域から数学的にベースの実行時間分析技術の採用によって,実行時間(不確実性の形式)における安全目標を変えるための保証を提供することである。本論文では,実行時間におけるソフトウェア保証を提供するために,抽象状態機械モデルの実行時間シミュレーションおよびモデルレベルでの安全アサーションのオンザフライ変化のための新しいフレームワークを提案した。フレームワークは,AsmetaS@ランタイムと呼ばれ,ASM仕様と解析ツールセットASMETAの一部として開発されている。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *シミュレーション ,  不確実性 ,  コミュニティ ,  アベイラビリティ ,  ソフトウェア
準シソーラス用語： *抽象機械 ,  解析ツール ,  実行時間 ,  *モデルベース ,  複雑性 ,  アサーション ,  ソフトウェアシステム , 【Automatic Indexing@JST】

著者キーワード (4件)： ランタイムシミュレーション ,  モデル@実行時間 ,  抽象状態機械 ,  ASMETA

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： 抽象状態機械