{"product_id":"ieej-ld11025","title":"ＶＤＭ++とＵＭＬの並用による地方鉄道ＡＴＰＢシステムの形式的分析","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e研究会(論文単位)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eLD11025\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【D】産業応用部門 リニアドライブ研究会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2011\/07\/21\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eFormal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e謝 国(日本大学理工学部),高橋 聖(日本大学理工学部),中村 英夫(日本大学理工学部)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003exie guo(college of science and technology,nihon uinversity),takahashi sei(college of science and technology,nihon uinversity),nakamura hideo(college of science and technology,nihon uinversity)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003eＡＴＰＢ|鉄道システム|形式方法|ＶＤＭ＋＋|ＵＭＬ|クラス図|ATPB|railway system|formal methods|VDM++|UML|Class Diagram\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003e地方鉄道のために、著者は低コストで路線の効率向上をさせるＡＴＰＢ（自動列車保安閉そく）システムを提案している。ＡＴＰＢの主な機能は自動列車保安制御、確率な閉そく制御である。本論文ではシステムの安全機能、例えば衝突、脱線や速度超過に起因する事故を防ぐ機能について、ＶＤＭ++とＵＭＬを併用で形式的分析を行った。この分析の結果を用いてソフトウェア作られれば、システムの厳密性、内部整合性などが保障されることになる。\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e646 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格330円\/会員価格220円） \/ A4 \/ 6","offer_id":46393885982959,"sku":"IEEJ-LD11025-PDF","price":330.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_ad00bf71-8625-4fc7-823b-ba94bc40a4e7.png?v=1744712378","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-ld11025","provider":"電気学会 電子図書館","version":"1.0","type":"link"}