Projects / Uppaal TRON / Releases

All releases of Uppaal TRON

  •  13 Oct 2006 18:08
Avatar

    Release Notes: This build is the first supporting Windows (earlier ones were Linux/Solaris only). A Microsoft Visual C library adapter example has been added. Textual communication via a standard I/O adapter has been added (see tracer example). A TCP/IP socket adapter has been added for remote IUTs. A Java adapter framework has been added with virtual and real-time support. A check has been added for correct system model partitioning by input/output channels. Emulation has been fixed: this release will emulate only environment invariants when deciding input stimuli timing.

    •  08 Mar 2005 13:05
    Avatar

      Release Notes: Environment invariants are now supported to the extent of CPU time available. Simple observation uncertainty was added to time-stamping. Data value binding is now supported in input/output actions. A new adapter API was implemented.

      •  17 May 2004 00:41
      Avatar

        Release Notes: There is a new input-output locking mechanism in SampleAdapter. There is a new simulated clock implementation: the interface did not change, only the internals. There are no more deadlocks, condition notifications are not lost anymore, and there are no more segmentation faults on exit. Shell and R scripts have been added to reproduce the timed-gate experiment results and benchmarks. New example: a mouse-button program responds with a single-click or double-click to a series of clicks depending on click occurrence in time.

        •  04 May 2004 10:52
        Avatar

          Release Notes: This release features a basic Unix console user-interface (uses UPPAAL for specification editing), and two sample demos: a simulated train-gate-controller C++ example, and a smart-light-controller Java demo. A simulated clock development framework was included.

          Screenshot

          Project Spotlight

          episoder

          A tool to tell you about new episodes of your favourite TV shows.

          Screenshot

          Project Spotlight

          BalanceNG

          A modern software IP load balancer.