{"product_id":"ieej-ter12003","title":"ATP閉そくシステムの形式化とシミュレーション","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e研究会(論文単位)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eTER12003\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【D】産業応用部門 交通・電気鉄道研究会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2012\/01\/25\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eFormalizing and Simulating Automatic Train Protection and Block System\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e黒田 智也(日本大学),謝 国(日本大学),望月 寛(日本大学),高橋 聖(日本大学),中村 英夫(日本大学)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eKuroda Tomoya(Nihon university),Xie Guo(Nihon university),Mochizuki Hiroshi(Nihon university),Takahashi Sei(Nihon university),Nakamura Hideo(Nihon university)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003e列車システム|ＡＴＰ閉そく|形式手法|仕様書|Railway System|ATPB|Formal methods|Specification\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003eATP閉そくという新たな列車信号システムの仕様書を形式的な手法で分析を行なった。具体的手法について、まず、実際のシステムの要件を分析に基づいて、システムのUMLのクラス図を作成した上に、VDM++を用いてATP閉そくシステムの仕様書を記述した。さらに、厳密な形式的な手法で、仕様書を分析上で、システムのシミュレータがされた。結果は、仕様書の高品質を示し、ランタイムエラーや矛盾などがないこと分かった。\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e3,926 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格330円\/会員価格220円） \/ A4 \/ 4","offer_id":46394113425647,"sku":"IEEJ-TER12003-PDF","price":330.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_53585be7-5f17-4ed0-8e87-a6105fd426d0.png?v=1744718172","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-ter12003","provider":"電気学会 電子図書館","version":"1.0","type":"link"}