Mitsuyoshi Fukuda
Railway Technical Research Institute
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Mitsuyoshi Fukuda.
IFAC Proceedings Volumes | 2000
Mitsuyoshi Fukuda; Yuji Hirao; Takahiko Ogino
Abstract It has been long time since microcomputer systems were introduced into railway signalling areas. Software in the systems is becoming more and more complex in order to cope with higher system safety requirements and more sophisticated functions. Formal methods for railway safety-critical software are expected to help us construct reliable and correct systems. Although formally specifying a system has many advantages, it is also true that formal methods are difficult for unfamiliar and non-professional people. This is totally against our aim. We have, therefore, developed a simulator system, which illustrates user’s interlocking specification, written in a formal specification language, on a computer graphical screen. Using this system, software designers and users can communicate easily and rigorously. Considering portability and making independent each function of the simulator, we made the modules of the simulator communicate through the inter-processes communication facility of UNIX. We could run each module in a different workstation scattering around the world through Internet.
Quarterly Report of Rtri | 2002
Natsuki Terada; Mitsuyoshi Fukuda
Ieej Transactions on Industry Applications | 2007
Tamio Okutani; Nobuyuki Nakamura; Natsuki Terada; Mitsuyoshi Fukuda; Yutaka Tate; Satoshi Inada; Hidenori Itoh; Shinji Wakao
Quarterly Report of Rtri | 2008
Mitsuyoshi Fukuda; Natsuki Terada; Takumi Ban
Quarterly Report of Rtri | 2014
Mitsuyoshi Fukuda; Hiroyuki Sugahara; Akihiro Gion; Yuto Ono; Takayasu Kitano; Toshihito Shirai
Quarterly Report of Rtri | 2012
Shigeto Hiraguri; Mitsuyoshi Fukuda; Hiroyuki Fujita; Yuto Ono
電気学会研究会資料. TER, 交通・電気鉄道研究会 | 2006
Tamio Okutani; Nobuyuki Nakamura; Tokuro Igarashi; Takahito Matsuki; Mitsuyoshi Fukuda; Ikuo Watanabe; Noriharu Amiya; Haruhiko Onuma
Proceedings of ... Reliability Symposium : the journal of Reliability Engineering Association of Japan | 2014
Yoichi Sugiyama; Tatsuya Sasaki; Mitsuyoshi Fukuda; Takayasu Kitano
Technical report of IEICE. OPE | 2012
Takashi Toyama; Mitsuyoshi Fukuda; Kosuke Owada; Hiroyuki Fujita
The Papers of Technical Meeting on Intelligent Transport Systems, IEE Japan | 2010
Tatsunori Hayashi; Ka Son; Hiroshi Mochiduki; Sei Takahashi; Hideo Nakamura; Mitsuyoshi Fukuda; Masonori Yamamoto