Download SynDEx software
Warning: SynDEx is not a free software in the sense of
the Free Software Foundation, as all sources are not
distributed. However, SynDEx is a freeware available for
non-commercial use. You may download and use it, free
of charge, provided that you agree with
the
COPYRIGHT.
The Reference Manual,
User Manual, Tutorial and Grammar
may be directly accessed or downloaded from the
documentation page.
SynDEx version 7 includes new features (vs. version 6)
- Multi-periodic applications,
-
Adequation based on multi-periodic
distributed real-time scheduling analyses,
- Verification of dependence cycles even though hierarchy,
-
New Graphical User Interface for algorithm specifications:
-
Single window grouping all the definition operations,
- Abstract reference,
- Superblock,
- Undo: yes, we did it!
NB: SynDEx v6 files are compatible with SynDEx v7.
SynDEx latest version is 7.0.7, released on 2011-12-29 for Linux 64 bits.
Changes:
- In SynDEx 7.0.7:
- For multi-periodic applications: do not keep
copies of operations for the schedulability
analysis, solve computation errors on start dates,
fix a bug on basic mono-processor example
(considered as not schedulable in v7.0.6), implement
a missing case (when no operation assigned on an
operator), improve schedulability messages (use of
"The system is not schedulable" message only for non
schedulable applications, and use of "SynDEx cannot
find any schedule for this system" message
otherwise), improve user manual,
- Grammar more explicit for the adequation result,
- "Save Adequation with Application" option
reactivated,
- Fix a bug while consistency check of the application,
- Fix the revision number in the GUI.
In SynDEx 7.0.6:
- Fix of a bug in multi-periodic adequation resulting in
missing 'wait' operations when the adequation result was not
displayed,
- Bug fix in code generation when dealing with delays and
shared memories,
- Minor fixes.
In SynDEx 7.0.5:
- Bug fix in reading precedence edges from .sdx files,
- Bug fix in code generation when dealing with shared memories,
- New 'auto-position' button in algorithm window,
- Minor fixes.
In SynDEx 7.0.4:
- Improvements of error/warning messages,
- Minor fixes,
- Addition of the reference manual to the distribution;
this manual can be open, as other manuals, from the help
menu of the main window.
In SynDEx 7.0.3:
- Various bug fixes on multi-periodic support,
- Improvements of error/warning messages,
- Addition of missing files in the distribution.
In SynDEx 7.0.2:
- Bug corrections:
- Error "cannot open file" when "open file" removed,
- Error "Not_found" when modification of duration during
adequation removed,
- Flattening improvement,
- New refresh button in algorithm window,
- More information about multi-periodic applications in
the user manual.
Pre-requisites
Tcl/Tk 8.4.X is required to run SynDEx:
-
For Linux: you shouldn't have anything
to install as Tcl/Tk comes with the standard
distributions. Otherwise you can check with your
system administrator or install it from
here or even better from the ActiveTcl distribution
which can be downloaded freely
here. Install
the most recent 8.4.X version for Linux.
-
For Windows: use the ActiveTcl distribution which
can be downloaded freely
here. Install the most recent 8.4.X version for Windows
(x86) even if you have a Windows (x64).
-
For Mac OS X: the Tcl/Tk version installed by default may be
too old. in this case install the ActiveTcl distribution
which can be downloaded freely
here. Install the most recent 8.4.X version for Mac OS
X (Universal). Then, before running SynDEx, you'll have to
change your
DYLD_LIBRARY_PATH variable to use this Tcl/Tk
instead of the default one installed in /System/Library.
In the terminal, use the following command:
export DYLD_LIBRARY_PATH=/Library/Frameworks/Tcl.framework:/Library/Frameworks/Tk.framework:$DYLD_LIBRARY_PATH
Please note that if you have a Tcl/Tk
version higher than 8.4, running SynDEx might fail. For
Linux and Mac OS X, creating a symbolic link to your installed
version of the library should solve the problem. For
Windows, renaming the dll should solve the problem.
Download
SynDEx v7 runs under Linux, Windows, Mac OS X platforms:
Previous releases are available here
Installation
Uncompress and extract the downloaded archive. Under
Windows use WinRar; under Linux and Mac OS X use the
command:
tar -xvzf syndex-7.0.x-xxx.tar.gz
This will
create in the current directory the
subdirectory syndex-7.0.x containing all the
distributed files. The executable is the file
named syndex-7.0.x in the bin directory.
For Windows, add it a .exe extension. In addition, for Windows 7
execute syndex-7.0.x.exe in Windows XP SP2 compatibility mode.
If you experience any installation problem
and the answer is not in the
FAQ,
please e-mail
us a description of the problem, with enough
information to let us a chance to resolve it.