javax.realtime.test.airplane
Class TestAirplane

java.lang.Object
  javax.realtime.test.airplane.TestAirplane

public class TestAirplane

extends java.lang.Object

A simple illustration of the airplane accident scenario described in Asaf Degani's book Taming HAL.

Author:

gary

Field Summary

static Airplane	airplane
static Pilot	pilot

Constructor Summary

TestAirplane()

Method Summary

static void

main(java.lang.String[] args) The main program.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

airplane

public static Airplane airplane

pilot

public static Pilot pilot

Constructor Detail

TestAirplane

public TestAirplane()

Method Detail

main

public static void main(java.lang.String[] args)

The main program.

Parameters:

args - one argument is used: a boolean indicating whether randomization should be used in selection among events scheduled at same time. There are two different interpretations of this:

Under native Java, a pseudo random selection is made

Under JPF, all selections are tried nondeterministically, e.g., under backtracking