【先端分野の安全技術・リスクマネジメント手法の鉄道信号システムへの適用】 フォーマルメソッド，GSN

カテゴリ: 部門大会

論文No: 4-S15-4

グループ名: 【D】2023年電気学会産業応用部門大会講演論文集

発行日: 2023/08/16

タイトル(英語): Techniques and management at the forefront of safety-critical systems and their application to railway signalling b. Formal method, GSN

著者名: 畑 好之（京三製作所）

著者名(英語): Yoshiyuki Hata (Kyosan Electric Mfg.)

キーワード: 鉄道信号|安全性|フォーマルメソッド|GSN|Railway signalling|Safety|Formal method|Goal Structuring Notation (GSN)

PDFファイルサイズ: 456 Kバイト