Downloads
Copyright notice
The source code is © by the members of the UMLsec tool group 2001-2011 and available under an open-source license.
Please ask about availability under other agreements.
Download UMLsec and plugins
NEWS UPDATE: Please note that a modernized re-implementation of the UMLsec tool (as part of Eclipse) is available here. Even though not all UMLsec checks have been ported to the new tool yet, you should have a look whether the checks you are interested in are already available, and otherwise let Jan Jürjens know.
The last version of the (old) UMLsec tool and its plugins is available on request by contacting Jan Jürjens.
Please note: The use of the plugins which rely on the theorem provers or Prolog engines requires you to install them
separately, or use the VMware installation mentioned below.
How to set up the environment for SPASS, TPTP and Prolog
UMLsecBox Virtual Machine (VM)
There is also a VMware-image of the tool installation ("UMLsecBox") available in case of installation problems.
The images includes a recent, ready-to-run binary-release of the UMLsec-tool and also a prepared development environment.
Please ask for a DVD. Note that tool performance may be lower when executed within the VMware machine depending on
your system specifications (since two operation systems may run in parallel - your own and the Linux of the UMLsecBox).
This is nevertheless a good choice for trying out the tool, or when there are difficulties installing the various components.
Installation instructions for the VMware image are as follows:
- get a copy and free serial number of VMware Server here.
- install "VMware Server" and start it
- unzip the provided ZIP file with the image
- choose "open a virtual machine" in VMWare
- use "browse" to open the unzipped directory
- select the vmx file in this directory
- "power on" the virtual machine and log in as "umlsec" user (password umlsec)
- use "VW / Removable Devices" in order to share a USB stick with host system and virtual machine
|