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:
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).
Create an update site bookmark
for the JediTool update site, and start the install
procedure
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.