{"product_id":"ieej-ct11gs09004","title":"Formalising Real-time and Concurrency Control in ATPB system","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e部門大会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eGS9-4\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【C】平成23年電気学会電子・情報・システム部門大会講演論文集\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2011\/09\/07\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eFormalising Real-time and Concurrency Control in ATPB system\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003eGuo Xie(Nihon University),Hiroshi Mochizuki(Nihon University),Sei Takahashi(Nihon University),Hideo Nakamura(Nihon University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eGuo Xie(Nihon University),Hiroshi Mochizuki(Nihon University),Sei Takahashi(Nihon University),Hideo Nakamura(Nihon University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003eATPB|railway system|Real-time|Concurrency|Formal Method\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003eConsidering that several trains may communicate with control center and query the database concurrently and in real-time, this paper presents a formal specification of the procedures of receiving and dispatching trains in the Automatic Train Protection and Block (ATPB) railway system by VDM++. First, the specific process is presented by natural language; then the specification of concurrency control is introduced; At last, considering the execution time of operations, the real-time and concurrency control in this system is specified. The model is validated by simulation, and as all the concepts are captured and validated, it contributes to the future development and application of ATPB system.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e5,999 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格440円\/会員価格220円） \/ A4 \/ 6","offer_id":46406478725359,"sku":"IEEJ-CT11GS09004-PDF","price":440.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_f333061c-3c00-4e65-b115-7db179ca5b6c.png?v=1745139865","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-ct11gs09004","provider":"電気学会 電子図書館","version":"1.0","type":"link"}