Real Time Linux Workshops
1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015
13th Real-Time Linux Workshop from October 20 to 22 at the Faculty of Electrical Engineering, Czech Technical University in Prague
Announcement - Hotels - Directions - Agenda - Paper Abstracts - Presentations - Registration - Abstract Submission - Sponsoring - Gallery
D-Case Editor: An Assurance Case Editor
Yutaka Matsuno, Information Technology Center, University of Tokyo
We introduce an assurance case editor called "D-Case Editor" which has been implemented as Eclipse Plug-in using Eclipse GMF, available in [1].
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
Current Version is an alpha version. In March 2012, it will:
- Conform to [2] 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
We will demonstrate its key features in our talk.
References
[1] http://www.il.is.s.u-tokyo.ac.jp/deos/dcase/
[2] http://sysa.omg.org/