端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法

• Item type: SIG Technical Reports(1)
• 公開日: 2017-07-12
• タイトル: 端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法
• タイトル / 言語: en
• タイトル: Deadlock Detection in Scheduling of Last-Mile Transportation by Using Model Checking
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 筑波大学情報学群情報科学類
• 著者所属: 筑波大学システム情報系情報工学域
• 著者所属: 筑波大学システム情報系情報工学域
• 著者所属(英): en
• 著者所属(英): College of Information Science, University of Tsukuba
• 著者所属(英): en
• 著者所属(英): Information and Systems, Faculty of Engineering, Division of Information Engineering, University of Tsukuba
• 著者所属(英): en
• 著者所属(英): Information and Systems, Faculty of Engineering, Division of Information Engineering, University of Tsukuba
• 著者名: 辻, 光顕; 長谷部, 浩二; 加藤, 和彦
• 著者名(英): Mitsuaki, Tsuji; Koji, Hasebe; Kazuhiko, Kato
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 著者らは車両の自律動作により隊列走行可能な端末交通システムの研究開発を行っている．このシステムの特長は，隊列を再編成することにより，旅客の乗り換え動作を排することができる点にある．一方で，隊列の再編成のルールや各車両の運行経路によっては，どの車両も次の停留所に移動できないデッドロックの状態に陥る可能性がある．本論文では，与えられた運行スケジュールにおけるデッドロックの可能性を検出する手法を提案する．特にここではシステムの状態を網羅的に探索するためにモデル検査法を用いる．また，いくつかの具体例をもとに提案手法の有用性を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The authors are developing a last-mile transportation system with autonomous vehicles. The greatest feature is that passengers do not have to transfer by means of the way of rearrangement of fleets. On the other hand, due to the rules for rearranging fleets and the traveling route of vehicles, any vehicle may fall into a deadlock situation where it cannot proceed to the next stop. To address this problem, in this paper we propose a method to detect the possibility of deadlock in a given operation schedule. For this objective, we use a model checking method to search all possible states of the system. We also demonstrate the usefulness of the proposed method by using some examples.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2017-SE-196, 号 2, p. 1-6, 発行日 2017-07-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会