プロセス・モデリングと高信頼性システム

• Item type: SIG Technical Reports(1)
• 公開日: 1995-09-08
• タイトル: プロセス・モデリングと高信頼性システム
• タイトル / 言語: en
• タイトル: Process Modelling and Safety Critical Systems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 広島市立大学情報科学部
• 著者所属: 広島市立大学情報科学部
• 著者所属: Department of Computer Science The Queen's University of Belfast
• 著者所属(英): en
• 著者所属(英): Faculty of Information Sciences, Hiroshima University
• 著者所属(英): en
• 著者所属(英): Faculty of Information Sciences, Hiroshima University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, The Queen's University of Belfast
• 著者名: 劉少英; 大場充; Yong, Sun
• 著者名(英): Shaoyingliu; Mitsuru, Ohba; Yong, Sun
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェア工学において、形式的な方法の応用は高信頼性システムの開発に非常に有用である。しかし今日まで、形式的な方法に基ずいたプロセスが完成された例はまだ報告されていない。本論文では、プロセス・モデリングの一般的な技法を調べた上で、高信頼性システムを開発するための形式的な方法に基ずいた機能的安全性を保証するインタラクティブ開発プロセスを提案する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Formal methods have been recognized to be extremely useful for development of safety critical systems. However, there are so far no mature processes for developing safety critical systems using formal methods. In this paper, we investigate most popular techniques in process modelling, and proposes a function-safety interactive development process for developing safety critical systems using formal methods.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1995, 号 84(1995-SE-105), p. 81-88, 発行日 1995-09-08
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会