From 390b14fe3ff3f1162fff83abccc1aacdbe0c2b5f Mon Sep 17 00:00:00 2001
From: Julien BACLET <julien.baclet@irt-saintexupery.com>
Date: Wed, 14 Sep 2022 04:53:46 +0000
Subject: [PATCH] Update README.txt for IRT contact

---
 README.txt | 117 ++++++++++++++++++++++++++---------------------------
 1 file changed, 58 insertions(+), 59 deletions(-)

diff --git a/README.txt b/README.txt
index 4ae3278..ff87c45 100644
--- a/README.txt
+++ b/README.txt
@@ -1,59 +1,58 @@
-
- *******************
- *** README AIDA ***
- *******************
-
-This repository contains the safety model of the study case AIDA.
-It is provided by IRT Saint Exup�ry under a Creative Commons BY-SA licence.
-This repository is managed in versioning throught git, with the following url
-
-https://sahara.pf.irt-saintexupery.com/
-project AIDA
-
-
-1. AIDA description
-
-2. Motivation and intended use
-
-3. List of files and how to use them
-
-
-
-
-
-************************************************************************
-* 1. AIDA description
-************************************************************************
-The AIDA (Aircraft Inspection by Drone Assistant) system, is a Remotely Piloted Aircraft System (RPAS). 
-It is composed of a quadcopter drone, a control computer and a remote control. 
-The mission of this system is to help the pilot to inspect the aircraft before flight. 
-The quadcopter drone can be piloted in automated or manual mode. In manual mode, 
-the pilot guides the inspection of the aircraft by the drone. 
-In automated mode, the drone follows a flight plan and records the video of the inspected zone.
-
-************************************************************************
-* 2. Motivation and intended use
-************************************************************************
-AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
-systems.
-Our intent is to provide a repository to gather all AIDA modellings in order to share different approaches and tools.
-
-If you plan to use AIDA as a study case it would be kind to inform the IRT Saint-Exupery contacts below. We would be pleased to answer your questions.
-patrick.farail@irt-saintexupery.com
-estelle.saez@irt-saintexupery.com
-
-Currently, the following works use this use case :
-Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models.
-In: Bozzano, M., Papadopoulos, Y. (eds.) Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings.
-Lecture Notes in Computer Science, vol. 10437, pp. 19-34. Springer (2017),
-https://doi.org/10.1007/978-3-319-64119-5_2
-
-************************************************************************
-* 3. List of files and how to use them
-************************************************************************
-AIDASystem-AltaRicaDataFlow.alt: safety model of AIDA in AlaRica DataFlow (version Cecilia-OCAS), text format
-
-AIDASystem-OCASModel.exp: safety model of AIDA, Cecilia-OCAS export format (v5)
-
-AIDASystem-OCASModel.docx: generated documentation of the model, MS Word format
-
+ *******************
+ *** README AIDA ***
+ *******************
+
+This repository contains the safety model of the study case AIDA.
+It is provided by IRT Saint Exupéry under a Creative Commons BY-SA licence.
+This repository is managed in versioning throught git, with the following url
+
+https://sahara.pf.irt-saintexupery.com/
+project AIDA
+
+
+1. AIDA description
+
+2. Motivation and intended use
+
+3. List of files and how to use them
+
+
+
+
+
+************************************************************************
+* 1. AIDA description
+************************************************************************
+The AIDA (Aircraft Inspection by Drone Assistant) system, is a Remotely Piloted Aircraft System (RPAS). 
+It is composed of a quadcopter drone, a control computer and a remote control. 
+The mission of this system is to help the pilot to inspect the aircraft before flight. 
+The quadcopter drone can be piloted in automated or manual mode. In manual mode, 
+the pilot guides the inspection of the aircraft by the drone. 
+In automated mode, the drone follows a flight plan and records the video of the inspected zone.
+
+************************************************************************
+* 2. Motivation and intended use
+************************************************************************
+AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
+systems.
+Our intent is to provide a repository to gather all AIDA modellings in order to share different approaches and tools.
+
+If you plan to use AIDA as a study case it would be kind to inform the IRT Saint-Exupery (systems-engineering@irt-saintexupery.com). We would be pleased to answer your questions.
+
+
+
+Currently, the following works use this use case :
+Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models.
+In: Bozzano, M., Papadopoulos, Y. (eds.) Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings.
+Lecture Notes in Computer Science, vol. 10437, pp. 19-34. Springer (2017),
+https://doi.org/10.1007/978-3-319-64119-5_2
+
+************************************************************************
+* 3. List of files and how to use them
+************************************************************************
+AIDASystem-AltaRicaDataFlow.alt: safety model of AIDA in AlaRica DataFlow (version Cecilia-OCAS), text format
+
+AIDASystem-OCASModel.exp: safety model of AIDA, Cecilia-OCAS export format (v5)
+
+AIDASystem-OCASModel.docx: generated documentation of the model, MS Word format
+