{"product_id":"ieej-zt114238","title":"Formalising Railway Communication system","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e全国大会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003e4-238\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【全国大会】平成23年電気学会全国大会論文集\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2011\/03\/05\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eFormalising Railway Communication system\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e謝 国(日本大学),黒田智也(日本大学),望月 寛(日本大学),高橋 聖(日本大学),中村英夫(日本大学)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eGuo Xie()\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003eThis paper describes formal model of a communication system of railway system by VDM (Vienna Development Method), presents the proof obligations and validations of the system, and makes a formalism analysis for the model. The obligations are proved in order to verify the internal consistency, and the validations are proved to verify the designed system satisfies the requirements. In this wireless communication system [1], the information exchange between the on board system in train and the control center is accomplished by free phone line.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e1,193 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格440円\/会員価格220円） \/ A4 \/ 1","offer_id":46398800199919,"sku":"IEEJ-ZT114238-PDF","price":440.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_e541844c-286e-4bcc-9d25-c40be95eaeaf.png?v=1744879882","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-zt114238","provider":"電気学会 電子図書館","version":"1.0","type":"link"}