文献

J-GLOBAL ID：202002215912018331   整理番号：20A1187246

UMLとTLA+を用いたスマート学校建築システムのモデリング【JST・京大機械翻訳】

Modeling a Smart School Building System Using UML and TLA+

著者 (2件)： Obeidat Nawar H. (University of Cincinnati) ,  Purdy Carla (University of Cincinnati)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ICICT  ページ： 131-136  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： スマートシステムの設計は,完全に制御されたスマートシステムを構築するために,不均一サブシステムを一緒に接続する能力のために,最近多くの注目を集めている。このプロジェクトにおいて,学生のためのスマートで安全な学校システムの設計は,著者らの最終目標である。本論文では,スマート学校建築システムのモデルを提案した。システムのオブジェクトと動作のシーケンスを説明するために,UMLダイアグラムを用いてシステムをモデル化した。形式的手法を用いてシステムの特性を検証した。具体的には,形式モデリングのために形式仕様言語TLA+を用いた。スマートな学校建築に関しては,建築物に入るためにus名とパスワードを必要とすることによって,学校を安全に設計する。このシステムは,照明システムと全建物の温度を制御できる。追加の安全性のために,システムは火災の場合に煙検出サブシステムを持つ。このスマート学校建築システムを提案し,TLA+ツールボックスを用いてその特性と正当性を検証した。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件)： UML ,  学校 ,  建築 ,  モデリング