文献

J-GLOBAL ID：201102206242020984   整理番号：11A1552416

成分ベースの組込みソフトウエア設計のための非機能性検証のツール実用化

Tool Implementation of Non-functional Verification for Component-based Embedded Software Designs

著者 (6件)： Xu Bingfeng (Coll. of Information Sci. and Technol., Nanjing Univ. of Aeronautics and Astronautics, Nanjing) ,  Hu Jun (Coll. of Information Sci. and Technol., Nanjing Univ. of Aeronautics and Astronautics, Nanjing) ,  Cao Dong (Coll. of Automation Engineering, Nanjing Univ. of Aeronautics and Astronautics, Nanjing) ,  Huang Zhiqiu (Coll. of Information Sci. and Technol., Nanjing Univ. of Aeronautics and Astronautics, Nanjing) ,  Guo Lijuan (Coll. of Information Sci. and Technol., Nanjing Univ. of Aeronautics and Astronautics, Nanjing) ,  Zhang Jian (Coll. of Information Sci. and Technol., Nanjing Univ. of Aeronautics and Astronautics, Nanjing)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 37  号： 8  ページ： 156-163  発行年： 2010年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 組込みソフトウェアシステムの非機能性特性を,全体のシステムの高信頼性保証への重要特性の1つであるとみなす。組込み計算ドメインにおける伝統的信頼性方法は,システム設計の分析と検証,特に非機能性特性に関してサポートする効果的ツールが殆んど無しで,機能性実用化とテストフレーズに関心をもっている。この研究で,資源利用とエネルギー消費特性を考慮する分析と検証能力で,プロトタイプT-CBESD(コンポーネントベースの組込みソフトウエア設計のためのツール)を拡張した。それぞれ資源インターフェイスオートマトンとエネルギーオートマトンのための入出力機構,UMLシーケンスダイアグラムからメッセージイベントシーケンスの集合までの前翻訳,非機能性な意味がある状態空間データ構造設計,資源とエネルギー消費特性に関するいくつかの分析と検証アルゴリズムの実装問題,およびコンポーネントベースのシステム設計分析の用例を含んでいる。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *ソフトウェア設計 ,  組込【遺伝】 ,  性質 ,  図面 ,  ソフトウェア ,  インタフェイス ,  オートマトン ,  アルゴリズム ,  システム設計 ,  入出力装置
準シソーラス用語： 機能性 ,  シーケンスダイアグラム ,  組込みソフトウェア ,  入出力機構

分類 (2件)： システムモデル  (IB02000Z) ,  計算機ソフトウエア一般  (JD01010K)

タイトルに関連する用語 (6件)： 組込み ,  ソフトウエア設計 ,  機能性 ,  検証 ,  ツール ,  実用化