First doc review by ERTMS Solutions

.gitignore

@@ -5,3 +5,7 @@
 *.aux
 
 D2.3/Synthesis/.DS_Store
+
+Workspace/SafetyRequirementsExamples/.DS_Store
+
+Workspace/SafetyRequirementsExamples/includes/.DS_Store

Benchmarking/.gitignore

@@ -0,0 +1,2 @@
+/ETCS-benchmark.bbl
+/ETCS-benchmark.blg

Benchmarking/ETCS-benchmark.tex

@@ -131,30 +131,45 @@ \subsection{High priority items}
     depending on the gradient profile, braking models of the train,
     several correction factors etc; this is the basis of the EBD
     curve, see Figure 38)
+
+		Rationale:  handling of functions providing deceleration value for a particular braking model (and thus handling of data structures allowing to represent a braking model, for example A\_brake\_emergency), a gradient profile, a set of track conditions, adhesion factors etc; graphical representation of such functions.
   \end{itemize}
 
 \item[§3.13.7 Determination of Most Restrictive Speed Profile (MRSP)]
   Combine for example several TSR and LX restrictions
+
+	Rationale: handling of step functions; combining several step functions in order to determine the most restrictive speed profile; graphical representation of such functions.
 
 \item[§3.13.8.3 Emergency Brake Deceleration curves (EBD)]
 
+Rationale: computation of a deceleration curve by combining a step function and a function like A\_safe; graphical representation of the curve.
+
 \item[§3.13.9.3.3.9 Computation of d\_FLOI, using d\_SBI2\_MREBDT]
   (MREBDT: Most Restrictive Target amongst the EBD based targets)
+
+	Rationale: computation of the most restrictive target from a set of targets by comparing the SBI2 supervision limits associated to each target for a given speed; determination of the supervision limit function which location is the closest to that target.
 
 \item[§3.13.9.4 Release speed supervision limits] and more
   particularly:
   \begin{itemize}
   \item[§3.13.9.4.7] (computation of different release speed
     supervision limits)
+
+		Rationale: computation of supervision limits from an EBD (or SBD) curve.
 
   \item[§3.13.9.4.8] (computation of the most restrictive value at the
     Trip location related to the EOA, amongst several EBI supervision
     limits)
 
     \item[§3.13.9.4.8.2] (iterative computation of the release speed)
 
+		Rationale: ensure the model can handle such algorithms.
+
     \item[§3.13.9.4.9] (using of the most restrictive MRSP value
       instead of the release speed)
+
+			Rationale: determination of the most restrictive value of a step function on a given interval; re-evaluation of the interval’s bounds according to the obtained result.
+
   \end{itemize}
 
 \item[§3.13.10.4.2 Calculation of the MRDT (Most Restrictive Displayed Target)]

D2.3/Synthesis/.gitignore

@@ -0,0 +1,5 @@
+/*.tcp
+/req_synthesis.blg
+/req_synthesis.lof
+/req_synthesis.lot
+/req_synthesis.tps

D2.3/Synthesis/req_synthesis.bbl

@@ -0,0 +1,10 @@
+\begin{thebibliography}{1}
+
+\bibitem{Kogel:2008:TSC:1370152.1370158}
+Maximilian K\"{o}gel.
+\newblock Towards software configuration management for unified models.
+\newblock In {\em Proceedings of the 2008 international workshop on Comparison
+  and versioning of software models}, CVSM '08, pages 19--24, New York, NY,
+  USA, 2008. ACM.
+
+\end{thebibliography}

D2.3/Synthesis/req_synthesis.bib

@@ -0,0 +1,18 @@
+@inproceedings{Kogel:2008:TSC:1370152.1370158,
+ author = {K\"{o}gel, Maximilian},
+ title = {Towards software configuration management for unified models},
+ booktitle = {Proceedings of the 2008 international workshop on Comparison and versioning of software models},
+ series = {CVSM '08},
+ year = {2008},
+ isbn = {978-1-60558-045-6},
+ location = {Leipzig, Germany},
+ pages = {19--24},
+ numpages = {6},
+ url = {http://doi.acm.org/10.1145/1370152.1370158},
+ doi = {10.1145/1370152.1370158},
+ acmid = {1370158},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {configuration management, operation-based, scm, unified model, versioning},
+} 
+

Workspace/SafetyRequirementsExamples/includes/establish.dot

@@ -0,0 +1,10 @@
+digraph EstablishCom {
+	NoCom [shape=box];
+	NoCom -> Trying;
+	Trying -> NoCom;
+	Trying -> Trying;
+	Trying -> Setup;
+	Setup -> NoCom;
+	Setup -> Established;
+	Established-> NoCom;
+}