diff --git a/bin/config.xml b/bin/config.xml
new file mode 100755
index 0000000000000000000000000000000000000000..a0eb263799d010256f6c1c88e35edf479216cf58
--- /dev/null
+++ b/bin/config.xml
@@ -0,0 +1,71 @@
+<?xml version="1.0" encoding="ISO-8859-1" ?>
+
+<TURTLECONFIGURATION>
+<RTLHost data="localhost" />
+<RTLPath data="/packages/RT-LOTOS.0.12/bin/rtl" />
+<DTA2DOTPath data="/packages/RT-LOTOS.0.12/bin/dta2dot" />
+<RG2TLSAPath data="/packages/RT-LOTOS.0.12/bin/rg2tlsa" />
+<RGSTRAPPath data="/packages/RT-LOTOS.0.12/bin/rgstrap" />
+<!--DOTTYPath data="/usr/bin/dot" /-->
+<DOTTYPath data="/bin/dotty" />
+<DOTTYHost data="localhost" />
+<AldebaranHost data="localhost" />
+<AldebaranPath data="/home/enrici/cadp/com/aldebaran" />
+<BcgioPath data="/home/enrici/cadp/bin.iX86/bcg_io" />
+<BcgminPath data="/home/enrici/cadp/bin.iX86/bcg_min" />
+<BisimulatorPath data="/home/enrici/cadp/com/bcg_open" />
+<BcgmergePath data="/home/enrici/cadp/com/bcg_merge" />
+<CaesarPath data="/home/enrici/cadp/bin.iX86/caesar" />
+<CaesarOpenPath data="/home/enrici/cadp/com/caesar.open" />
+<FILEPath data="/home/enrici/TURTLE/modeling" />
+<LIBPath data="/home/enrici/TURTLE/lib" />
+<IMGPath data="/home/enrici/TURTLE/figure" />
+<LOTOSPath data="/home/enrici/TURTLE/lotos" />
+<GGraphPath data="/home/enrici/TURTLE/graphs" />
+<TGraphPath data="/home/enrici/TURTLE/graphs" />
+<TToolUpdateURL data="" data1="http://labsoc.comelec.enst.fr/turtle/ttoolversion.html" />
+<TToolUpdateProxy data="false" />
+<TToolUpdateProxyPort data="8080" />
+<TToolUpdateProxyHost data="To Be Completed" />
+<JavaCodeDirectory data="/home/enrici/TURTLE/javacode" />
+<JavaCompilerPath data="/usr/bin/javac" />
+<TToolClassPath data="/home/enrici/TURTLE/javacode" />
+<JavaExecutePath data="/usr/bin/java" />
+<JavaHeader data="import java.sql.*;" />
+<SystemCCodeDirectory data="/home/enrici/TURTLE/simulators/c++2/" />
+<SystemCHost data="localhost"/>
+<SystemCCodeCompileCommand data="make -C /home/enrici/TURTLE/simulators/c++2/" />
+<SystemCCodeExecuteCommand data="/home/enrici/TURTLE/simulators/c++2/run.x -ovcd /home/enrici/TURTLE/simulators/c++2/vcddump.vcd" />
+<SystemCCodeInteractiveExecuteCommand data="/home/enrici/TURTLE/simulators/c++2/run.x -server" />
+<TMLCodeDirectory data="/home/enrici/TURTLE/tmlcode" />
+<CcodeDirectory data="/home/enrici/TURTLE/Ccode" />
+<GTKWavePath data="/usr/bin/gtkwave" />
+<VCDPath data="/home/enrici/TURTLE/vcd/" />
+<UPPAALCodeDirectory data="/home/enrici/TURTLE/uppaal/" />
+<UPPAALVerifierPath data="/home/enrici/TURTLE/uppaal/bin-Linux/verifyta" />
+<UPPAALVerifierHost data="localhost" />
+<ProVerifCodeDirectory data="/home/enrici/TURTLE/proverif/" />
+<ProVerifVerifierPath data="/packages/proverif/proverif" />
+<ProVerifVerifierHost data="localhost" />
+<AVATARExecutableCodeDirectory data="/home/enrici/TURTLE/executablecode/" />
+<AVATARExecutableCodeHost data="localhost"/>
+<AVATARExecutableCodeCompileCommand data="make -C /home/enrici/TURTLE/executablecode" />
+<AVATARExecutableCodeExecuteCommand data="/home/enrici/TURTLE/executablecode/run.x" />
+<AVATARExecutableSoclibCodeCompileCommand data="make -C /home/enrici/TURTLE/executablecode updategeneratedcode compilesoclib" />
+<AVATARExecutableSoclibCodeExecuteCommand data="make -C /home/enrici/TURTLE/executablecode runsoclib" />
+<AVATARExecutableSoclibTraceFile data="/home/enrici/TURTLE/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/vcitty" />
+
+
+<ExternalCommand1Host data="localhost"/>
+<ExternalCommand1 data="/usr/bin/gtkwave /home/enrici/TURTLE/simulators/c++2/vcddump.vcd"/>
+<ExternalCommand2Host data="localhost"/>
+<ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal /home/enrici/TURTLE/uppaal/spec.xml"/>
+
+<LastOpenFile data="/home/trhuy/Downloads/SemesterFinalResult/StuxnetModel/stuxnet_6_12_split (1).xml"/>
+
+<ExternalServer data="10.188.65.215:12345"/>
+
+<LastWindowAttributes x="90" y="25" width="1219" height="597" max="false" />
+
+
+</TURTLECONFIGURATION>