The technologies to support DEOS Process and DEOS Architecture include technologies from the area of

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

There are new technologies which are not covered in existing area, such as

• New Concept, and
• Core Technologies.

Those, together with technologies in existing area, should form a new body of knowledge and new technologies to support 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)
  • 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
  • Dependability Test Support Tools
    DS-Bench/Test-Env ( DS-Bench/D-Cloud )
  • Software Verification Tools
    Model Checking