Real-Time Java Analysis Tool


new! See JediTool in action:
   Deadlock detection using JediTool. The NASA's K9 Rover case study 
   (Macromedia Flash animation ).

What is JediTool

JediTool is a static analysis tool for RTSJ programs conforming to a subset of the Ravenscar Java profile. JediTool helps detecting, at early stages of software development, hard-to-find problems inherent to concurrent programming, such as resource deadlocks and data races. In addition to functional properties verification, JediTool automatically builds correct timed models for scheduling analysis and formal verification.

Install and Update

Clean Install

  JediTool is designed for Eclipse 2.1.3 and is not compatible with Eclipse 3. Installation is done using the Eclipse Update Manager as follows:
  1. Configure Proxy Settings
    If you need to use a proxy server to access the internet, the first thing to do is configure the proxy details so that the update manager can contact the JediTool update site. From the Window menu select preferences, and then the Install/Update tab (view dialog).
  2. Create an update site bookmark for the JediTool update site, and start the install procedure
  3. From the help menu select Software Updates -> Update Manager. The Feature Updates view appears in the bottom right-hand corner. Right-click on the background of this view to bring up the context menu and select New -> Site Bookmark. Enter the name “JediTool update site” and the URL “http://jeditool.sf.net/update”. Click finish to create the bookmark. (view dialog)
    Fully expand the JediTool Update Site bookmark you created, and select the latest version JediTool version.
    Finally, press the “Install…” button in the preview pane.

Updating an Existing Installation

Proceed as for a clean install, except that the JediTool Update Site bookmark should already exist – so all you need to do is expand it and go. If the version you have installed is the same as the version on the update site (or more recent even), then you will not be present
ed with any install options.

Check Install

When Eclipse has restarted, selecting Help->About Eclipse Platform should show the JediTool feature icon alongside the Eclipse one. If it’s not already showing, you can see the welcome page for JediTool by selecting “Welcome…” from the help menu and then “JediTool.” (It’s a good idea to switch to the Java Perspective at this point if you’re not already in it). The blue links in the welcome page are “live” and will initiate the appropriate actions directly in Eclipse.

Screenshots






Deadlock Viewer
Configuration editor: overview page
Configuration editor: source page Luke Model Walker
Real-Time Metrics Viewer


License and Copyright

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License version 2 as published by the Free Software Foundation.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.


Copyright © 2001-2004 Chaker NAKHLI
All Rights Reserved