diff --git a/src/req/ebrdd/EBRDD.java b/src/req/ebrdd/EBRDD.java
new file mode 100644
index 0000000000000000000000000000000000000000..08efc98d032bfd9441d6a18df33b19e2e7467734
--- /dev/null
+++ b/src/req/ebrdd/EBRDD.java
@@ -0,0 +1,79 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+
+ludovic.apvrille AT enst.fr
+
+This software is a computer program whose purpose is to allow the
+edition of TURTLE analysis, design and deployment diagrams, to
+allow the generation of RT-LOTOS or Java code from this diagram,
+and at last to allow the analysis of formal validation traces
+obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+from INRIA Rhone-Alpes.
+
+This software is governed by the CeCILL license under French law and
+abiding by the rules of distribution of free software. You can use,
+modify and/ or redistribute the software under the terms of the CeCILL
+license as circulated by CEA, CNRS and INRIA at the following URL
+"http://www.cecill.info".
+
+As a counterpart to the access to the source code and rights to copy,
+modify and redistribute granted by the license, users are provided only
+with a limited warranty and the software's author, the holder of the
+economic rights, and the successive licensors have only limited
+liability.
+
+In this respect, the user's attention is drawn to the risks associated
+with loading, using, modifying and/or developing or reproducing the
+software by the user in light of its specific status of free software,
+that may mean that it is complicated to manipulate, and that also
+therefore means that it is reserved for developers and experienced
+professionals having in-depth computer knowledge. Users are therefore
+encouraged to load and test the software's suitability as regards their
+requirements in conditions enabling the security of their systems and/or
+data to be ensured and, more generally, to use and operate it in the
+same conditions as regards security.
+
+The fact that you are presently reading this means that you have had
+knowledge of the CeCILL license and that you accept its terms.
+
+/**
+ * Class EBRDD
+ * Creation: 18/09/2009
+ * @version 1.0 18/09/2009
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+package req.ebrdd;
+
+import java.util.*;
+
+import myutil.*;
+
+public class EBRDD extends ArrayList<EBRDDComponent> {
+
+ protected EBRDDStart ads;
+
+ public EBRDD(EBRDDStart _ads) {
+ ads = _ads;
+ add(ads);
+ }
+
+ public EBRDD() {
+ ads = new EBRDDStart();
+ add(ads);
+ }
+
+ public EBRDDStart getStartState() {
+ return ads;
+ }
+
+ public void setStartState(EBRDDStart _ads) {
+ remove(ads);
+ ads = _ads;
+ }
+
+ public EBRDDComponent getEBRDDComponent(int index) {
+ return get(index);
+ }
+
+}
diff --git a/src/req/ebrdd/EBRDDActionState.java b/src/req/ebrdd/EBRDDActionState.java
new file mode 100644
index 0000000000000000000000000000000000000000..2f04aaeee9e0495675b19bfd9f34a695603f5fdf
--- /dev/null
+++ b/src/req/ebrdd/EBRDDActionState.java
@@ -0,0 +1,67 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+
+ludovic.apvrille AT enst.fr
+
+This software is a computer program whose purpose is to allow the
+edition of TURTLE analysis, design and deployment diagrams, to
+allow the generation of RT-LOTOS or Java code from this diagram,
+and at last to allow the analysis of formal validation traces
+obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+from INRIA Rhone-Alpes.
+
+This software is governed by the CeCILL license under French law and
+abiding by the rules of distribution of free software. You can use,
+modify and/ or redistribute the software under the terms of the CeCILL
+license as circulated by CEA, CNRS and INRIA at the following URL
+"http://www.cecill.info".
+
+As a counterpart to the access to the source code and rights to copy,
+modify and redistribute granted by the license, users are provided only
+with a limited warranty and the software's author, the holder of the
+economic rights, and the successive licensors have only limited
+liability.
+
+In this respect, the user's attention is drawn to the risks associated
+with loading, using, modifying and/or developing or reproducing the
+software by the user in light of its specific status of free software,
+that may mean that it is complicated to manipulate, and that also
+therefore means that it is reserved for developers and experienced
+professionals having in-depth computer knowledge. Users are therefore
+encouraged to load and test the software's suitability as regards their
+requirements in conditions enabling the security of their systems and/or
+data to be ensured and, more generally, to use and operate it in the
+same conditions as regards security.
+
+The fact that you are presently reading this means that you have had
+knowledge of the CeCILL license and that you accept its terms.
+
+/**
+ * Class EBRDDActionState
+ * Creation: 18/09/2009
+ * @version 1.0 18/09/2009
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+package req.ebrdd;
+
+
+
+public class EBRDDActionState extends EBRDDComponent {
+ protected String action;
+
+ public EBRDDActionState() {
+ }
+
+ public String toString() {
+ return "Action: " + action;
+ }
+
+ public String getAction() {
+ return action;
+ }
+
+ public void setAction(String _action) {
+ action = _action;
+ }
+}
\ No newline at end of file
diff --git a/src/req/ebrdd/EBRDDComponent.java b/src/req/ebrdd/EBRDDComponent.java
new file mode 100644
index 0000000000000000000000000000000000000000..0d7e03bb5fc995e9a0ab619d4003036a4011353a
--- /dev/null
+++ b/src/req/ebrdd/EBRDDComponent.java
@@ -0,0 +1,84 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+
+ludovic.apvrille AT enst.fr
+
+This software is a computer program whose purpose is to allow the
+edition of TURTLE analysis, design and deployment diagrams, to
+allow the generation of RT-LOTOS or Java code from this diagram,
+and at last to allow the analysis of formal validation traces
+obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+from INRIA Rhone-Alpes.
+
+This software is governed by the CeCILL license under French law and
+abiding by the rules of distribution of free software. You can use,
+modify and/ or redistribute the software under the terms of the CeCILL
+license as circulated by CEA, CNRS and INRIA at the following URL
+"http://www.cecill.info".
+
+As a counterpart to the access to the source code and rights to copy,
+modify and redistribute granted by the license, users are provided only
+with a limited warranty and the software's author, the holder of the
+economic rights, and the successive licensors have only limited
+liability.
+
+In this respect, the user's attention is drawn to the risks associated
+with loading, using, modifying and/or developing or reproducing the
+software by the user in light of its specific status of free software,
+that may mean that it is complicated to manipulate, and that also
+therefore means that it is reserved for developers and experienced
+professionals having in-depth computer knowledge. Users are therefore
+encouraged to load and test the software's suitability as regards their
+requirements in conditions enabling the security of their systems and/or
+data to be ensured and, more generally, to use and operate it in the
+same conditions as regards security.
+
+The fact that you are presently reading this means that you have had
+knowledge of the CeCILL license and that you accept its terms.
+
+/**
+ * Class EBRDDComponent
+ * Creation: 18/09/2009
+ * @version 1.0 18/09/2009
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+package req.ebrdd;
+
+import java.util.*;
+
+public abstract class EBRDDComponent implements Cloneable {
+ protected int nbNext = 1; // -1 means more than 1
+ protected ArrayList<EBRDDComponent> nexts;
+
+
+ public EBRDDComponent() {
+ nexts = new ArrayList<EBRDDComponent>();
+ }
+
+
+ public EBRDDComponent getNext(int index) {
+ if (index < nexts.size()) {
+ return nexts.get(index);
+ } else {
+ return null;
+ }
+ }
+
+ public int getRealNbOfNext() {
+ return nexts.size();
+ }
+
+ public int getNbNext() {
+ return nbNext;
+ }
+
+ public int realNbOfNext() {
+ return nexts.size();
+ }
+
+ public ArrayList<EBRDDComponent> getAllNext() {
+ return nexts;
+ }
+
+}
\ No newline at end of file
diff --git a/src/req/ebrdd/EBRDDLoop.java b/src/req/ebrdd/EBRDDLoop.java
new file mode 100755
index 0000000000000000000000000000000000000000..3e10bb503d3b47eb28935d1a93603a1687f6542c
--- /dev/null
+++ b/src/req/ebrdd/EBRDDLoop.java
@@ -0,0 +1,72 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+
+ludovic.apvrille AT enst.fr
+
+This software is a computer program whose purpose is to allow the
+edition of TURTLE analysis, design and deployment diagrams, to
+allow the generation of RT-LOTOS or Java code from this diagram,
+and at last to allow the analysis of formal validation traces
+obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+from INRIA Rhone-Alpes.
+
+This software is governed by the CeCILL license under French law and
+abiding by the rules of distribution of free software. You can use,
+modify and/ or redistribute the software under the terms of the CeCILL
+license as circulated by CEA, CNRS and INRIA at the following URL
+"http://www.cecill.info".
+
+As a counterpart to the access to the source code and rights to copy,
+modify and redistribute granted by the license, users are provided only
+with a limited warranty and the software's author, the holder of the
+economic rights, and the successive licensors have only limited
+liability.
+
+In this respect, the user's attention is drawn to the risks associated
+with loading, using, modifying and/or developing or reproducing the
+software by the user in light of its specific status of free software,
+that may mean that it is complicated to manipulate, and that also
+therefore means that it is reserved for developers and experienced
+professionals having in-depth computer knowledge. Users are therefore
+encouraged to load and test the software's suitability as regards their
+requirements in conditions enabling the security of their systems and/or
+data to be ensured and, more generally, to use and operate it in the
+same conditions as regards security.
+
+The fact that you are presently reading this means that you have had
+knowledge of the CeCILL license and that you accept its terms.
+
+/**
+ * Class EBRDDLoop
+ * Creation: 18/09/2009
+ * @version 1.0 18/09/2009
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+package req.ebrdd;
+
+
+public class EBRDDLoop extends EBRDDComponent {
+ //next #0 -> loop
+ //next #1 -> after loop
+
+ private String init, condition, increment;
+
+ public EBRDDLoop() {
+ nbNext = 2;
+ }
+
+ public void setInit(String _init) { init = _init; }
+ public void setCondition(String _condition) { condition = _condition; }
+ public void setIncrement(String _increment) { increment = _increment; }
+
+ public String getInit() { return init;}
+ public String getCondition() { return condition;}
+ public String getIncrement() { return increment;}
+
+ public String toString() {
+ return "Loop: (" + init + ";" + condition + ";" + increment + ")";
+ }
+
+
+}
\ No newline at end of file
diff --git a/src/req/ebrdd/EBRDDSequence.java b/src/req/ebrdd/EBRDDSequence.java
new file mode 100644
index 0000000000000000000000000000000000000000..a9b82031613ebe0e098facf1597a9fde16d04bea
--- /dev/null
+++ b/src/req/ebrdd/EBRDDSequence.java
@@ -0,0 +1,59 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+
+ludovic.apvrille AT enst.fr
+
+This software is a computer program whose purpose is to allow the
+edition of TURTLE analysis, design and deployment diagrams, to
+allow the generation of RT-LOTOS or Java code from this diagram,
+and at last to allow the analysis of formal validation traces
+obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+from INRIA Rhone-Alpes.
+
+This software is governed by the CeCILL license under French law and
+abiding by the rules of distribution of free software. You can use,
+modify and/ or redistribute the software under the terms of the CeCILL
+license as circulated by CEA, CNRS and INRIA at the following URL
+"http://www.cecill.info".
+
+As a counterpart to the access to the source code and rights to copy,
+modify and redistribute granted by the license, users are provided only
+with a limited warranty and the software's author, the holder of the
+economic rights, and the successive licensors have only limited
+liability.
+
+In this respect, the user's attention is drawn to the risks associated
+with loading, using, modifying and/or developing or reproducing the
+software by the user in light of its specific status of free software,
+that may mean that it is complicated to manipulate, and that also
+therefore means that it is reserved for developers and experienced
+professionals having in-depth computer knowledge. Users are therefore
+encouraged to load and test the software's suitability as regards their
+requirements in conditions enabling the security of their systems and/or
+data to be ensured and, more generally, to use and operate it in the
+same conditions as regards security.
+
+The fact that you are presently reading this means that you have had
+knowledge of the CeCILL license and that you accept its terms.
+
+/**
+ * Class EBRDDSequence
+ * Creation: 18/09/2009
+ * @version 1.0 18/09/2009
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+package req.ebrdd;
+
+
+
+public class EBRDDSequence extends EBRDDComponent {
+
+ public EBRDDSequence() {
+ nbNext = -1;
+ }
+
+ public String toString() {
+ return "Start state";
+ }
+}
\ No newline at end of file
diff --git a/src/req/ebrdd/EBRDDStart.java b/src/req/ebrdd/EBRDDStart.java
new file mode 100644
index 0000000000000000000000000000000000000000..62440af46f4b0795a96b10ffea99679b0f3e04bd
--- /dev/null
+++ b/src/req/ebrdd/EBRDDStart.java
@@ -0,0 +1,59 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+
+ludovic.apvrille AT enst.fr
+
+This software is a computer program whose purpose is to allow the
+edition of TURTLE analysis, design and deployment diagrams, to
+allow the generation of RT-LOTOS or Java code from this diagram,
+and at last to allow the analysis of formal validation traces
+obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+from INRIA Rhone-Alpes.
+
+This software is governed by the CeCILL license under French law and
+abiding by the rules of distribution of free software. You can use,
+modify and/ or redistribute the software under the terms of the CeCILL
+license as circulated by CEA, CNRS and INRIA at the following URL
+"http://www.cecill.info".
+
+As a counterpart to the access to the source code and rights to copy,
+modify and redistribute granted by the license, users are provided only
+with a limited warranty and the software's author, the holder of the
+economic rights, and the successive licensors have only limited
+liability.
+
+In this respect, the user's attention is drawn to the risks associated
+with loading, using, modifying and/or developing or reproducing the
+software by the user in light of its specific status of free software,
+that may mean that it is complicated to manipulate, and that also
+therefore means that it is reserved for developers and experienced
+professionals having in-depth computer knowledge. Users are therefore
+encouraged to load and test the software's suitability as regards their
+requirements in conditions enabling the security of their systems and/or
+data to be ensured and, more generally, to use and operate it in the
+same conditions as regards security.
+
+The fact that you are presently reading this means that you have had
+knowledge of the CeCILL license and that you accept its terms.
+
+/**
+ * Class EBRDDStart
+ * Creation: 18/09/2009
+ * @version 1.0 18/09/2009
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+package req.ebrdd;
+
+
+
+public class EBRDDStart extends EBRDDComponent {
+
+ public EBRDDStart() {
+ nbNext = 1;
+ }
+
+ public String toString() {
+ return "Start state";
+ }
+}
\ No newline at end of file
diff --git a/src/req/ebrdd/EBRDDStop.java b/src/req/ebrdd/EBRDDStop.java
new file mode 100644
index 0000000000000000000000000000000000000000..c78b902d50017cbc8584f2a1a466caac58353f38
--- /dev/null
+++ b/src/req/ebrdd/EBRDDStop.java
@@ -0,0 +1,59 @@
+/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
+
+ludovic.apvrille AT enst.fr
+
+This software is a computer program whose purpose is to allow the
+edition of TURTLE analysis, design and deployment diagrams, to
+allow the generation of RT-LOTOS or Java code from this diagram,
+and at last to allow the analysis of formal validation traces
+obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+from INRIA Rhone-Alpes.
+
+This software is governed by the CeCILL license under French law and
+abiding by the rules of distribution of free software. You can use,
+modify and/ or redistribute the software under the terms of the CeCILL
+license as circulated by CEA, CNRS and INRIA at the following URL
+"http://www.cecill.info".
+
+As a counterpart to the access to the source code and rights to copy,
+modify and redistribute granted by the license, users are provided only
+with a limited warranty and the software's author, the holder of the
+economic rights, and the successive licensors have only limited
+liability.
+
+In this respect, the user's attention is drawn to the risks associated
+with loading, using, modifying and/or developing or reproducing the
+software by the user in light of its specific status of free software,
+that may mean that it is complicated to manipulate, and that also
+therefore means that it is reserved for developers and experienced
+professionals having in-depth computer knowledge. Users are therefore
+encouraged to load and test the software's suitability as regards their
+requirements in conditions enabling the security of their systems and/or
+data to be ensured and, more generally, to use and operate it in the
+same conditions as regards security.
+
+The fact that you are presently reading this means that you have had
+knowledge of the CeCILL license and that you accept its terms.
+
+/**
+ * Class EBRDDStop
+ * Creation: 18/09/2009
+ * @version 1.0 18/09/2009
+ * @author Ludovic APVRILLE
+ * @see
+ */
+
+package req.ebrdd;
+
+
+
+public class EBRDDStop extends EBRDDComponent {
+
+ public EBRDDStop() {
+ nbNext = 0;
+ }
+
+ public String toString() {
+ return "Stop state";
+ }
+}
\ No newline at end of file