文献

J-GLOBAL ID：202002255962119292   整理番号：20A0145468

信号および画像処理応用のためのUML/SYSML機能的視点の静的データフロー解析【JST・京大機械翻訳】

Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications

著者 (4件)： Enrici Andrea (Nokia Bell Labs, Nozay, France) ,  Apvrille Ludovic (LTCI, Telecom Paris, Institut Polytechnique de Paris, Paris, France) ,  Pacalet Renaud (LTCI, Telecom Paris, Institut Polytechnique de Paris, Paris, France) ,  Pham Minh Hiep (LTCI, Telecom Paris, Institut Polytechnique de Paris, Paris, France)
資料名： Communications in Computer and Information Science  (Communications in Computer and Information Science)
巻： 1161  ページ： 101-126  発行年： 2020年 
JST資料番号： W5071A  ISSN： 1865-0929  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 不均一マルチプロセッサシステムオンチップの複雑さは,C/C++のような逐次言語に基づくソフトウェア開発ソリューションの限界を拡張する。これらはまだ実際に最も広く使われている言語であるが,モデルベースの解は効率的な代替案と思われる。しかしながら,マルチプロセッサシステムのためのモデルの最適化された編集は,まだ多くのオープンな研究問題を提示している。特に,モデルに対する静的データフロー解析は,プログラム解析(反復および作業リストアルゴリズム)に用いられる従来のアルゴリズムの適応を必要とする。これらのアルゴリズムは,ユニークな開始ノード(すなわち,先行しないノード)を持つ制御フローグラフ上で動作し,各基本ブロックがこの開始ノードから到達可能であると仮定する。本論文では,基本ブロックが異なるスタート状態から生じる経路により到達できる,制御フローグラフを調べる,良く知られた反復およびワークリストアルゴリズムの新しい組合せを示した。この解を,UML活動とSysMLブロック図で表示される信号と画像処理モデルの機能的視点に適用した。区間解析に対するその有効性を実証し,モデルの制御フローグラフの訪問数の大幅な削減を達成できることを示した。Copyright 2020 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ブロック線図 ,  *データフロー解析 ,  ソフトウェア開発 ,  マルチプロセッサシステム ,  C++言語 ,  *画像処理 ,  プログラム解析 ,  工作物 ,  有効性 ,  最適化 ,  言語 ,  アルゴリズム
準シソーラス用語： 区間解析 ,  制御フロー ,  モデルベース , 【Automatic Indexing@JST】

著者キーワード (3件)： 静的データフロー解析 ,  モデルコンパイルUML/SYSMLの最適化 ,  マルチプロセッサシステムオンチップ

分類 (1件)： ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (6件)： 画像処理 ,  応用 ,  UML ,  SysML ,  視点 ,  データフロー解析