文献

J-GLOBAL ID：201702218911026435   整理番号：17A0889687

EAST-ADLにおけるモデル化された埋込みシステムのエネルギー消費のための自動テスト生成【Powered by NICT】

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL

著者 (4件)： Marinescu Raluca ,  Enoiu Eduard ,  Seceleanu Cristina ,  Sundmark Daniel
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICSTW  ページ： 69-76  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 建築設計モデルを用いた試験は,このシステムでは,その仕様を満たし,計算成分とそれらの相互作用の観点から全体として働くかどうかを決定することを意図している。組み込みシステムの増大する複雑さは,追加機能要求の試験をサポートすることができる新しい技術を必要とし,部品とシステムのエネルギー使用,有効な実装を得るために非常に必要である。本論文では,EAST-ADL建築言語で記述された建築モデルでも組み込みシステムのエネルギー消費を試験するために使用できるかを示している,価格時間オートマトンと呼ばれる形式モデルのネットワークに変換した。エネルギー消費情報で注釈されたEAST-ADLモデルを仮定して,価格時間オートマトンのネットワークの統計的モデル検査(SMC)に基づくエネルギーを意識したテストケースを自動的に生成する方法を示した。UPPAAL SMCで実行可能テストケースの生成を自動化,システムのいくつかのランダムシミュレーションに基づく試験戦略を用いた。集合エネルギー消費関連故障の元の形式モデルを播種することで,故障検出解析を行うことができる。自動車ドメインからのブレーキ-バイ-ワイヤシステムにこの手法を適用し,効率とモデル故障検出の観点からそれを評価した。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】

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

タイトルに関連する用語 (5件)： ADL ,  モデル ,  埋込みシステム ,  エネルギー消費 ,  自動テスト