Dcase/GSN (Global Structuring Notation) Support
In addition to the Dcase format, we are also able to read and create standard Assurance case file formats such as OMG and ARM.
Dcase/GSN pattern library
Reusable Dcase template library
Fundamental variable form check
You are able to use a variable according to the description type of the Dcase.By using the form check feature you are also able confirm the validity and safety of the contents.
Cooperation with the DEOS project deliverables
Dcase Editor with the cooperation of DRE (DEOS runtime architecture) has been implemented as an Eclipse plugin and thus is also able to work on Eclipse.
As mentioned above the Dcase support tools up to now included only basic feature sets.On the other hand, in order to support consensus among stakeholders using dependability guarantee discussions of Dcase it is important to connect Dcase with documents that relate to system life cycle, such as evaluation reports, conference proceedings and various specification documents etc.From this year onwards to promote management support and description experiments of evidence documents, research is being done on appropriate management approach for Dcase and Dcase related documents at the Onda group.Fig.10 illustrates the general concept.There are also other Dcase tools such as, function cooperation of benchmark tools DSBench/DCloud, generic monitoring function expansion, the Dcase Weaver which enables us to create and edit Dcase on a web browser.