{"product_id":"ieej-is16032","title":"線形時相論理による組込みシステムの仕様記述とペトリネットによる実装法","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e研究会(論文単位)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eIS16032\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【C】電子・情報・システム部門 情報システム研究会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2016\/10\/07\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eA Specification Method of Embedded Systems Using Linear Temporal Logic and Its Implementation by Petri Nets\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e岡田 卓也(岩手県立大学),猪股 俊光(岩手県立大学),杉野 英二(岩手県立大学),今井 信太郎(岩手県立大学),新井 義和(岩手県立大学)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eTakuya Okada(Iwate Prefectural University),Toshimitsu Inomata(Iwate Prefectural University),Eiji Sugino(Iwate Prefectural University),Shintaro Imai(Iwate Prefectural University),Yoshikazu Arai(Iwate Prefectural University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003e組込みシステム|ペトリネット|線形時相論理|仕様記述|モデルベース開発|Embedded Systems|Petri Nets|Linear Temporal Logic|Speci cation|Model Based Development\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003e組込みシステムには時間に関する動作が含まれる．本研究では，時間の概念を線形時相論理によって表すこととし，線形時相論理による組込みシステムの仕様記述法を考案した．さらに，仕様を満足するペトリネットを自動生成するためのアルゴリズムを考案した．\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(英語): \u003c\/strong\u003eIn 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.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e1,259 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格330円\/会員価格220円） \/ A4 \/ 6","offer_id":46362924024047,"sku":"IEEJ-IS16032-PDF","price":330.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_ce074502-3c56-4451-926c-3e6317a1fe5d.png?v=1743644972","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-is16032","provider":"電気学会 電子図書館","version":"1.0","type":"link"}