文献

J-GLOBAL ID：202002279081917456   整理番号：20A2554359

QRML:品質と資源管理のためのコンポーネント言語とツールセット【JST・京大機械翻訳】

QRML: A Component Language and Toolset for Quality and Resource Management

著者 (9件)： van den Berg Freek (Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands) ,  Camra Vaclav (Distributed and Dependable Systems, Charles University,Prague, Czech Republic) ,  Hendriks Martijn (Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands) ,  Geilen Marc (Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands) ,  Hnetynka Petr (Distributed and Dependable Systems, Charles University,Prague, Czech Republic) ,  Manteca Fernando (Grupo de Ingenieri ́a Microelectro ́nica, Universidad de Cantabria,Santander,Spain) ,  Sanchez Pablo (Grupo de Ingenieri ́a Microelectro ́nica, Universidad de Cantabria,Santander,Spain) ,  Bures Tomas (Distributed and Dependable Systems, Charles University,Prague, Czech Republic) ,  Basten Twan (Electronic Systems, Eindhoven University of Technology,Eindhoven,Netherlands)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： FDL  ページ： 1-8  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サイバー物理システム(CPS)は,複雑,不均一,動的システムであり,エッジデバイスからクラウドプラットフォームにわたるハードウェアとソフトウェアコンポーネントをスパニングする。CPSは,例えばデッドライン,安全性,および品質に関して,多くの厳密な制約を満たす必要があり,限られた数の配置だけが制約を満たす大きな構成空間をもたらし,そして,ある品質に関して分数だけが最適である。最適構成を見つけることは,特にランタイム操作の間,ハードである。QRML,品質と資源管理領域特定言語,および付随するツールセットを提示した。QRMLは,異種ハードウェア/ソフトウェアシステムとその構成と構成を便利に,自動化した推論を,それらについて自動化し,品質と資源監視テンプレートのような実装アーチファクトを生成することを可能にした。QRMLモデルは,成分の階層構造から成る。コンポーネント仕様は制約と要求を表現し,多目的品質と資源最適化と探索目的に役立つ。QRMLツールセットは,言語サポート,可視化,文書生成,テンプレートコード生成,および制約解決サポートを提供する。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  自動化 ,  *言語 ,  動的系 ,  可視化 ,  時間制限 ,  ハードウェア ,  階層構造 ,  コード生成 ,  アーチファクト ,  ソフトウェアコンポーネント ,  資源管理
準シソーラス用語： ソフトウェアシステム , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 資源管理 ,  コンポーネント ,  言語 ,  ツール