文献

J-GLOBAL ID：202002247176806993   整理番号：20A0819651

VDM-SLを用いたスマート空港エプロン管理システム形式モデリング【JST・京大機械翻訳】

Smart Airport Apron Management System Formal Modeling using VDM-SL

著者 (2件)： Latif Saba (COMSATS University Islamabad,Department of Computer Science,Sahiwal,Pakistan) ,  Ferzund Javed (COMSATS University Islamabad,Department of Computer Science,Sahiwal,Pakistan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： MACS  ページ： 1-6  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 最近の技術の出現により,スマートシステムは従来のシステムを置き換えている。無線センサとRFIDはスマートシステムの重要な構成要素であり,スマートサービス,スマート輸送,スマートグリッド,スマート農業,スマートヘルス,スマートホームのような多くのアプリケーションを持っている。世界におけるバス空港は,1時間当たり多数の飛行を管理しなければならない。さらに,微小な多くの飛行土地と離陸の中にある。そこで,空港アプロン管理システムは,効率的でエラーフリーでなければならない。本論文では,飛行着陸,駐車および離陸を管理するためのスマート空港Apron管理システムを提示した。システムは,自由駐車空間,全割当または自由スロット,飛行処理,および光を用いた情報表示のような操作を支援する。システムの不均一センサとモノのインターネット(IoT)を用いたシステムとの相互作用をモデル化した。提案したシステムの正当性の証明を提供するために,Vienna開発法言語(VVM-SL)において,静的および動的にすべての操作をモデル化した。VDM-SLは,離散数学概念を用いて数学的表記によりシステムをモデル化する仕様言語である。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *空港 ,  RFID ,  土地 ,  飛翔 ,  相互作用 ,  *管理システム ,  スマートグリッド ,  着陸 ,  駐車 ,  言語 ,  応用プログラム ,  センサ ,  仕様記述言語
準シソーラス用語： モノのインターネット ,  スマートホーム , 【Automatic Indexing@JST】

分類 (2件)： 図形・画像処理一般  (JE04010I) ,  パターン認識  (JE07000S)

タイトルに関連する用語 (7件)： VDM ,  SL ,  空港 ,  エプロン ,  管理システム ,  形式 ,  モデリング