文献

J-GLOBAL ID：202102218061745582   整理番号：21A2573028

コンポーネントベース管理システム構築のための増分合成プロセス【JST・京大機械翻訳】

Incremental Composition Process for the Construction of Component-Based Management Systems

著者 (5件)： Rana Tauseef (Department of Computer Software Engineering, MCS, National University of Sciences and Technology, Islamabad 44000, Pakistan) ,  Bangash Yawar Abbas (Department of Computer Software Engineering, MCS, National University of Sciences and Technology, Islamabad 44000, Pakistan) ,  Baz Abdullah (Department of Computer Engineering, College of Computer and Information Systems, Umm Al-Qura University, Makkah P.O. Box 715, Saudi Arabia) ,  Rana Toqir Ahmad (Department of Computer Science & IT, The University of Lahore, Lahore 54000, Pakistan) ,  Imran Muhammad Ali (School of Engineering, University of Glasgow, Glasgow G12 8QQ, UK)
資料名： Sensors (Web)  (Sensors (Web))
巻： 20  号： 5  ページ： 1351  発行年： 2020年 
JST資料番号： U7015A  ISSN： 1424-8220  CODEN： SENSC9  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： スイス (CHE)  言語： 英語 (EN)

抄録/ポイント： サイバー物理システム(CPS)は,ソフトウェアとハードウェア成分から成る。多くのそのようなシステム(例えば,IoTベースシステム)は,既存のシステムを一緒に構成することによって作成される。これらのシステムのいくつかは,例えば緊急または災害管理システムである。一般的に,部品ベース開発(CBD)は,事前構築および試験成分を構成することにより,システムを構築するための有用なアプローチである。しかし,重要なシステムのために,開発方法は,建設過程のいろいろな段階で部分的システムを確認する方法を提供するべきであった。本論文では,システムアーキテクチャのために,剛体アーキテクチャと柔軟なアーキテクチャの2つのスタイルを提案した。外因性コネクタの協調による独立成分から成るシステムアーキテクチャは,柔軟なアーキテクチャスタイルカテゴリーである。臨界システムのCBDに対して,柔軟なアーキテクチャスタイルカテゴリーからEX-MANを選択した。さらに,一連のシステム要件からクリティカルシステムを構築するために,このモデルの増分構成メカニズムを定義した。増分構成は,システム挙動の保存と各増分ステップにおける部分アーキテクチャの正しさを提供するために定義される。提案手法を評価するために,気象監視システム(災害管理の一部)の事例研究を,著者らのEX-MANツールを用いて構築した。Copyright 2021 The Author(s) All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 剛体 ,  気象 ,  コネクタ ,  臨界 ,  監視装置 ,  ハードウェア ,  ソフトウェア ,  事例研究 ,  *計算機アーキテクチャ ,  システムアーキテクチャ
準シソーラス用語： *システム構築 ,  モノのインターネット ,  災害管理 , 【Automatic Indexing@JST】

著者キーワード (6件)： 臨界システム ,  コンポーネントベース開発(CBD) ,  組成検証 ,  EX-MANコンポーネントモデル ,  センサ組成 ,  増分組成

分類 (2件)： 計測機器一般  (AD02000X) ,  都市交通  (TA01020W)

引用文献 (37件)：

• Medikonda, B.S.; Panchumarthy, S.R. A Framework for Software Safety in Safety-critical Systems. SIGSOFT Softw. Eng. Notes 2009, 34, 1-9.
• Knight, J.C. Safety critical systems: Challenges and directions. In Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, Orlando, FL, USA, 25 May 2002; pp. 547-550.
• Lee, E. Cyber Physical Systems: Design Challenges. In Proceedings of the 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), ISORC ’08, Orlando, FL, USA, 5-7 May 2008; pp. 363-369.
• Bellekens, X.; Atkinson, R.; Seeam, A.; Tachtatzis, C.; Andonovic, I.; Nieradzinska, K. Cyber-Physical-Security Model for Safety-Critical IoT Infrastructures. In Proceedings of the Wireless World Research Forum Meeting 35, Copenhagen, Danemark, 14-16 October 2015.
• Krueger, C. Software reuse. ACM Comput. Surv. (CSUR) 1992, 24, 131-183.

タイトルに関連する用語 (4件)： コンポーネント ,  システム構築 ,  増分 ,  プロセス