AccLab Last release : Version 2.3 04/03/2018
AAL tools set. aalc is a part of Acclab tool. For more information see AccLab home page AccLab home page: http://www.emn.fr/z-info/acclab/
The documentation available as of the date of this release is included in PDF format in the UserGuide/ directory. The most up-to-date documentation can be found at AccLab webpage.
WARNING : AccLab is designed to run on local machines, DO NOT use it as a web service since the AAL macros are written in python, which allows arbitrary code execution.
You need PythonX.X.X >= Python3.4.0 installed on your system and svn.
To run the main program : python aalc.py
-
In order to use LTL based features (compliance/consistency checking, etc) AccLab needs the following dependency :
TSPASS binaries are provided for linux x64 and mac x64 in the folder tools/platformName/ . For other platforms you have to compile tspass source code. The last version of TSPASS can be found in : http://lat.inf.tu-dresden.de/~michel/software/tspass/
The source code for TSPASS version 0.95-0.17 is provided with this tool. -
In order to use AccMon features AccLab needs the following dependency :
sudo pip3 install accmon
-
In order to use monitor synthetization / simulation features, AccLab needs the following dependencies :
You need to install the following dependencies :
$ sudo pip3 install pykka
AAL Syntax highlighting modes for emacs, intellij, nano and ace, can be found in tools/utils/. If you want to run aalc using a symbolic link you need to set the environment variable ACCLAB_PATH
$ export ACCLAB_PATH=<AccLab_install_dir>
Please see the file called LICENSE.
Walid Benghabrit [email protected]
Pr.Jean-Claude Royer [email protected] (Kernel/Theory/UI)
Dr. Hervé Grall [email protected] (Theory)
Dr. Mohamed Sellami [email protected] (Theory)
Pierre Teilhard (Kernel)
Anqi Tong (UI)
Julie Spens (UI)
Copyright (C) 2014-2018 Walid Benghabrit
ASCOLA Research Group
A4CLOUD Project http://www.a4cloud.eu/
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. 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, see http://www.gnu.org/licenses/.