Toward service continuity and accountability achievement for ever-changing systems.

Technologies supporting DEOS Process and DEOS Architecture include those in the areas of

• Requirements Engineering,
• Software Engineering, and
• Computer Science.

There also are new technologies which are not found in existing areas, including

• New Concept, and
• Core Technologies.

Those, together with technologies in existing areas, should form a new body of knowledge and new technologies to support the DEOS Process and DEOS Architecture.

The following is the software developed in the DEOS project.

• Tools for Consensus Building and Accountability Achievement Support (D-Case)
  
  • D-Case Specification
    -> D-Case XSD Specification
  • Editor for Eclipse
    -> D-Case Editor
    • Tool for Consistency Checking of D-Case
      -> D-Case/Agda
  • Editor for Web browser
    -> D-Case Weaver
• Execution environment for implementing the OSD
  -> D-RE (DEOS Runtime Environment)
  • Virtual machine monitor and OS Monitoring tool
    -> D-Visor + D-System Monitor
  • Tampering-Detect Data Box
    -> D-Box
  • System Recorder
    -> System Recorder
• Development support tool
  
  • D-Case - Collaboration with Modeling Environment
    -> D-Case OSLC
  • Dependability Test Support Tools
    -> DS-Bench/Test-Env ( DS-Bench/D-Cloud )
  • Software Verification Tools
    -> Model Checking