You are here: Home / RTLWS 1999-2017 / RTLWS Submitted Papers / 
2024-12-12 - 05:26

Dates and Events:

OSADL Articles:

2024-10-02 12:00

Linux is now an RTOS!

PREEMPT_RT is mainline - What's next?


2023-11-12 12:00

Open Source License Obligations Checklists even better now

Import the checklists to other tools, create context diffs and merged lists


2023-03-01 12:00

Embedded Linux distributions

Results of the online "wish list"


2022-01-13 12:00

Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed

Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached


2021-02-09 12:00

Open Source OPC UA PubSub over TSN project phase #3 launched

Letter of Intent with call for participation is now available



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/