D-Case Editor     Information     Download     Papers     Mailing List

D-Case Editor is a typed assurance case editor  which has been implemented as an Eclipse plug-in using Eclipse GMF.

The key features are as follows.

・Supporting GSN (Goal Structuring Notation)

・GSN Pattern Library function and prototype Type Checking function

・Consistency Checking function by an advanced proof assistant tool

    ・A link to the proof assistant tool will be made sooner

Current Version is an alpha version. In March 2012, It will:

・Conform to OMG ARM (Argumentation Metamodel) and GSN Standards

    ・Via ARM, It will have compatibility with other Assurance Case Editor

・Have well formalized Modules and Pattern system with Types

・Include Useful GSN Patterns

Information on Assurance Case, GSN, etc

Download D-Case Editor

Papers about D-Case Editor

D-Case Editor Mailing List

D-Case Editor Screen Shot

D-Case Editor is a product of Prof. Yutaka Ishikawa group,

University of Tokyo, under

JST CREST Dependable Embedded Operating System for Practical Uses (DEOS) project.

If you have some questions, please subscribe to the D-Case Editor Mailing List or email to Yutaka Matsuno (matsu at cc.u-tokyo.ac.jp).