線形時相論理による組込みシステムの仕様記述とペトリネットによる実装法

カテゴリ: 研究会(論文単位)

論文No: IS16032

グループ名: 【C】電子・情報・システム部門 情報システム研究会

発行日: 2016/10/07

タイトル(英語): A Specification Method of Embedded Systems Using Linear Temporal Logic and Its Implementation by Petri Nets

著者名: 岡田 卓也(岩手県立大学),猪股 俊光(岩手県立大学),杉野 英二(岩手県立大学),今井 信太郎(岩手県立大学),新井 義和(岩手県立大学)

著者名(英語): Takuya Okada(Iwate Prefectural University),Toshimitsu Inomata(Iwate Prefectural University),Eiji Sugino(Iwate Prefectural University),Shintaro Imai(Iwate Prefectural University),Yoshikazu Arai(Iwate Prefectural University)

キーワード: 組込みシステム|ペトリネット|線形時相論理|仕様記述|モデルベース開発|Embedded Systems|Petri Nets|Linear Temporal Logic|Speci cation|Model Based Development

要約(日本語): 組込みシステムには時間に関する動作が含まれる．本研究では，時間の概念を線形時相論理によって表すこととし，線形時相論理による組込みシステムの仕様記述法を考案した．さらに，仕様を満足するペトリネットを自動生成するためのアルゴリズムを考案した．

要約(英語): In order to describe the behavior of embedded systems, it is important to the concept of time .In this study,we represents the concept of time by linear temporal logic, we devised a specification description method of embedded systems by linear temporal logic. Furthermore, we devised an algorithm for automatically generating Petri Nets that satisfies the specification.

原稿種別: 日本語

PDFファイルサイズ: 1,259 Kバイト