Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Akira Asano is active.

Publication


Featured researches published by Akira Asano.


secure software integration and reliability improvement | 2011

Study on Formal Specification of Automatic Train Protection and Block System for Local Line

Guo Xie; Akira Asano; Sei Takahashi; Hideo Nakamura

This paper presents a formal specification of an Automatic Train Protection and Block (ATPB) model for local line railway system in Japan proposed by the author [12], and validates the model by internal consistency proving and systematic testing. The system consists of two parts, the on-board subsystem and ground subsystem. The former is to detect the basic state of train, such as position, speed and integrity, monitor the speed, communicate with ground equipment and record the relative events. And the latter is responsible for communicating with train, controlling the route and interlocking, and decision-making for train operation adjustment. The main purpose of this project is to improve the efficiency and guarantee that there is no collision, no derailment and no over speeding at the same. The formal language used in this project is VDM++. And the state and specification of operation are all checked and validated using VDMTools. The results confirm the correctness of this system and the model throws new light on practical system design.


international conference on quality, reliability, risk, maintenance, and safety engineering | 2011

Formal verification of Communication based Train Control system

Guo Xie; Akira Asano; Xinhong Hei; Hiroshi Mochizuki; Sei Takahashi; Hideo Nakamura

In the CBTC (Communication-based Train Control) system, the wireless terminals (repeaters) are the communication bridges between the control-center and the on-board system. This paper presents a formal analysis of the train-to-ground communication link verification (TCLV) system. Firstly, this paper lists the requirements and analyzes the necessary system state and operations, then transforms the natural language describing system into a rigorous mathematical described model. At last, for the formal model, the proof obligations are proved to verify its internal consistency, and the validations are proved to verify the states and operations satisfying the expected requirements. The result of proof denotes that the actual system designed as the specification described in this paper would satisfy the requirements under the premise of safety and reliability.


Ieej Transactions on Industry Applications | 2006

A Study on Railway Signal System to Apply CDMA-QAM Method

Hiroshi Mochizuki; Akira Asano; Minoru Sano; Sei Takahashi; Hideo Nakamura


Ieej Transactions on Industry Applications | 2015

Development of Track Condition Monitoring System Based on Compact Onboard Sensing Devices

Masayuki Ogino; Hitoshi Tsunashima; Kazuki Yanagisawa; Hirotaka Mori; Akira Asano; Shohei Wakai


Ieej Transactions on Industry Applications | 2016

A Distance Calculation Method by Combining Inertial Sensors and Tachometer Generators for Communications-based Train Control Systems

Koji Iwata; Takashi Yamamichi; Yoichi Sugiyama; Takayasu Kitano; Akira Asano; Yuji Hirao


Ieej Transactions on Electronics, Information and Systems | 2016

Restructuring of Train Control System by Hierarchical Design

Yoshihisa Saito; Akira Asano; Hideo Nakamura; Hiroshi Mochizuki; Sei Takahashi


The Proceedings of Mechanical Engineering Congress, Japan | 2015

G1800103 Development of track condition monitoring system for conventional railway

Masayuki Ogino; Hitoshi Tsunashima; Kazuki Yanagisawa; Hirotaka Mori; Akira Asano


The Proceedings of International Symposium on Seed-up and Service Technology for Railway and Maglev Systems : STECH | 2015

2P25 Development of track condition monitoring system using in-service vehicle and monitoring examples(Shotgun Session)

Masayuki Ogino; Hitoshi Tsunashima; Kazuki Yanagisawa; Hirotaka Mori; Akira Asano


The Proceedings of International Symposium on Seed-up and Service Technology for Railway and Maglev Systems : STECH | 2015

1A21 Integrated train control system : The new direction of train control system(Electrical-Power)

Akira Asano; Tetsuya Takata; Hideo Nakamura


The Proceedings of International Symposium on Seed-up and Service Technology for Railway and Maglev Systems : STECH | 2015

2B23 Condition diagnosis of railway tracks by a compact size onboard device(Condition Monitoring-Infrastructure)

Hirotaka Mori; Yasuhiro Sato; Hiroyuki Ohno; Masayuki Ogino; Hitoshi Tsunashima; Akira Asano

Collaboration


Dive into the Akira Asano's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Hideo Nakamura

College of Science and Technology

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Yuji Hirao

Railway Technical Research Institute

View shared research outputs
Top Co-Authors

Avatar

Yasuhiro Sato

Ontario Ministry of Transportation

View shared research outputs
Researchain Logo
Decentralizing Knowledge