d-case_editor:该存储库用于 D-Case Editor，一个保证案例编辑器。 见 www.dcase.jp！

D-Case Editor - 类型化保证案例编辑器 D-Case Editor 是一个类型化的保证案例编辑器。 它已使用 Eclipse GMF 作为 Eclips 插件实现。 主要特点如下。 支持 GSN（目标结构符号） GSN 模式库使用和原型类型检查功能 D-Case 描述的一致性检查Goto 监控目标系统 (日文页) 信息 什么是“保证案例”？ 系统保证在许多工业领域变得非常重要。 在开发和运行安全关键系统（例如汽车、铁路、国防、核电站和海油）时，需要向认证机构提交安全案例（系统安全的保证案例）。 有几个标准，例如 EUROCONTROL [1]、铁路黄皮书 [2] 和国防部防御标准 00-56，这些标准要求使用安全箱。 此外，最近医疗器械行业也一直需要保证案例[4]。 “保证案例”有多种定义[3]。 一个这样的定义如下[5]。 “一个文件化的证据体，提供令人信服和有效的