D-RE is an execution environment with functions that help to achieve dependability in a system. It consists of the following subsystems

• D-Visor
• D-System Monitor
• D-Application Manager
• D-Application Monitor
• D-Box
• D-Script Engine

Each details of a subsystem should wait for the release of the document which is due to be exhibited.

OS in which operation is verified

Ubuntu 12.04 LTS ( i386 / amd64 )

Download

Document

• DEOS Programming Reference 1.0
• D-RE Specifications 1.0 (An install guide is included)
• D-RE_APIs Specifications 1.02
• D-RE_Commands Specifications 1.02
• D-RE_API Sample Programs Manual 1.02

Binary for Ubuntu 0.8-1ubuntu15 ( about 380 KB )

How to get the package

• Step1
  Please add the following two lines to "/etc/apt/source.list"
  deb http://www.dependable-os.netpackage precise universe
  deb-src http://www.dependable-os.netpackage precise universe
• Step2
  Please execute the following command
  sudo apt-get update
• Step3
  Please execute the following command
  sudo apt-get install dre

Demonstration Movie

Note: Voice narration can be heard.

The demonstration of the system which applied the concept of DEOS -> Overview movie of the demonstration system ( 11.4MB 1min40sec )

• Demo Scenario1
  In this first scenario, as a result of adding new service, the number of accesses exceeded the assumption value. Then, in accordance with the solution beforehand described by D-Case, the addition of service is undone and a system is returned to a normal state.
  -> Demo Scenario1 ( 10.7MB 1min42sec )
• Demo Scenario2
  The server begins to lag. In this second scenario, we will demonstrate how, in accordance with the solution previously described by D-Case, an unsuitable batch job is terminated and the system is returned to a normal state.
  -> Demo Scenario2 ( 7.7MB 1min15sec )
• Demo Scenario3
  In this scenario, it will be demonstrated how D-Case can be used when memory usage has exceeded acceptable system values. We will demonstrate how, in accordance with the solution described by D-Case, the server is rebooted, a diagnostic module is added, and then the cause is identified.
  -> Demo Scenario3 ( 10.8MB 1min42sec )
• Demo Scenario4
  In this scenario, when checking the system in future time, it is found that the services would not be able to operate properly the following day due to an expired license. This demonstration outlines the scenario through to the update of the expired license.
  -> Demo Scenario4 ( 6.8MB 1min26sec )

License

The license of D-RE is GPLv2. Please look at the source code of each subsystem for details.