Browse Source

RC1 pour TP 2019

Sébastien DI MERCURIO 5 years ago
parent
commit
6ff5a468f6
100 changed files with 210425 additions and 37 deletions
  1. 3
    0
      .gitignore
  2. 0
    16
      .vscode/c_cpp_properties.json
  3. 0
    16
      .vscode/tasks.json
  4. 7
    5
      README.md
  5. 2
    0
      aruco_markers/.gitignore
  6. 23
    0
      aruco_markers/generate_markers.sh
  7. BIN
      aruco_markers/markers_board.odt
  8. BIN
      aruco_markers/markers_board.pdf
  9. 875
    0
      doc/sujets/tex/conception/conception_robot.tex
  10. 1170
    0
      doc/sujets/tex/conception/figures/AADL_cours/connexion2.graffle
  11. 647
    0
      doc/sujets/tex/conception/figures/AADL_cours/data.graffle
  12. 476
    0
      doc/sujets/tex/conception/figures/AADL_cours/exem_evt.graffle
  13. 1174
    0
      doc/sujets/tex/conception/figures/AADL_cours/exemple_activite.graffle
  14. 425
    0
      doc/sujets/tex/conception/figures/AADL_cours/noeud_activite.graffle
  15. 1428
    0
      doc/sujets/tex/conception/figures/AADL_cours/pin_act.graffle
  16. 864
    0
      doc/sujets/tex/conception/figures/AADL_cours/ports.graffle
  17. 262
    0
      doc/sujets/tex/conception/figures/AADL_cours/system.graffle
  18. 564
    0
      doc/sujets/tex/conception/figures/AADL_cours/thread.graffle
  19. 4986
    0
      doc/sujets/tex/conception/figures/conception/diag_fonc2.graffle
  20. BIN
      doc/sujets/tex/conception/figures/conception/fonctionnalités.graffle
  21. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_move.png
  22. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_openComRobot.png
  23. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_receiveFromMon.png
  24. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_sendToMon.png
  25. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_server.png
  26. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_startRobot.png
  27. BIN
      doc/sujets/tex/conception/figures_pdf/connexion.pdf
  28. BIN
      doc/sujets/tex/conception/figures_pdf/connexion2.pdf
  29. BIN
      doc/sujets/tex/conception/figures_pdf/contexte.pdf
  30. BIN
      doc/sujets/tex/conception/figures_pdf/data.pdf
  31. BIN
      doc/sujets/tex/conception/figures_pdf/exe_act.pdf
  32. BIN
      doc/sujets/tex/conception/figures_pdf/exem_evt.pdf
  33. BIN
      doc/sujets/tex/conception/figures_pdf/exemple_activite.pdf
  34. BIN
      doc/sujets/tex/conception/figures_pdf/figure_spec.pdf
  35. BIN
      doc/sujets/tex/conception/figures_pdf/flot_control.pdf
  36. BIN
      doc/sujets/tex/conception/figures_pdf/flot_donnees.pdf
  37. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/AADL.pdf
  38. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc1.pdf
  39. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc10.pdf
  40. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc12.pdf
  41. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc2.pdf
  42. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc3-4.pdf
  43. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc7.pdf
  44. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/thread.pdf
  45. BIN
      doc/sujets/tex/conception/figures_pdf/noeud_activite.pdf
  46. BIN
      doc/sujets/tex/conception/figures_pdf/pin_act.pdf
  47. BIN
      doc/sujets/tex/conception/figures_pdf/ports.pdf
  48. BIN
      doc/sujets/tex/conception/figures_pdf/process.pdf
  49. BIN
      doc/sujets/tex/conception/figures_pdf/processus.pdf
  50. BIN
      doc/sujets/tex/conception/figures_pdf/system.pdf
  51. BIN
      doc/sujets/tex/conception/figures_pdf/thread.pdf
  52. BIN
      doc/sujets/tex/conception/figures_pdf/trad_AADL.pdf
  53. BIN
      doc/sujets/tex/guide_compilation/figures-pdf/edition1.pdf
  54. BIN
      doc/sujets/tex/guide_compilation/figures-pdf/edition2.pdf
  55. BIN
      doc/sujets/tex/guide_compilation/figures-pdf/edition2b.pdf
  56. BIN
      doc/sujets/tex/guide_compilation/figures/figures.graffle
  57. 224
    0
      doc/sujets/tex/guide_compilation/guide.tex
  58. 393
    0
      doc/sujets/tex/specifications/figures/arene.graffle
  59. 2185
    0
      doc/sujets/tex/specifications/figures/contexte.graffle
  60. 900
    0
      doc/sujets/tex/specifications/figures/schema_general2.graffle/data.plist
  61. BIN
      doc/sujets/tex/specifications/figures/schema_general2.graffle/image3.tiff
  62. 482
    0
      doc/sujets/tex/specifications/figures/schema_robot.graffle
  63. BIN
      doc/sujets/tex/specifications/figures_pdf/arene.pdf
  64. BIN
      doc/sujets/tex/specifications/figures_pdf/classes1.png
  65. BIN
      doc/sujets/tex/specifications/figures_pdf/classes2.png
  66. BIN
      doc/sujets/tex/specifications/figures_pdf/contexte.pdf
  67. BIN
      doc/sujets/tex/specifications/figures_pdf/schema_general2.pdf
  68. BIN
      doc/sujets/tex/specifications/figures_pdf/schema_robot.pdf
  69. BIN
      doc/sujets/tex/specifications/seq_req/req1-2.png
  70. BIN
      doc/sujets/tex/specifications/seq_req/req10-11.png
  71. BIN
      doc/sujets/tex/specifications/seq_req/req12-13.png
  72. BIN
      doc/sujets/tex/specifications/seq_req/req14-16.png
  73. BIN
      doc/sujets/tex/specifications/seq_req/req17.png
  74. BIN
      doc/sujets/tex/specifications/seq_req/req18.png
  75. BIN
      doc/sujets/tex/specifications/seq_req/req3-6.png
  76. BIN
      doc/sujets/tex/specifications/seq_req/req7-9.png
  77. 283
    0
      doc/sujets/tex/specifications/src/annexes.tex
  78. 493
    0
      doc/sujets/tex/specifications/src/besoins.tex
  79. 103
    0
      doc/sujets/tex/specifications/src/plateforme.tex
  80. 142
    0
      doc/sujets/tex/specifications/sujet_robot.tex
  81. 667
    0
      hardware/meca/0605-LED_Verde.STEP
  82. BIN
      hardware/meca/Batterie.ipt
  83. BIN
      hardware/meca/Bloc roue.iam
  84. BIN
      hardware/meca/Chargeur/1593K PCB.dwg
  85. 733
    0
      hardware/meca/Chargeur/1593K PCB.igs
  86. BIN
      hardware/meca/Chargeur/1593K PCB.ipt
  87. BIN
      hardware/meca/Chargeur/1593K PCB.stl
  88. 661
    0
      hardware/meca/Chargeur/1593K PCB.stp
  89. BIN
      hardware/meca/Chargeur/Chargeur.iam
  90. BIN
      hardware/meca/Chargeur/Chargeur_Dumber.ipj
  91. 20113
    0
      hardware/meca/Chargeur/Hammond/1593K.igs
  92. 18986
    0
      hardware/meca/Chargeur/Hammond/1593K.stp
  93. BIN
      hardware/meca/Dumber 2015-2.ipj
  94. BIN
      hardware/meca/Dumber 2015.ipj
  95. 15430
    0
      hardware/meca/Export/capot.stl
  96. 897
    0
      hardware/meca/Export/capot.stp
  97. 134542
    0
      hardware/meca/Export/pied.stl
  98. 285
    0
      hardware/meca/Export/pied.stp
  99. BIN
      hardware/meca/Platine encodeur.ipt
  100. 0
    0
      hardware/meca/Pneu.ipt

+ 3
- 0
.gitignore View File

@@ -62,3 +62,6 @@ GUI
62 62
 # Android
63 63
 *.apk
64 64
 
65
+/software/raspberry/superviseur-robot/superviseur/dist/
66
+/software/raspberry/testeur/testeur/build/
67
+/software/raspberry/testeur/testeur/dist/

+ 0
- 16
.vscode/c_cpp_properties.json View File

@@ -1,16 +0,0 @@
1
-{
2
-    "configurations": [
3
-        {
4
-            "name": "Linux",
5
-            "includePath": [
6
-                "${workspaceFolder}/**"
7
-            ],
8
-            "defines": [],
9
-            "compilerPath": "/usr/bin/clang",
10
-            "cStandard": "c11",
11
-            "cppStandard": "c++17",
12
-            "intelliSenseMode": "clang-x64"
13
-        }
14
-    ],
15
-    "version": 4
16
-}

+ 0
- 16
.vscode/tasks.json View File

@@ -1,16 +0,0 @@
1
-{
2
-  // See https://go.microsoft.com/fwlink/?LinkId=733558
3
-    // for the documentation about the tasks.json format
4
-    "version": "2.0.0",
5
-    "tasks": [
6
-        {
7
-            "taskName": "Compile on raspberry",
8
-            "command": "rsync -az '${file}' 10.105.1.6:~ && ssh server.example.org 'chmod +x ./${fileBasename}; ./${fileBasename}'",
9
-            "type": "shell",
10
-            "group": {
11
-                "kind": "build",
12
-                "isDefault": true
13
-            }
14
-        }
15
-    ]
16
-}

+ 7
- 5
README.md View File

@@ -1,8 +1,10 @@
1 1
 # Dumber
2 2
 
3
-## Branche invalide :
4
-La branche master ne contient rien. Vous devez selectionner la branche stable avant de pouvoir commencer à utiliser le depot:
5
-	git checkout stable
3
+Depot du projet de temps reel 4eme année au departement GEI de l'INSA Toulouse.
4
+
5
+## Repertoires
6
+- hardware : contient les plans pour la partie mecanique du robot et de son chargeur, ainsi que les plans de conception des PCB du robot, du chargeur, de l'adaptateur Xbee pour la raspberry  et les plans des CAP du robot
7
+- software: rassemble les parties logicielles du robot, du chargeur, les bibliotheques et superviseur coté raspberry et l'interface Web
8
+- doc: contient les sujets de TD et TP
9
+- aruco_markers: Script de generation des tags (aruco) utilisés sur les robots
6 10
 
7
-Vous pouvez aussi selectionner la branche dev pour avoir les derniers developpements (instable)
8
-	git checkout dev

+ 2
- 0
aruco_markers/.gitignore View File

@@ -0,0 +1,2 @@
1
+*.png
2
+*.jpg

+ 23
- 0
aruco_markers/generate_markers.sh View File

@@ -0,0 +1,23 @@
1
+#!/bin/sh
2
+
3
+echo "Generating 20 markers"
4
+example_aruco_create_marker -d=3 --id=1 --ms=100 marker_4X4_1000_1.png
5
+example_aruco_create_marker -d=3 --id=2 --ms=100 marker_4X4_1000_2.png
6
+example_aruco_create_marker -d=3 --id=3 --ms=100 marker_4X4_1000_3.png
7
+example_aruco_create_marker -d=3 --id=4 --ms=100 marker_4X4_1000_4.png
8
+example_aruco_create_marker -d=3 --id=5 --ms=100 marker_4X4_1000_5.png
9
+example_aruco_create_marker -d=3 --id=6 --ms=100 marker_4X4_1000_6.png
10
+example_aruco_create_marker -d=3 --id=7 --ms=100 marker_4X4_1000_7.png
11
+example_aruco_create_marker -d=3 --id=8 --ms=100 marker_4X4_1000_8.png
12
+example_aruco_create_marker -d=3 --id=9 --ms=100 marker_4X4_1000_9.png
13
+example_aruco_create_marker -d=3 --id=10 --ms=100 marker_4X4_1000_10.png
14
+example_aruco_create_marker -d=3 --id=11 --ms=100 marker_4X4_1000_11.png
15
+example_aruco_create_marker -d=3 --id=12 --ms=100 marker_4X4_1000_12.png
16
+example_aruco_create_marker -d=3 --id=13 --ms=100 marker_4X4_1000_13.png
17
+example_aruco_create_marker -d=3 --id=14 --ms=100 marker_4X4_1000_14.png
18
+example_aruco_create_marker -d=3 --id=15 --ms=100 marker_4X4_1000_15.png
19
+example_aruco_create_marker -d=3 --id=16 --ms=100 marker_4X4_1000_16.png
20
+example_aruco_create_marker -d=3 --id=17 --ms=100 marker_4X4_1000_17.png
21
+example_aruco_create_marker -d=3 --id=18 --ms=100 marker_4X4_1000_18.png
22
+example_aruco_create_marker -d=3 --id=19 --ms=100 marker_4X4_1000_19.png
23
+example_aruco_create_marker -d=3 --id=20 --ms=100 marker_4X4_1000_20.png

BIN
aruco_markers/markers_board.odt View File


BIN
aruco_markers/markers_board.pdf View File


+ 875
- 0
doc/sujets/tex/conception/conception_robot.tex View File

@@ -0,0 +1,875 @@
1
+\documentclass[11pt,a4paper]{paper}
2
+
3
+\usepackage[T1]{fontenc}
4
+
5
+\usepackage{graphicx}
6
+\usepackage{amssymb}
7
+\usepackage{amstext}
8
+\usepackage{amsmath}
9
+\usepackage{a4wide,color}
10
+\usepackage[utf8]{inputenc}
11
+\usepackage[frenchb]{babel}
12
+\usepackage{xspace}
13
+\usepackage{anysize}
14
+\usepackage{tabularx}
15
+\usepackage{multirow}
16
+\usepackage{fancybox}
17
+\usepackage{fancyhdr}
18
+\usepackage{bbding}
19
+
20
+\usepackage{multicol}
21
+
22
+\setlength{\parskip}{1ex plus 0.5ex minus 0.2ex}
23
+\usepackage{color}
24
+\usepackage{float}
25
+
26
+\usepackage[toc,page]{appendix} 
27
+\usepackage{lscape}
28
+
29
+\usepackage{placeins}
30
+
31
+\usepackage{listingsutf8}
32
+%\usepackage{listings}
33
+
34
+\usepackage{todonotes}
35
+
36
+\lstset{% general command to set parameter(s)
37
+	basicstyle=\footnotesize, % print whole listing small
38
+	keywordstyle=\color{magenta}\bfseries, % underlined bold black keywords
39
+	identifierstyle=, % nothing happens
40
+	commentstyle=\color{black}, % white comments
41
+	stringstyle=\ttfamily, % typewriter type for strings
42
+	showstringspaces=false % no special string spaces
43
+} 
44
+
45
+\lstdefinelanguage{aald}
46
+	{morekeywords={system, implementation},
47
+	sensitive=false,
48
+	morecomment=[l]{//},
49
+	morecomment=[s]{/*}{*/},
50
+	morestring=[b]",
51
+}
52
+
53
+\usepackage[colorlinks=true]{hyperref}
54
+
55
+\renewcommand{\appendixtocname}{Annexes} 
56
+\renewcommand{\appendixpagename}{Annexes}
57
+
58
+\usepackage[normalem]{ulem}
59
+\usepackage{color}
60
+
61
+\definecolor{Fond}{gray}{0.7}
62
+
63
+\renewcommand{\floatpagefraction}{.99}
64
+\renewcommand{\textfraction}{.01}
65
+\newcommand{\modif}[1]{\textcolor{red}{\uline{#1}}}
66
+
67
+
68
+\pagestyle{fancy}
69
+\fancyhf{}
70
+\fancyhead[RE,RO]{\thepage}
71
+\fancyhead[LE]{}
72
+\fancyhead[LO]{Programmation et conception de systèmes temps réel -- 4ème année AE et IR}
73
+\fancyfoot[LO]{INSA Toulouse -- \today}
74
+\fancypagestyle{plain}{%
75
+  \fancyhf{} % get rid of headers
76
+  \renewcommand{\headrulewidth}{0pt} % and the line
77
+}
78
+
79
+\newenvironment{maliste}%
80
+{ \begin{list}%
81
+	{\ArrowBoldRightStrobe}%
82
+	{\setlength{\labelwidth}{30pt}%
83
+	 \setlength{\leftmargin}{35pt}%
84
+	 \setlength{\itemsep}{\parsep}}}%
85
+{ \end{list} }
86
+
87
+
88
+
89
+
90
+\title{{\Huge Projet De Stijl 2.0}
91
+{\small : Plateforme pour robots mobiles}\\
92
+{\scriptsize Programmation et conception de systémes temps réel -- 4éme année AE/IR}\\
93
+{\scriptsize Institut National des Sciences Appliquées de Toulouse}\\
94
+---\\
95
+Dossier de conception \\
96
+{\large Version 2.0.1 (\today)}\\
97
+{\scriptsize Référent pédagogique : P.-E. Hladik (\texttt{pehladik@insa-toulouse.fr})}\\
98
+---
99
+}
100
+
101
+
102
+\begin{document}
103
+
104
+\maketitle
105
+
106
+%\begin{table}[htdp]
107
+%\caption{Suivi des modifications}
108
+%\begin{center}
109
+%\begin{tabular}{|c|c|c|p{8cm}|}
110
+%\hline
111
+%Date & Version & Auteur & Modifications\\
112
+%\hline
113
+%JJ/MM/12 & 0.3.X & P.-E. Hladik&  \\
114
+%\hline
115
+%\end{tabular}
116
+%\end{center}
117
+%\label{default}
118
+%\end{table}%
119
+%\newpage
120
+
121
+%\tableofcontents
122
+
123
+%\newpage
124
+
125
+%%%%%%%%%%%%%%%%%%%%%%%%%
126
+  \section{Introduction}
127
+%%%%%%%%%%%%%%%%%%%%%%%%%
128
+\label{sec:premier}
129
+
130
+Ce document a pour but de vous apprendre à lire un modèle en AADL et les diagrammes d'activité qui décrivent le comportement des threads. Le document présente le résultat d'une conception réalisée à la va-vite. Cette conception ne prend en considération que la mise en place des communications et la gestion des déplacements du robot ce qui correspond aux fonctionnalités 1, 2, 3, 4, 7, 10 et 12 du cahier des charges fonctionnel.
131
+
132
+Le code initial qui vous est fourni à la première séance de travaux pratiques correspond à l'implémentation de la conception présentée ici.
133
+
134
+Attention, les choix qui ont été faits ne sont pas forcément les meilleurs. Tout ce qui est proposé peut être remis en cause dans la suite du travail. \`A vous d'ajouter, de modifier, de critiquer de manière pertinente cette conception.
135
+
136
+%%%%%%%%%%%%%%%%%%%%%%%%%
137
+\section{Diagramme de contexte}
138
+%%%%%%%%%%%%%%%%%%%%%%%%%
139
+
140
+La figure~\ref{fig:contexte} présente le superviseur dans son contexte et ses interactions avec les autres composants de la plate-forme.
141
+
142
+ \begin{figure}[htbp]
143
+\begin{center}
144
+\includegraphics[scale=0.6]{figures_pdf/contexte}
145
+\caption{Diagramme de contexte}
146
+\label{fig:contexte}
147
+\end{center}
148
+\end{figure}
149
+\FloatBarrier
150
+
151
+La webcam produit des données (\texttt{image}) sous la forme d'un tableau d'octets. Le robot reçoit des ordres (\texttt{ordre}) sous la forme d'une chaîne de caractères et retourne une réponse aussi sous la forme d'une chaîne (\texttt{reponse}). Le moniteur envoi un événement (\texttt{connecter serveur}) pour demander la connexion avec le serveur puis établit une communication bi-directionnelle sous la forme d'une flux d'octets (\texttt{inputStream} et \texttt{outputStream}).
152
+
153
+%%%%%%%%%%%%%%%%%%%%%%%%%
154
+\section{Le travail d'un concepteur : l'analyse fonctionnelle}
155
+%%%%%%%%%%%%%%%%%%%%%%%%%
156
+
157
+À partir du cahier des charges, le concepteur va analyser chaque fonctionnalité en se demandant quelles sont les données consommées et produites ainsi que les traitement à réaliser. Petit à petit il va ainsi construire l'architecture du programme.
158
+
159
+Dans la suite de ce document, nous ne nous intéresserons qu'aux fonctionnalités 1, 2, 3, 4, 7, 10 et 12 présentées dans le cahier des charges fonctionnel. Votre travail consistera à compléter la conception déjà réalisée pour intégrer l'ensemble des fonctionnalités. Vous pouvez modifier tout ce que vous voulez de cette conception.
160
+
161
+En analysant la fonctionnalité 1, le concepteur produit au brouillon le dessin suivant. Il décrit dans un rectangle blanc la fonction et dans une note sur fond jaune le comportement de la fonction. La flèche en pointillée représente un évènement. 
162
+ \begin{figure}[htbp]
163
+\begin{center}
164
+\includegraphics[scale=0.5]{figures_pdf/fonc/fonc1}
165
+\end{center}
166
+\end{figure}
167
+\FloatBarrier
168
+
169
+Pour intégrer la fonctionnalité 2, le concepteur complète son brouillon avec une nouvelle fonction. Il modifie aussi la première fonction pour que celle-ci produise l'événement {\tt serveur démarré}. L'évènement {\tt ouvrir socket} est produit par le moniteur lorsque l'utilisateur demande la connexion entre le moniteur et le superviseur.
170
+ \begin{figure}[htbp]
171
+\begin{center}
172
+\includegraphics[scale=0.5]{figures_pdf/fonc/fonc2}
173
+\end{center}
174
+\end{figure}
175
+\FloatBarrier
176
+
177
+Les fonctionnalités 3 et 4 (voir dessin ci-dessous) induisent l'ajout du nouvel évènement {\tt connexion établie}. Une file de messages {\tt messageToMon} est aussi introduite. C'est dans cette file que seront postés les messages à envoyer au moniteur. On remarque l'apparition des flux de données-événement {\tt inputStream} et {\tt oututStream} en provenance et à destination du moniteur.
178
+ \begin{figure}[htbp]
179
+\begin{center}
180
+\includegraphics[scale=0.5]{figures_pdf/fonc/fonc3-4}
181
+\end{center}
182
+\end{figure}
183
+\FloatBarrier
184
+
185
+
186
+L'ajout de la fonctionnalité 7 conduit à modifier la fonction de réception pour différencier les actions à réaliser en fonction du type des messages reçus. Un nouvel évènement {\tt ouvrir comRobot} est ainsi ajouté pour signaler une demander de mise en service de la communication avec le robot. On remarque aussi que la file de messages {\tt messageToMon} est maintenant utilisée par une fonction pour envoyer au moniteur le message d'acquittement ou d'échec.
187
+ \begin{figure}[htbp]
188
+\begin{center}
189
+\includegraphics[scale=0.5]{figures_pdf/fonc/fonc7}
190
+\end{center}
191
+\end{figure}
192
+\FloatBarrier
193
+
194
+La fonction pour démarrer le robot sans watchdog (fonctionnalité 10) suit le même schéma que le fonctionnalité 7. On remarque cette fois que les flux {\tt ordre} et de {\tt réponse} sont utilisés pour communiquer avec le robot. La file de message {\tt messageToMon} a maintenant deux producteurs.
195
+ \begin{figure}[htbp]
196
+\begin{center}
197
+\includegraphics[scale=0.5]{figures_pdf/fonc/fonc10}
198
+\end{center}
199
+\end{figure}
200
+\FloatBarrier
201
+
202
+La dernière fonctionnalité qui sera traitée dans cette conception introduit deux variables partagées : {\tt mouvement} et {\tt robot démarré}. Le choix fait par le concepteur pour traiter les mouvements consiste à envoyer périodiquement un message de mouvement au robot. Pour cela la fonction lit le mouvement à réaliser dans la variable {\tt mouvement}. Cette variable est mise à jour lorsqu'un message de mouvement est reçu. Cependant, le message ne doit être envoyé que si le robot est démarré, d'où l'ajout de la variable {\tt robot démarré} qui est mise à jour dans la fonction qui démarre le robot.
203
+ \begin{figure}[htbp]
204
+\begin{center}
205
+\includegraphics[scale=0.5]{figures_pdf/fonc/fonc12}
206
+\end{center}
207
+\end{figure}
208
+\FloatBarrier
209
+
210
+%%%%%%%%%%%%%%%%%%%%%%%%%
211
+\section{Le travail d'un concepteur : la formalisation}
212
+%%%%%%%%%%%%%%%%%%%%%%%%%
213
+
214
+\subsection{Identification des threads}
215
+Après avoir identifier les fonctions de l'application, le concepteur doit préciser quand l'exécution des fonctions se produit. La première étape consiste à considérer chaque fonction comme un thread. Deux questions se posent alors :
216
+\begin{itemize}
217
+	\item Quel est le type du thread ? Un thread apériodique (noté par un A dans un rond) est un thread dont l'exécution est contrôlé par des événements alors qu'un thread périodique (noté par la valeur de la période dans un rond) aura une exécution qui revient périodiquement.
218
+	\item Quel est la priorité du thread ? Une règle simple pour les threads périodiques est d'attribuer les priorités par ordre décroissant des périodes, c'est-à-dire qu'un thread sera d'autant plus prioritaire que sa période sera petite.  Pour les threads apériodiques, le niveau de priorité va dépendre de la criticité des fonctions.\\
219
+\end{itemize}
220
+
221
+ \begin{figure}[htbp]
222
+\begin{center}
223
+\includegraphics[scale=0.5]{figures_pdf/fonc/thread}
224
+\end{center}
225
+\end{figure}
226
+\FloatBarrier
227
+
228
+\subsection{Raffinage}
229
+
230
+Une seconde étape consiste à avoir un regard critique sur sa conception, par exemple en se demandant s'il est possible de réunir des threads ensembles. Ici, le thread {\tt Etablissement de la communication avec le moniteur} ne peut être appelé qu'après {\tt démarrer serveur}, il est donc possible de les réunir en un seul thread.
231
+
232
+C'est aussi le moment de se demande si toutes les fonctionnalités sont couvertes. Pour cela on reprend chaque fonctionnalité et on vérifie qu'elles sont bien traitées. Ici tout semble correct, bien qu'un doute subsiste pour la gestion des déplacements du robot...
233
+
234
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
235
+\subsection{Formalisation}
236
+
237
+Jusqu'ici tout a été réalisé au brouillon par le concepteur, il faut donc maintenant passer à une étape de formalisation pour pouvoir partager le travail réalisé et lever toute ambiguité. Pour cela, l'architecture sera décrite en AADL et le comportement des threads par des diagrammes d'activité UML. Le schéma~\ref{fig:AADL} présente le modèle AADL de l'architecture logicielle.
238
+
239
+ \begin{figure}[htbp]
240
+\begin{center}
241
+\includegraphics[scale=0.5]{figures_pdf/fonc/AADL}
242
+\end{center}
243
+\caption{Modèle AADL de l'architecture de l'application}
244
+\label{fig:AADL}
245
+\end{figure}
246
+\FloatBarrier
247
+
248
+Ensuite, pour chacun des threads, un diagramme d'activité UML est utilisé pour décrire son comportement. Les diagrammes ont été produits avec \href{https://www.planttext.com}{https://www.planttext.com} et les codes sources sont disponibles en annexe (disponibles numériquement sur la page moodle).
249
+
250
+\subsection{Thread th\_server}
251
+
252
+ \begin{figure}[htbp]
253
+\begin{center}
254
+\includegraphics[scale=0.4]{figures_pdf/activity/th_server}
255
+\end{center}
256
+\caption{Diagramme d'activité du thread th\_server}
257
+\end{figure}
258
+\FloatBarrier
259
+
260
+\subsection{Thread th\_sendToMon}
261
+
262
+ \begin{figure}[htbp]
263
+\begin{center}
264
+\includegraphics[scale=0.4]{figures_pdf/activity/th_sendToMon}
265
+\end{center}
266
+\caption{Diagramme d'activité du thread th\_sendToMon}
267
+\end{figure}
268
+\FloatBarrier
269
+
270
+
271
+\subsection{Thread th\_receiveFromMon}
272
+
273
+ \begin{figure}[htbp]
274
+\begin{center}
275
+\includegraphics[scale=0.4]{figures_pdf/activity/th_receiveFromMon}
276
+\end{center}
277
+\caption{Diagramme d'activité du thread th\_receiveFromMon}
278
+\end{figure}
279
+\FloatBarrier
280
+
281
+\subsection{Thread th\_openComRobot}
282
+
283
+ \begin{figure}[htbp]
284
+\begin{center}
285
+\includegraphics[scale=0.4]{figures_pdf/activity/th_openComRobot}
286
+\end{center}
287
+\caption{Diagramme d'activité du thread th\_openComRobot}
288
+\end{figure}
289
+\FloatBarrier
290
+
291
+\subsection{Thread th\_startRobot}
292
+
293
+ \begin{figure}[htbp]
294
+\begin{center}
295
+\includegraphics[scale=0.4]{figures_pdf/activity/th_startRobot}
296
+\end{center}
297
+\caption{Diagramme d'activité du thread th\_startRobot}
298
+\end{figure}
299
+\FloatBarrier
300
+
301
+\subsection{Thread th\_move}
302
+
303
+ \begin{figure}[htbp]
304
+\begin{center}
305
+\includegraphics[scale=0.4]{figures_pdf/activity/th_move}
306
+\end{center}
307
+\caption{Diagramme d'activité du thread th\_move}
308
+\end{figure}
309
+\FloatBarrier
310
+
311
+
312
+\newpage
313
+%%%%%%%%%%%%%%%%%%%%%%%
314
+\begin{appendices}
315
+%%%%%%%%%%%%%%%%%%%%%%%%%
316
+
317
+\section{Diagramme d'activité} 
318
+\label{ann:diag_act}
319
+
320
+\framebox[\textwidth]{
321
+\begin{minipage}{0.9\textwidth}
322
+{\bf Remarque :} Cette présentation du diagramme d'activité est tirée du \href{http://laurent-audibert.developpez.com/Cours-UML/}{cours mis en ligne} de Laurent Audibert.
323
+
324
+Elle ne se veut pas exhaustive, mais simplement présenter les éléments nécessaire pour l'activité concernée par ce cours. De plus des éléments non standardisés sont introduit pour facilité l'expression des besoins.
325
+\end{minipage}
326
+}
327
+\vspace{2mm}
328
+
329
+Le diagramme d'activité est un diagramme comportemental d'UML, permettant de représenter le déclenchement d'événements en fonction des états du système et de modéliser des comportements parallélisables (multi-threads ou multi-processus).
330
+
331
+Les diagrammes d'activités permettent de spécifier des traitements a priori séquentiels et offrent une vision très proche de celle des langages de programmation impératifs comme C++ ou Java. Il serait utilisé ici dans ce but.
332
+
333
+\subsection{N{\oe}uds d'activité}
334
+
335
+Une activité modélise un comportement décrit par un séquencement organisé d'unités dont les éléments simples sont les actions. Le flot d'exécution est modélisé par des n{\oe}uds reliés par des arcs (transitions). Le flot de contrôle reste dans l'activité jusqu'à ce que les traitements soient terminés.
336
+
337
+Un n{\oe}ud d'activité est un type d'élément abstrait permettant de représenter les étapes le long du flot d'une activité. Il existe plusieurs familles de n{\oe}uds d'activités :
338
+\begin{itemize}
339
+\item les n{\oe}uds d'exécutions,
340
+\item et les n{\oe}uds de contrôle.
341
+\end{itemize}
342
+La figure~\ref{fig:noeuds_act} représente les différents types de n{\oe}uds d'activité.
343
+
344
+ \begin{figure}[htbp]
345
+\begin{center}
346
+\includegraphics[scale=0.6]{figures_pdf/noeud_activite}
347
+\caption{Représentation graphique des n{\oe}uds d'activité}
348
+\label{fig:noeuds_act}
349
+\end{center}
350
+\end{figure}
351
+\FloatBarrier
352
+
353
+Le passage d'une activité vers une autre est matérialisé par une transition. Elles sont déclenchées dès que l'activité source est terminée et provoquent automatiquement et immédiatement le début de la prochaine activité à déclencher (l'activité cible). Contrairement aux activités, les transitions sont franchies de manière atomique, en principe sans durée perceptible.
354
+
355
+Les transitions spécifient l'enchaînement des traitements et définissent le flot de contrôle. Elles sont représentées graphiquement par un arc entre deux n{\oe}uds. 
356
+
357
+\subsubsection{N{\oe}uds de contrôle}
358
+Un n{\oe}ud de contrôle est un n{\oe}ud d'activité abstrait utilisé pour coordonner les flots entre les n{\oe}uds d'une activité.
359
+Il existe plusieurs types de n{\oe}uds de contrôle (voir figure~\ref{fig:exe_act}) :
360
+\begin{itemize}
361
+\item n{\oe}ud initial : Un n{\oe}ud initial est un n{\oe}ud de contrôle à partir duquel le flot débute lorsque l'activité enveloppante est invoquée. Un n{\oe}ud initial possède un arc sortant et pas d'arc entrant.
362
+\item n{\oe}ud de fin d'activité : Lorsque l'un des arcs d'un n{\oe}ud de fin d'activité est activé (i.e. lorsqu'un flot d'exécution atteint un n{\oe}ud de fin d'activité), l'exécution de l'activité enveloppante s'achève et tout n{\oe}ud ou flot actif au sein de l'activité enveloppante est abandonné.
363
+\item n{\oe}ud de décision : Un n{\oe}ud de décision est un n{\oe}ud de contrôle qui permet de faire un choix entre plusieurs flots sortants. Il possède un arc entrant et plusieurs arcs sortants. Ces derniers sont généralement accompagnés de conditions de garde pour conditionner le choix. L'utilisation d'une garde [else] est recommandée après un n{\oe}ud de décision car elle garantit un modèle bien formé. En effet, la condition de garde [else] est validée si et seulement si toutes les autres gardes des transitions ayant la même source sont fausses.
364
+\item n{\oe}ud de fusion : Un n{\oe}ud de fusion est un n{\oe}ud de contrôle qui rassemble plusieurs flots alternatifs entrants en un seul flot sortant. Il n'est pas utilisé pour synchroniser des flots concurrents mais pour accepter un flot parmi plusieurs.
365
+\end{itemize}
366
+
367
+ \begin{figure}[htbp]
368
+\begin{center}
369
+\includegraphics[scale=0.6]{figures_pdf/exe_act}
370
+\caption{Exemple de n{\oe}uds de contrôle}
371
+\label{fig:exe_act}
372
+\end{center}
373
+\end{figure}
374
+\FloatBarrier
375
+
376
+\subsection{N{\oe}uds d'exécution}
377
+
378
+Un n{\oe}ud d'exécution est un n{\oe}ud d'activité exécutable qui constitue l'unité fondamentale de fonctionnalité exécutable dans une activité. L'exécution d'une action représente une transformation ou un calcul quelconque dans le système modélisé. Les actions sont généralement liées à des opérations qui sont directement invoquées. Un n{\oe}ud d'exécution doit avoir au moins un arc entrant.
379
+
380
+Graphiquement, un n{\oe}ud d'exécution est représenté par un rectangle aux coins arrondis (figure~\ref{fig:exe_act}) qui contient sa description textuelle. Cette description textuelle peut aller d'un simple nom à une suite d'actions réalisées par l'activité. UML n'impose aucune syntaxe pour cette description textuelle, on peut donc utiliser une syntaxe proche de celle d'un langage de programmation particulier ou du pseudo-code.
381
+
382
+
383
+\paragraph{Ajout de sémantique}
384
+Pour faire le lien avec la conception en AADL, nous ajoutons deux actions spécifiques à la gestion des événements. Le caractère \og ? \fg utilisé après le nom d'un événement signifie que l'action est une attente (donc bloquée) sur la réception de cet événement, alors que \og ! \fg signifie sont émission. La figure~\ref{fig:exem_sync} donne un exemple où une activité est en attente (bloquée) de l'événement \texttt{toto} et produit l'événement \texttt{tata}.
385
+
386
+Pour les événements portant une donnée nous ferons suivre le symbole de synchronisation par une liste de variables qui reçoivent les données. Par exemple, {\tt toto?var} signifie que l'action est en attente de l'événement {\tt toto} et qu'à la réception la variable {\tt var} aura pour valeur celle transmise.
387
+
388
+ \begin{figure}[htbp]
389
+\begin{center}
390
+\includegraphics[scale=0.6]{figures_pdf/exem_evt}
391
+\caption{Exemple de synchronisation}
392
+\label{fig:exem_sync}
393
+\end{center}
394
+\end{figure}
395
+\FloatBarrier
396
+
397
+%%%%%%%%%%%%%%%%%%%%%%%%%
398
+\newpage
399
+\section{Le langage AADL} 
400
+\label{ann:aadl}
401
+ 
402
+AADL (Architecture Analysis and Design Language) est un langage de description d'architecture pour les systèmes temps réel. Il peut être indifféremment utilisé en avionique, spatial, robotique, etc. Il a été développé suite aux retours d'expérience sur l'utilisation du langage MethaH et a été standardisé sous l'autorité de le division ASD (Avionics System Division) du SAE (International Society for Automotive Engineers).
403
+
404
+Une première version du standard AADL (SAE AS5506) a été produite en novembre 2004. Celle courante est la 2.0~\cite{AADL:2009} et date de janvier 2009. Depuis des fournitures de documents annexes et d'outils ont été proposés.
405
+
406
+Le langage AADL étant extrêmement riche, il est impossible d'en donner ici une vue exhaustive en quelques pages.  Nous ne présentons qu'un sous-ensemble de composants pour ne se focaliser que sur les principaux. Les personnes souhaitant approfondir le sujet peuvent se référer aux notes techniques disponibles sur le site de la SAE ou bien directement accéder au standard.
407
+
408
+Le standard~\cite{AADL:2009} est construit sur le concept de modélisation par composant. Un composant est une entité logicielle permettant de faire un calcul ou de stocker des données. Il peut représenter aussi bien une simple fonction qu'une application complète. Un composant peut être simple ou composé, il est alors dit composite. On distingue habituellement l'interface du composant qui permet de décrire les services qu'il fournit ou requière, de son implémentation qui décrit son fonctionnement interne.
409
+
410
+AADL permet de décrire aussi bien une architecture logicielle que matérielle et de spécifier le moteur d'exécution en terme de t‚ches concurrentes, de synchronisation et d'allocation. Le standard SAE AADL offre : 
411
+\begin{itemize}
412
+	\item une spécification du langage avec une syntaxe textuelle ;
413
+	\item une sémantique et une représentation graphique ;
414
+	\item un profil UML du SAE AADL ;
415
+	\item d'une spécification XML/XMI comme format de modèle ;
416
+	\item et plusieurs annexes détaillant certains points : formalisation du comportement, définition des interfaces avec le C et Ada, extension au modèle d'erreur, etc.\\
417
+\end{itemize}
418
+
419
+\framebox[\textwidth]{
420
+\begin{minipage}{0.9\textwidth}
421
+{\bf Remarque :} La description du langage qui en est donnée ci-après est loin d'être exhaustive et certaines libertés ont été prises pour l'adapter aux besoins pédagogiques.
422
+
423
+La suite du document est directement inspirée du  \href{http://www.axlog.fr/aadl/presentation\_fr.html}{guide en ligne} fourni par la société Axlog.
424
+\end{minipage}
425
+}
426
+
427
+\section{Notion de composant et syntaxe}
428
+
429
+
430
+La description d'une architecture en AADL consiste en la description de ses composants et leur composition sous forme d'une arborescence. Cette description pouvant être contenue dans des fichiers, une base de données, etc.
431
+
432
+
433
+Chaque composant appartient à une {\bf catégorie}. Ces catégories sont prédéfinies et se décomposent en :
434
+\begin{itemize}
435
+	\item Catégorie matérielle avec les composants : mémoire ({\em memory}) ; périphérique ({\em device}) ; processeur ({\em processor}) ; bus ({\em bus}).
436
+	\item Catégorie logicielle avec les composants :  donnée ({\em data}) ; sousprogramme ({\em subprogram}) ; thread ({\em thread}) ; groupe de threads ({\em thread group}) ; processus ({\em†processs}).
437
+	\item Catégorie composite avec les composants : système ({\em system}), composant abstrait ({\em  abstract}).\\
438
+\end{itemize}
439
+
440
+
441
+\subsection{Types et implémentation}
442
+
443
+Chaque composant comprend deux parties. La première, \textbf{le type}, correspond à son interface fonctionnelle, c'est-à-dire ce qui est visible pour les autres composants. La seconde, \textbf{l'implémentation}, décrit son contenu : sous-composants, propriétés, connexions, etc.
444
+
445
+Chaque implémentation est associée à un type. ¿ chaque type est associé aucune, une ou plusieurs implémentations. La figure~\ref{fig:type_implementation} donne un exemple de deux types de composants dont le premier est associé à deux implémentations de composants (component implementations).  Textuellement, le type est introduit par le mot décrivant le type du composant, alors que l'implémentation est décrite par le type suivi du mot {\em implementation}.
446
+
447
+
448
+\begin{figure}[htbp]
449
+\begin{center}
450
+\begin{minipage}[c]{.46\linewidth}
451
+\lstset{emph={system, end, implementation, process, processor, thread, subcomponents, properties, features, reference, applies, to, connections, features, requires, data, access, System, offset, end, behavior, res, preemptable, allocation, task, policy, is, action, period, deadline, resources, tasks, in, out, event, with, not, port},emphstyle=\textbf}
452
+\begin{lstlisting}
453
+system type1
454
+end type1;
455
+
456
+system type2
457
+end type2;
458
+
459
+system implementation type1.impl1
460
+end type1.impl1;
461
+
462
+system implementation type1.impl2
463
+end type1.impl2;
464
+\end{lstlisting}
465
+\end{minipage}
466
+\caption{Exemple de description de composants}
467
+\label{fig:type_implementation}
468
+\end{center}
469
+\end{figure}
470
+
471
+L'intérêt de scinder la description d'un composant en type et implémentation est de bien séparer ces deux points de vue. Décrire le type permet à spécifier l'interface du composant, c'est-à-dire exprimer à quoi il ressemble depuis l'extérieur. Alors que l'implémentation en représente l'intérieur. Dans la pratique, la description du type et de l'implémentation peuvent être faites par des personnes différentes, chacune ayant en charge une étape dans le raffinement de la description de l'architecture, du plus haut niveau jusqu'aux moindres détails.
472
+
473
+
474
+\subsection{Les propriétés}
475
+
476
+Chaque composant est caractérisé par des propriétés pouvant prendre des valeurs. Les propriétés sont prédéfinies, c'est-à-dire qu'elles sont identifiées par un nom, un type et la liste des catégories de composants sur lesquelles elles s'appliquent. Par exemple les {\em threads} disposent de propriétés telles que la période, l'échéance ou la durée d'exécution (voir figure~\ref{fig:ex_prop}).
477
+
478
+De nouvelles propriétés et de nouveaux types de propriétés peuvent être définis par l'utilisateur et associés à tout ou partie des catégories de composants. Ce mécanisme de propriétés est un point fort d'AADL en matière d'extensibilité. Gr‚ce à lui, toute notion spécifique au besoin de l'utilisateur peut être prise en compte dans sa description.
479
+
480
+Syntaxiquement, les propriétés sont introduites par le mot {\em properties} suivi d'une liste de propriétés séparées par un point virgule. Les valeurs associées à une propriété sont spécifiées à l'aide de "=>".
481
+
482
+\begin{figure}[htbp]
483
+\begin{center}
484
+\begin{minipage}[c]{.46\linewidth}
485
+\lstset{emph={system, end, implementation, process, processor, thread, subcomponents, properties, features, reference, applies, to, connections, features, requires, data, access, System, offset, end, behavior, res, preemptable, allocation, task, policy, is, action, period, deadline, resources, tasks, in, out, event, with, not, port},emphstyle=\textbf}
486
+\begin{lstlisting}
487
+thread thread1
488
+    properties
489
+        Period => 15 ms;
490
+        Deadline => 10 ms;
491
+end thread1;
492
+\end{lstlisting}
493
+\end{minipage}
494
+\caption{Exemple d'un {\em thred} avec des propriétés sur sa période et son échéance}
495
+\label{fig:ex_prop}
496
+\end{center}
497
+\end{figure}
498
+
499
+\subsection{Ports et connexions}
500
+
501
+La description des flots de données et de contrôles entre composants se fait par le moyen de {\bf ports} et de {\bf connexions}. Un port est un point d'entrée et de sortie d'un composant, c'est-à-dire une interface par où transitent les données et les événements entre les composants. Une connexion permet de relier deux ports, soit les ports de deux sous-composants, soit le port d'un sous-composant avec le port du composant le contenant. Le type et le sens entre les ports connectés doivent être identiques.
502
+
503
+La figure~\ref{fig:connexion_graph} représente graphiquement des ports avec des connexions et la figure~\ref{fig:connexion} en donne sa syntaxe. Le système contient deux {\em process}, eux-même contenant chacun un {\em thread}. Une succession de {\em ports}, représentés par les triangles, et de connexions, représentées par les lignes, établit une communication entre les deux threads.
504
+
505
+\begin{figure}[htbp]
506
+\begin{center}
507
+\includegraphics[scale=.6]{figures_pdf/connexion.pdf}
508
+\caption{Représentation d'un système et de ses sous-composants}
509
+\label{fig:connexion_graph}
510
+\end{center}
511
+\end{figure}
512
+
513
+\begin{figure}[htbp]
514
+\begin{center}
515
+\lstset{emph={system, end, implementation, process, processor, thread, subcomponents, properties, features, reference, applies, to, connections, features, requires, data, access, System, offset, end, behavior, res, preemptable, allocation, task, policy, is, action, period, deadline, resources, tasks, in, out, event, with, not, port},emphstyle=\textbf}
516
+\begin{minipage}[c]{.46\linewidth}
517
+\begin{lstlisting}
518
+system system1
519
+end system1;
520
+
521
+system implementation system1.impl
522
+    subcomponents
523
+        p1: process process1.impl;
524
+        p2: process process2.impl;
525
+    connections
526
+        cn: data port p1.outport -> p2.inport;
527
+end system1.impl;
528
+
529
+process process1
530
+    features
531
+        outport: out data port;
532
+end process1;
533
+
534
+process implementation process1.impl
535
+    subcomponents
536
+        t1: thread thread1.impl;
537
+    connections
538
+        cn: data port t1.outport -> outport;
539
+end process1.impl;
540
+
541
+process process2
542
+    features
543
+        inport: in data port;
544
+end process2;
545
+\end{lstlisting}
546
+\end{minipage}
547
+\begin{minipage}[c]{.46\linewidth}
548
+\begin{lstlisting}
549
+process implementation process2.impl
550
+    subcomponents
551
+        t2: thread thread2.impl;
552
+    connections
553
+        cn: data port inport -> t2.inport;
554
+end process2.impl;
555
+
556
+thread thread1
557
+    features
558
+        outport: out data port;
559
+end thread1;
560
+
561
+thread implementation thread1.impl
562
+end thread1.impl;
563
+
564
+thread thread2
565
+    features
566
+        inport: in data port;
567
+end thread2;
568
+
569
+thread implementation thread2.impl
570
+end thread2.impl;
571
+\end{lstlisting}
572
+\end{minipage}
573
+\caption{Exemple de description de connexions}
574
+\label{fig:connexion}
575
+\end{center}
576
+\end{figure}
577
+
578
+
579
+\section{Outils}
580
+
581
+Différentes outils existent pour manipuler le langage AADL. En particulier, l'atelier de développement ouvert TOPCASED~\cite{topcased} fournit un éditeur textuel et graphique du langage, ADELE. De même, OSATE est un outil pour vérifier la syntaxe d'une description AADL. Cependant, ces outils ne sont pas très robuste ni \og user friendly\fg.
582
+ 
583
+\section{Description des principaux composants}
584
+
585
+\framebox[\textwidth]{
586
+\begin{minipage}{0.9\textwidth}
587
+{\bf Remarque :}  Les principaux composants et éléments de description AADL utilisés pour la conception dans le cadre des TP sont énumérés dans les sections suivantes. Nous nous limitons volontairement à un sous-ensemble et ne respectons pas certaines règles imposées par le standard afin d'en simplifier son utilisation.
588
+
589
+Nous nous limitons aussi à l'expression graphique du langage. Nous ne ferons donc pas de distinction entre type et implémentation et les propriétés seront portées sous forme d'annotations sur les composants.
590
+\end{minipage}
591
+}
592
+
593
+\subsection{System}
594
+\paragraph{Définition} Un {\em system} représente l'assemblage des composants logiciels d'une l'application et de sa plate-forme d'exécution.
595
+
596
+\paragraph{Règles syntaxiques} Un {\em system} peut contenir les déclaration de {\em data}, de {\em port} et de {\em thread}\footnote{Cela n'est pas vrai dans le standard, un système contient normalement des {\em processes} qui contiennent des {\em threads}}.
597
+
598
+
599
+\begin{figure}[h]
600
+\begin{center}
601
+\includegraphics[scale=.6]{figures_pdf/system.pdf}
602
+\caption{Représentation graphique d'un système}
603
+\end{center}
604
+\end{figure}
605
+\FloatBarrier
606
+
607
+
608
+%%%%%%%%%%%%%%%%%%%%
609
+\newpage
610
+\subsection{Thread}
611
+
612
+\paragraph{Définition} Un {\em thread} modélise une activité concurrente, c'est-à-dire une unité ordonnançable qui peut être exécutée en concurrence avec un autre {\em thread}. Chaque {\em thread} est représenté par un flot de contrôle séquentiel qui exécute les instructions d'une image binaire produite par un code source. Un thread peut être activé ({\em dispatch}), c'est-à-dire que son exécution est provoquée par un événement qui peut être asynchrone ou périodique.
613
+
614
+\paragraph{Règles syntaxiques} Un {\em thread} peut contenir des déclarations de {\em port}, de {\em requires data access}, et contenir des {\em data}.
615
+
616
+\paragraph{Exécution} Un {\em thread} s'exécute à la suite d'un {\em disptach}. Un tel événement peut se produire périodiquement ou suite à un événement. Dans le cas périodique, le {\em thread} ré-exécute régulièrement le code qui lui est associé. Dans le cas d'un {\em dispatch} sur événement, le code peut faire référence à une attente de cet événement.
617
+
618
+Quand le {\em thread} termine une exécution, il passe dans un état d'attente du prochain {\em dispatch}. Si un événement provoquant un dispatch est en attente, le {\em thread} commence immédiatement une exécution. Les événements de {\em dispatch} sur un événement peuvent être en attente.
619
+
620
+\paragraph{Propriétés} Un {\em thread} aura une propriété décrivant son type d'activation ainsi qu'un niveau de priorité. Dans le cas périodique, une propriété indiquant la période sera ajoutée.
621
+
622
+\begin{center}
623
+ \begin{minipage}[c]{.46\linewidth}
624
+ \lstset{inputencoding=utf8/latin1}
625
+\lstset{emph={system, end, implementation, process, processor, thread, subcomponents, properties, features, reference, applies, to, connections, features, requires, data, access, System, offset, end, behavior, res, preemptable, allocation, task, policy, is, action, period, deadline, resources, tasks, in, with, not, aadlstring},emphstyle=\textbf}
626
+%\lstset{numbers=left, numberstyle=\tiny, stepnumber=1, numbersep=10pt,numberblanklines= false} 
627
+\begin{lstlisting}
628
+- - Propri\'et\'es liées \`a l'activation
629
+Dispatch_Protocol: {Periodic | Aperiodic }
630
+Period: time
631
+- - Propriété liée à l'ordonnancement
632
+Priority: integer
633
+\end{lstlisting}
634
+\end{minipage}
635
+\end{center}
636
+
637
+\begin{figure}[htbp]
638
+\begin{center}
639
+\includegraphics[scale=.6]{figures_pdf/thread.pdf}
640
+\caption{Représentation graphique d'un {\em thread}}
641
+\end{center}
642
+\end{figure}
643
+\FloatBarrier
644
+
645
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%
646
+\subsection{Data}
647
+
648
+\paragraph{Définition}
649
+
650
+Un composant de type {\em data} représente une donnée qui peut être accessible et partagée par d'autres composants, ce qui est modélisé par un {\em requires data access}. L'accès concurrent à la donnée partagée est coordonnée par le protocole de partage spécifié par la propriété {\tt Concurrency\_Control\_Protocol} du composant de type {\em data}. Un  {\em thread} est considéré comme étant dans une section critique quand il a accès au composant de type {\em data}.
651
+
652
+
653
+\paragraph{Règles syntaxiques} Un {\em data} peut contenir des déclarations de {\em subprogram access} et les propriétés associées.\\
654
+
655
+\paragraph{Propriétés} Un {\em data} est décrit par son type ainsi que par son protocole d'accès s'il est partagé.
656
+
657
+\begin{center}
658
+ \begin{minipage}[c]{.8\linewidth}
659
+  \lstset{inputencoding=utf8/latin1}
660
+\lstset{emph={system, end, implementation, process, processor, thread, subcomponents, properties, features, reference, applies, to, connections, features, requires, data, access, System, offset, end, behavior, res, preemptable, allocation, task, policy, is, action, period, deadline, resources, tasks, in, out, event, with, not, port},emphstyle=\textbf}
661
+\begin{lstlisting}
662
+- - Type de la donnée
663
+Type_Source_Name : string
664
+- - Protocole d'accès à la donnée
665
+Concurrency_Control_Protocol : { Maximum_Priority | Priority_Inheritance | 
666
+                               Priority_Ceiling | Spin_Lock | Semaphore}
667
+\end{lstlisting}
668
+\end{minipage}
669
+\end{center}
670
+
671
+Un ensemble de services standards est fourni pour accéder au {\em data}. Les services {\tt Read\_Data(Data)} et {\tt Write\_Data(Data,Value)} représentent des interfaces pour les fonctions qui réalisent une lecture et écriture de la données du {\em data}. Ces fonctions commencent toujours par une prise de la ressource et se termine par sa libération. La gestion de l'accès concurrent se fait suivant le protocole spécifié. Il est bien sûr possible de définir d'autres services dédiés.
672
+
673
+
674
+\begin{figure}[htbp]
675
+\begin{center}
676
+\includegraphics[scale=.6]{figures_pdf/data.pdf}
677
+\end{center}
678
+\end{figure}
679
+\FloatBarrier
680
+
681
+%%%%%%%%%%%%%
682
+\subsection{Ports}
683
+
684
+\paragraph{Définition} Les {\em ports} sont les points de connexion entre les différents composants qui peuvent être utilisés pour le transfère du contrôle et des données entre eux. Les {\em ports} sont directionnels, c'est-à-dire qu'un port en sortie ({\em output}) est connecté à un port en entrée ({\em input}). Les ports peuvent passés des données, des événements ou les deux. Les données transférées par les ports sont typées. Du point de vue du code source, les données des {\em ports} sont accesibles comme des variables.
685
+
686
+Trois catégories de {\em ports} sont distinguées :
687
+\begin{itemize}
688
+\item Les {\em event data ports} sont les {\em ports} à travers lesquels des données sont envoyées et reçues. L'arrivée d'une donnée peut provoquer un événement chez le récepteur. Les données peuvent être mise dans une file. Un {\em event data port} représente les files de messages.
689
+\item Les {\em data ports} sont des {\em event data ports} avec une file de taille égale à un pour laquelle seule la dernière valeure est conservée ({\em blackboard}). Par défaut, l'arrivée d'une donnée ne cause pas d'activité. Les {\em data ports} représentent les {\em ports} sans file d'attente qui communiquent des informations, tels que des flux qui sont échantillonnés.
690
+\item Les {\em event ports} sont des {\em event data ports} sans contenu de message. Les {\em event ports} représentent des événement discrets dans l'environnement physique, tel que l'appui sur un bouton, une interruption d'horloge ou un événement logique discret comme une alarme.
691
+\end{itemize}
692
+
693
+Les {\em ports} sont directionnels. Un {\em out port} représente une sortie produite par un émetteur, et un {\em in port} représente une entrée requise par un récepteur.
694
+
695
+\paragraph{Règles syntaxiques} Les {\em ports} peuvent être déclarés dans les types des {\em threads} et {\em system}.
696
+
697
+\paragraph{Propriétés} \`A un port est associé au type de données qu'il transporte ainsi que la taille de sa file d'attente et le protocole utilisé pour gérer la file.
698
+
699
+\begin{center}
700
+ \begin{minipage}[c]{.72\linewidth}
701
+ \lstset{inputencoding=utf8/latin1}
702
+\lstset{emph={system, end, implementation, process, processor, thread, subcomponents, properties, features, reference, applies, to, connections, features, requires, data, access, System, offset, end, behavior, res, preemptable, allocation, task, policy, is, action, period, deadline, resources, tasks, in, out, event, with, not, port, enumeration, aadlstring, aadlinteger},emphstyle=\textbf}
703
+\begin{lstlisting}
704
+- - Taille de la file de messages, 1 par défaut
705
+Queue_Size: aadlinteger 0 .. Max_Queue_Size => 1
706
+\end{lstlisting}
707
+\end{minipage}
708
+\end{center}
709
+
710
+Les {\em event} et {\em event data ports} ont par défaut une file associée avec une taille de 1 qui peut être explicitement changée en modifiant la propriété {\tt Queue\_size}. Les propriétés {\tt Queue\_Size} et {\tt Queue\_Processing\_Protocol} spécifient le comportement de la file.
711
+
712
+\begin{figure}[htbp]
713
+\begin{center}
714
+\includegraphics[scale=.6]{figures_pdf/ports.pdf}
715
+\caption{Représentation graphique des {\em ports}}
716
+\end{center}
717
+\end{figure}
718
+\FloatBarrier
719
+
720
+%%%%%%%%%%%%%
721
+\subsection{Connexions}
722
+
723
+\paragraph{Définition} Une connexion est un lien orienté entre les {\em features} de deux composants qui représente les échanges de données et de contrôle entres les composants. Cela peut être la transmission de contrôle et de données entre des ports de différents {\em threads} ou entre des {\em threads} et un {\em data}.
724
+
725
+\paragraph{Règles syntaxiques} Une connexion doit contenir au moins une source et une destination et respecter le sens de communication des {\em ports}.
726
+
727
+
728
+\begin{figure}[htbp]
729
+\begin{center}
730
+\includegraphics[scale=.6]{figures_pdf/connexion2.pdf}
731
+\caption{Représentation graphique des connexions}
732
+\end{center}
733
+\end{figure}
734
+\FloatBarrier
735
+
736
+%%%%%%%%%%%%%
737
+\newpage
738
+\section{Code source des schémas d'activité}
739
+
740
+\begin{multicols}{2}
741
+\subsection{Thread th\_server}
742
+{\scriptsize
743
+\begin{verbatim}
744
+@startuml
745
+skinparam monochrome true
746
+start
747
+:status = monitor.Open();
748
+if (status) then (failed)
749
+    :print("Unable to start server");
750
+stop
751
+else (succeed)
752
+    :monitor.AcceptClient();
753
+    :serverOk!;
754
+    stop
755
+endif
756
+@enduml
757
+\end{verbatim}}
758
+
759
+\subsection{Thread th\_sendToMon}
760
+{\scriptsize
761
+\begin{verbatim}
762
+@startuml
763
+skinparam monochrome true
764
+start
765
+:serverOK?;
766
+while ()
767
+  :messageToMon?msg;
768
+  :monitor.Write(msg);
769
+endwhile
770
+stop
771
+@enduml
772
+\end{verbatim}
773
+}
774
+
775
+\subsection{Thread th\_receiveFromMon}
776
+{\scriptsize
777
+\begin{verbatim}
778
+@startuml
779
+skinparam monochrome true
780
+start
781
+:serverOk?;
782
+while ()
783
+  :msgRcv = monitor.Read();
784
+  if (msgRcv.CompareID(MESSAGE_MONITOR_LOST)) then (true)
785
+    stop
786
+  else (false)
787
+    if (msgRcv.CompareID(MESSAGE_ROBOT_COM_OPEN)) then (true)
788
+      :openComRobot!;
789
+        else (false)
790
+        if (msgRcv.CompareID(MESSAGE_ROBOT_START_WITHOUT_WD)) then (true)
791
+            :startRobot!;
792
+        else (false)
793
+            if (msgRcv.CompareID(MESSAGE_ROBOT_GO_FORWARD
794
+                || msgRcv.CompareID(MESSAGE_ROBOT_GO_BACKWARD 
795
+                || msgRcv.CompareID(MESSAGE_ROBOT_GO_LEFT
796
+                || msgRcv.CompareID(MESSAGE_ROBOT_GO_RIGHT
797
+                || msgRcv.CompareID(MESSAGE_ROBOT_STOP)) then (true)
798
+                :move = msg.GetId();
799
+            endif
800
+        endif
801
+    endif
802
+  endif
803
+endwhile
804
+stop
805
+@enduml
806
+\end{verbatim}
807
+}
808
+
809
+\subsection{Thread th\_openComRobot}
810
+{\scriptsize
811
+\begin{verbatim}
812
+@startuml
813
+skinparam monochrome true
814
+start
815
+while ()
816
+  :openComRobot?;
817
+  :err = robot.Open();
818
+  if (err) then (robot_ok)
819
+    :msgSend = new Message(MESSAGE_ANSWER_ACK);
820
+  else
821
+    :msgSend = new Message(MESSAGE_ANSWER_NACK);
822
+  endif
823
+  :messageToMon!msgSend;
824
+endwhile
825
+stop
826
+@enduml
827
+\end{verbatim}
828
+}
829
+
830
+
831
+\subsection{Thread th\_openStartRobot}
832
+{\scriptsize
833
+\begin{verbatim}
834
+@startuml
835
+skinparam monochrome true
836
+start
837
+while ()
838
+  :startRobot?;
839
+  :msgSend = robot.Write(new Message(MESSAGE_ROBOT_START_WITH_WD));
840
+  :messageToMon!msgSend;
841
+  if (msgSend->getId()) then (MESSAGE_ANSWER_ACK)
842
+    :robotStarted = true;
843
+  endif
844
+endwhile
845
+stop
846
+@enduml
847
+\end{verbatim}
848
+}
849
+
850
+\subsection{Thread th\_move}
851
+{\scriptsize
852
+\begin{verbatim}
853
+@startuml
854
+skinparam monochrome true
855
+start
856
+:start_period(100 ms);
857
+while ()
858
+  :wait_next_period();
859
+  if (robotStarted) then (true)
860
+  :robot.Wirte(new Message(move));
861
+  endif
862
+endwhile
863
+stop
864
+@enduml
865
+\end{verbatim}
866
+}
867
+\end{multicols}
868
+
869
+\end{appendices} 
870
+
871
+\bibliographystyle{plain}
872
+\bibliography{biblio}
873
+ 
874
+
875
+\end{document}

+ 1170
- 0
doc/sujets/tex/conception/figures/AADL_cours/connexion2.graffle
File diff suppressed because it is too large
View File


+ 647
- 0
doc/sujets/tex/conception/figures/AADL_cours/data.graffle View File

@@ -0,0 +1,647 @@
1
+<?xml version="1.0" encoding="UTF-8"?>
2
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3
+<plist version="1.0">
4
+<dict>
5
+	<key>ActiveLayerIndex</key>
6
+	<integer>0</integer>
7
+	<key>AutoAdjust</key>
8
+	<false/>
9
+	<key>CanvasColor</key>
10
+	<dict>
11
+		<key>w</key>
12
+		<string>1</string>
13
+	</dict>
14
+	<key>CanvasOrigin</key>
15
+	<string>{0, 0}</string>
16
+	<key>CanvasScale</key>
17
+	<real>1</real>
18
+	<key>ColumnAlign</key>
19
+	<integer>1</integer>
20
+	<key>ColumnSpacing</key>
21
+	<real>36</real>
22
+	<key>CreationDate</key>
23
+	<string>2010-05-10 22:15:12 +0200</string>
24
+	<key>Creator</key>
25
+	<string>Pirem</string>
26
+	<key>DisplayScale</key>
27
+	<string>1 cm = 1 cm</string>
28
+	<key>GraphDocumentVersion</key>
29
+	<integer>5</integer>
30
+	<key>GraphicsList</key>
31
+	<array>
32
+		<dict>
33
+			<key>Class</key>
34
+			<string>LineGraphic</string>
35
+			<key>Head</key>
36
+			<dict>
37
+				<key>ID</key>
38
+				<integer>5</integer>
39
+			</dict>
40
+			<key>ID</key>
41
+			<integer>256</integer>
42
+			<key>Points</key>
43
+			<array>
44
+				<string>{375.432, 57.1672}</string>
45
+				<string>{366.3, 84.5651}</string>
46
+			</array>
47
+			<key>Style</key>
48
+			<dict>
49
+				<key>stroke</key>
50
+				<dict>
51
+					<key>HeadArrow</key>
52
+					<string>0</string>
53
+					<key>TailArrow</key>
54
+					<string>0</string>
55
+				</dict>
56
+			</dict>
57
+			<key>Tail</key>
58
+			<dict>
59
+				<key>ID</key>
60
+				<integer>255</integer>
61
+			</dict>
62
+		</dict>
63
+		<dict>
64
+			<key>Bounds</key>
65
+			<string>{{240.945, 14.1732}, {283.465, 42.5197}}</string>
66
+			<key>Class</key>
67
+			<string>ShapedGraphic</string>
68
+			<key>ID</key>
69
+			<integer>255</integer>
70
+			<key>Shape</key>
71
+			<string>Rectangle</string>
72
+			<key>Style</key>
73
+			<dict>
74
+				<key>shadow</key>
75
+				<dict>
76
+					<key>Draws</key>
77
+					<string>NO</string>
78
+				</dict>
79
+			</dict>
80
+			<key>Text</key>
81
+			<dict>
82
+				<key>Align</key>
83
+				<integer>0</integer>
84
+				<key>Text</key>
85
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
86
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
87
+{\colortbl;\red255\green255\blue255;}
88
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
89
+
90
+\f0\fs24 \cf0 type_source_name =&gt; Integer\
91
+Concurrency_Control_Protocol =&gt; Priority_Ceiling}</string>
92
+			</dict>
93
+		</dict>
94
+		<dict>
95
+			<key>Class</key>
96
+			<string>LineGraphic</string>
97
+			<key>Head</key>
98
+			<dict>
99
+				<key>ID</key>
100
+				<integer>253</integer>
101
+			</dict>
102
+			<key>ID</key>
103
+			<integer>254</integer>
104
+			<key>Points</key>
105
+			<array>
106
+				<string>{221.952, 156.244}</string>
107
+				<string>{250.017, 184.252}</string>
108
+			</array>
109
+			<key>Style</key>
110
+			<dict>
111
+				<key>stroke</key>
112
+				<dict>
113
+					<key>HeadArrow</key>
114
+					<string>0</string>
115
+					<key>TailArrow</key>
116
+					<string>0</string>
117
+					<key>Width</key>
118
+					<real>0.25</real>
119
+				</dict>
120
+			</dict>
121
+			<key>Tail</key>
122
+			<dict>
123
+				<key>ID</key>
124
+				<integer>10</integer>
125
+			</dict>
126
+		</dict>
127
+		<dict>
128
+			<key>Bounds</key>
129
+			<string>{{199.531, 184.252}, {115, 14}}</string>
130
+			<key>Class</key>
131
+			<string>ShapedGraphic</string>
132
+			<key>FitText</key>
133
+			<string>YES</string>
134
+			<key>Flow</key>
135
+			<string>Resize</string>
136
+			<key>ID</key>
137
+			<integer>253</integer>
138
+			<key>Shape</key>
139
+			<string>Rectangle</string>
140
+			<key>Style</key>
141
+			<dict>
142
+				<key>fill</key>
143
+				<dict>
144
+					<key>Draws</key>
145
+					<string>NO</string>
146
+				</dict>
147
+				<key>shadow</key>
148
+				<dict>
149
+					<key>Draws</key>
150
+					<string>NO</string>
151
+				</dict>
152
+				<key>stroke</key>
153
+				<dict>
154
+					<key>Draws</key>
155
+					<string>NO</string>
156
+				</dict>
157
+			</dict>
158
+			<key>Text</key>
159
+			<dict>
160
+				<key>Text</key>
161
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
162
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
163
+{\colortbl;\red255\green255\blue255;}
164
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
165
+
166
+\f0\i\fs24 \cf0 requires data acces}</string>
167
+			</dict>
168
+			<key>Wrap</key>
169
+			<string>NO</string>
170
+		</dict>
171
+		<dict>
172
+			<key>Bounds</key>
173
+			<string>{{310.165, 127.559}, {102.504, 42}}</string>
174
+			<key>Class</key>
175
+			<string>ShapedGraphic</string>
176
+			<key>FitText</key>
177
+			<string>Vertical</string>
178
+			<key>Flow</key>
179
+			<string>Resize</string>
180
+			<key>ID</key>
181
+			<integer>252</integer>
182
+			<key>Shape</key>
183
+			<string>Rectangle</string>
184
+			<key>Style</key>
185
+			<dict>
186
+				<key>fill</key>
187
+				<dict>
188
+					<key>Draws</key>
189
+					<string>NO</string>
190
+				</dict>
191
+				<key>shadow</key>
192
+				<dict>
193
+					<key>Draws</key>
194
+					<string>NO</string>
195
+				</dict>
196
+				<key>stroke</key>
197
+				<dict>
198
+					<key>Draws</key>
199
+					<string>NO</string>
200
+				</dict>
201
+			</dict>
202
+			<key>Text</key>
203
+			<dict>
204
+				<key>Text</key>
205
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
206
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
207
+{\colortbl;\red255\green255\blue255;}
208
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
209
+
210
+\f0\fs24 \cf0 composant de type 
211
+\i data qui est 
212
+\i0 partag\'e9
213
+\i  }</string>
214
+			</dict>
215
+		</dict>
216
+		<dict>
217
+			<key>Class</key>
218
+			<string>LineGraphic</string>
219
+			<key>Head</key>
220
+			<dict>
221
+				<key>ID</key>
222
+				<integer>10</integer>
223
+			</dict>
224
+			<key>ID</key>
225
+			<integer>251</integer>
226
+			<key>Points</key>
227
+			<array>
228
+				<string>{325.51, 111.337}</string>
229
+				<string>{222.072, 146.266}</string>
230
+			</array>
231
+			<key>Style</key>
232
+			<dict>
233
+				<key>stroke</key>
234
+				<dict>
235
+					<key>HeadArrow</key>
236
+					<string>0</string>
237
+					<key>TailArrow</key>
238
+					<string>0</string>
239
+				</dict>
240
+			</dict>
241
+			<key>Tail</key>
242
+			<dict>
243
+				<key>ID</key>
244
+				<integer>5</integer>
245
+			</dict>
246
+		</dict>
247
+		<dict>
248
+			<key>Class</key>
249
+			<string>LineGraphic</string>
250
+			<key>Head</key>
251
+			<dict>
252
+				<key>ID</key>
253
+				<integer>8</integer>
254
+			</dict>
255
+			<key>ID</key>
256
+			<integer>250</integer>
257
+			<key>Points</key>
258
+			<array>
259
+				<string>{325.485, 97.4793}</string>
260
+				<string>{222.098, 92.492}</string>
261
+			</array>
262
+			<key>Style</key>
263
+			<dict>
264
+				<key>stroke</key>
265
+				<dict>
266
+					<key>HeadArrow</key>
267
+					<string>0</string>
268
+					<key>TailArrow</key>
269
+					<string>0</string>
270
+				</dict>
271
+			</dict>
272
+			<key>Tail</key>
273
+			<dict>
274
+				<key>ID</key>
275
+				<integer>5</integer>
276
+			</dict>
277
+		</dict>
278
+		<dict>
279
+			<key>Bounds</key>
280
+			<string>{{207.425, 141.732}, {14.1732, 14.1732}}</string>
281
+			<key>Class</key>
282
+			<string>ShapedGraphic</string>
283
+			<key>ID</key>
284
+			<integer>10</integer>
285
+			<key>Shape</key>
286
+			<string>Bezier</string>
287
+			<key>ShapeData</key>
288
+			<dict>
289
+				<key>UnitPoints</key>
290
+				<array>
291
+					<string>{0.5, -0.499998}</string>
292
+					<string>{0.5, -0.499998}</string>
293
+					<string>{0.5, 0.5}</string>
294
+					<string>{0.5, 0.5}</string>
295
+					<string>{0.5, 0.5}</string>
296
+					<string>{-9.53674e-07, 0.499998}</string>
297
+					<string>{-9.53674e-07, 0.499998}</string>
298
+					<string>{-9.53674e-07, 0.499998}</string>
299
+					<string>{-0.5, 0}</string>
300
+					<string>{-0.5, 0}</string>
301
+					<string>{-0.5, 0}</string>
302
+					<string>{-4.76837e-07, -0.5}</string>
303
+					<string>{-4.76837e-07, -0.5}</string>
304
+					<string>{-4.76837e-07, -0.5}</string>
305
+					<string>{0.5, -0.499998}</string>
306
+				</array>
307
+			</dict>
308
+			<key>Style</key>
309
+			<dict>
310
+				<key>shadow</key>
311
+				<dict>
312
+					<key>Draws</key>
313
+					<string>NO</string>
314
+				</dict>
315
+			</dict>
316
+		</dict>
317
+		<dict>
318
+			<key>Bounds</key>
319
+			<string>{{99.2126, 127.559}, {127.559, 42.5197}}</string>
320
+			<key>Class</key>
321
+			<string>ShapedGraphic</string>
322
+			<key>ID</key>
323
+			<integer>9</integer>
324
+			<key>Shape</key>
325
+			<string>Parallelogram</string>
326
+			<key>Style</key>
327
+			<dict>
328
+				<key>shadow</key>
329
+				<dict>
330
+					<key>Draws</key>
331
+					<string>NO</string>
332
+				</dict>
333
+				<key>stroke</key>
334
+				<dict>
335
+					<key>Pattern</key>
336
+					<integer>1</integer>
337
+				</dict>
338
+			</dict>
339
+			<key>Text</key>
340
+			<dict>
341
+				<key>Text</key>
342
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
343
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
344
+{\colortbl;\red255\green255\blue255;}
345
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
346
+
347
+\f0\fs24 \cf0 Thread2}</string>
348
+			</dict>
349
+		</dict>
350
+		<dict>
351
+			<key>Bounds</key>
352
+			<string>{{207.425, 85.0394}, {14.1732, 14.1732}}</string>
353
+			<key>Class</key>
354
+			<string>ShapedGraphic</string>
355
+			<key>ID</key>
356
+			<integer>8</integer>
357
+			<key>Shape</key>
358
+			<string>Bezier</string>
359
+			<key>ShapeData</key>
360
+			<dict>
361
+				<key>UnitPoints</key>
362
+				<array>
363
+					<string>{0.5, -0.499998}</string>
364
+					<string>{0.5, -0.499998}</string>
365
+					<string>{0.5, 0.5}</string>
366
+					<string>{0.5, 0.5}</string>
367
+					<string>{0.5, 0.5}</string>
368
+					<string>{-9.53674e-07, 0.499998}</string>
369
+					<string>{-9.53674e-07, 0.499998}</string>
370
+					<string>{-9.53674e-07, 0.499998}</string>
371
+					<string>{-0.5, 0}</string>
372
+					<string>{-0.5, 0}</string>
373
+					<string>{-0.5, 0}</string>
374
+					<string>{-4.76837e-07, -0.5}</string>
375
+					<string>{-4.76837e-07, -0.5}</string>
376
+					<string>{-4.76837e-07, -0.5}</string>
377
+					<string>{0.5, -0.499998}</string>
378
+				</array>
379
+			</dict>
380
+			<key>Style</key>
381
+			<dict>
382
+				<key>shadow</key>
383
+				<dict>
384
+					<key>Draws</key>
385
+					<string>NO</string>
386
+				</dict>
387
+			</dict>
388
+		</dict>
389
+		<dict>
390
+			<key>Bounds</key>
391
+			<string>{{325.984, 85.0394}, {70.8661, 28.3465}}</string>
392
+			<key>Class</key>
393
+			<string>ShapedGraphic</string>
394
+			<key>ID</key>
395
+			<integer>5</integer>
396
+			<key>Shape</key>
397
+			<string>Rectangle</string>
398
+			<key>Style</key>
399
+			<dict>
400
+				<key>shadow</key>
401
+				<dict>
402
+					<key>Draws</key>
403
+					<string>NO</string>
404
+				</dict>
405
+			</dict>
406
+			<key>Text</key>
407
+			<dict>
408
+				<key>Text</key>
409
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
410
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
411
+{\colortbl;\red255\green255\blue255;}
412
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
413
+
414
+\f0\fs24 \cf0 data1}</string>
415
+			</dict>
416
+		</dict>
417
+		<dict>
418
+			<key>Bounds</key>
419
+			<string>{{99.2126, 70.8661}, {127.559, 42.5197}}</string>
420
+			<key>Class</key>
421
+			<string>ShapedGraphic</string>
422
+			<key>ID</key>
423
+			<integer>4</integer>
424
+			<key>Shape</key>
425
+			<string>Parallelogram</string>
426
+			<key>Style</key>
427
+			<dict>
428
+				<key>shadow</key>
429
+				<dict>
430
+					<key>Draws</key>
431
+					<string>NO</string>
432
+				</dict>
433
+				<key>stroke</key>
434
+				<dict>
435
+					<key>Pattern</key>
436
+					<integer>1</integer>
437
+				</dict>
438
+			</dict>
439
+			<key>Text</key>
440
+			<dict>
441
+				<key>Text</key>
442
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
443
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
444
+{\colortbl;\red255\green255\blue255;}
445
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
446
+
447
+\f0\fs24 \cf0 Thread1}</string>
448
+			</dict>
449
+		</dict>
450
+	</array>
451
+	<key>GridInfo</key>
452
+	<dict>
453
+		<key>GridSpacing</key>
454
+		<real>14.17322826385498</real>
455
+		<key>MajorGridSpacing</key>
456
+		<integer>10</integer>
457
+		<key>ShowsGrid</key>
458
+		<string>YES</string>
459
+		<key>SnapsToGrid</key>
460
+		<string>YES</string>
461
+	</dict>
462
+	<key>GuidesLocked</key>
463
+	<string>NO</string>
464
+	<key>GuidesVisible</key>
465
+	<string>YES</string>
466
+	<key>HPages</key>
467
+	<integer>1</integer>
468
+	<key>ImageCounter</key>
469
+	<integer>2</integer>
470
+	<key>IsPalette</key>
471
+	<string>NO</string>
472
+	<key>KeepToScale</key>
473
+	<false/>
474
+	<key>Layers</key>
475
+	<array>
476
+		<dict>
477
+			<key>Lock</key>
478
+			<string>NO</string>
479
+			<key>Name</key>
480
+			<string>Calque 1</string>
481
+			<key>Print</key>
482
+			<string>YES</string>
483
+			<key>View</key>
484
+			<string>YES</string>
485
+		</dict>
486
+	</array>
487
+	<key>LayoutInfo</key>
488
+	<dict/>
489
+	<key>LinksVisible</key>
490
+	<string>NO</string>
491
+	<key>MagnetsVisible</key>
492
+	<string>NO</string>
493
+	<key>MasterSheet</key>
494
+	<string>Master 1</string>
495
+	<key>MasterSheets</key>
496
+	<array>
497
+		<dict>
498
+			<key>ActiveLayerIndex</key>
499
+			<integer>0</integer>
500
+			<key>AutoAdjust</key>
501
+			<false/>
502
+			<key>CanvasColor</key>
503
+			<dict>
504
+				<key>w</key>
505
+				<string>1</string>
506
+			</dict>
507
+			<key>CanvasOrigin</key>
508
+			<string>{0, 0}</string>
509
+			<key>CanvasScale</key>
510
+			<real>1</real>
511
+			<key>ColumnAlign</key>
512
+			<integer>1</integer>
513
+			<key>ColumnSpacing</key>
514
+			<real>36</real>
515
+			<key>DisplayScale</key>
516
+			<string>1 cm = 1 cm</string>
517
+			<key>GraphicsList</key>
518
+			<array/>
519
+			<key>GridInfo</key>
520
+			<dict>
521
+				<key>GridSpacing</key>
522
+				<real>14.17322826385498</real>
523
+				<key>MajorGridSpacing</key>
524
+				<integer>10</integer>
525
+			</dict>
526
+			<key>HPages</key>
527
+			<integer>1</integer>
528
+			<key>IsPalette</key>
529
+			<string>NO</string>
530
+			<key>KeepToScale</key>
531
+			<false/>
532
+			<key>Layers</key>
533
+			<array>
534
+				<dict>
535
+					<key>Lock</key>
536
+					<string>NO</string>
537
+					<key>Name</key>
538
+					<string>Layer 1</string>
539
+					<key>Print</key>
540
+					<string>YES</string>
541
+					<key>View</key>
542
+					<string>YES</string>
543
+				</dict>
544
+			</array>
545
+			<key>LayoutInfo</key>
546
+			<dict/>
547
+			<key>Orientation</key>
548
+			<integer>2</integer>
549
+			<key>OutlineStyle</key>
550
+			<string>Basic</string>
551
+			<key>RowAlign</key>
552
+			<integer>1</integer>
553
+			<key>RowSpacing</key>
554
+			<real>36</real>
555
+			<key>SheetTitle</key>
556
+			<string>Master 1</string>
557
+			<key>UniqueID</key>
558
+			<integer>1</integer>
559
+			<key>VPages</key>
560
+			<integer>1</integer>
561
+		</dict>
562
+	</array>
563
+	<key>ModificationDate</key>
564
+	<string>2012-01-14 17:23:35 +0100</string>
565
+	<key>Modifier</key>
566
+	<string>Pirem</string>
567
+	<key>NotesVisible</key>
568
+	<string>NO</string>
569
+	<key>Orientation</key>
570
+	<integer>2</integer>
571
+	<key>OriginVisible</key>
572
+	<string>NO</string>
573
+	<key>OutlineStyle</key>
574
+	<string>Basic</string>
575
+	<key>PageBreaks</key>
576
+	<string>YES</string>
577
+	<key>PrintInfo</key>
578
+	<dict>
579
+		<key>NSBottomMargin</key>
580
+		<array>
581
+			<string>coded</string>
582
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
583
+		</array>
584
+		<key>NSLeftMargin</key>
585
+		<array>
586
+			<string>coded</string>
587
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
588
+		</array>
589
+		<key>NSPaperSize</key>
590
+		<array>
591
+			<string>size</string>
592
+			<string>{595, 842}</string>
593
+		</array>
594
+		<key>NSRightMargin</key>
595
+		<array>
596
+			<string>coded</string>
597
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
598
+		</array>
599
+		<key>NSTopMargin</key>
600
+		<array>
601
+			<string>coded</string>
602
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
603
+		</array>
604
+	</dict>
605
+	<key>ReadOnly</key>
606
+	<string>NO</string>
607
+	<key>RowAlign</key>
608
+	<integer>1</integer>
609
+	<key>RowSpacing</key>
610
+	<real>36</real>
611
+	<key>SheetTitle</key>
612
+	<string>Canevas 1</string>
613
+	<key>SmartAlignmentGuidesActive</key>
614
+	<string>YES</string>
615
+	<key>SmartDistanceGuidesActive</key>
616
+	<string>YES</string>
617
+	<key>UniqueID</key>
618
+	<integer>1</integer>
619
+	<key>UseEntirePage</key>
620
+	<true/>
621
+	<key>VPages</key>
622
+	<integer>1</integer>
623
+	<key>WindowInfo</key>
624
+	<dict>
625
+		<key>CurrentSheet</key>
626
+		<string>0</string>
627
+		<key>DrawerOpen</key>
628
+		<false/>
629
+		<key>DrawerTab</key>
630
+		<string>Outline</string>
631
+		<key>DrawerWidth</key>
632
+		<real>209</real>
633
+		<key>FitInWindow</key>
634
+		<false/>
635
+		<key>Frame</key>
636
+		<string>{{69, 1}, {586, 742}}</string>
637
+		<key>ShowRuler</key>
638
+		<false/>
639
+		<key>ShowStatusBar</key>
640
+		<true/>
641
+		<key>VisibleRegion</key>
642
+		<string>{{-6, 0}, {571, 628}}</string>
643
+		<key>Zoom</key>
644
+		<string>1</string>
645
+	</dict>
646
+</dict>
647
+</plist>

+ 476
- 0
doc/sujets/tex/conception/figures/AADL_cours/exem_evt.graffle View File

@@ -0,0 +1,476 @@
1
+<?xml version="1.0" encoding="UTF-8"?>
2
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3
+<plist version="1.0">
4
+<dict>
5
+	<key>ActiveLayerIndex</key>
6
+	<integer>0</integer>
7
+	<key>AutoAdjust</key>
8
+	<false/>
9
+	<key>CanvasColor</key>
10
+	<dict>
11
+		<key>w</key>
12
+		<string>1</string>
13
+	</dict>
14
+	<key>CanvasOrigin</key>
15
+	<string>{0, 0}</string>
16
+	<key>CanvasScale</key>
17
+	<real>1</real>
18
+	<key>ColumnAlign</key>
19
+	<integer>1</integer>
20
+	<key>ColumnSpacing</key>
21
+	<real>36</real>
22
+	<key>CreationDate</key>
23
+	<string>2012-01-14 18:40:52 +0100</string>
24
+	<key>Creator</key>
25
+	<string>Pirem</string>
26
+	<key>DisplayScale</key>
27
+	<string>1 cm = 1 cm</string>
28
+	<key>GraphDocumentVersion</key>
29
+	<integer>5</integer>
30
+	<key>GraphicsList</key>
31
+	<array>
32
+		<dict>
33
+			<key>Class</key>
34
+			<string>Group</string>
35
+			<key>Graphics</key>
36
+			<array>
37
+				<dict>
38
+					<key>Bounds</key>
39
+					<string>{{162.698, 198.512}, {31, 14}}</string>
40
+					<key>Class</key>
41
+					<string>ShapedGraphic</string>
42
+					<key>FitText</key>
43
+					<string>YES</string>
44
+					<key>Flow</key>
45
+					<string>Resize</string>
46
+					<key>ID</key>
47
+					<integer>405</integer>
48
+					<key>Shape</key>
49
+					<string>Rectangle</string>
50
+					<key>Style</key>
51
+					<dict>
52
+						<key>fill</key>
53
+						<dict>
54
+							<key>Draws</key>
55
+							<string>NO</string>
56
+						</dict>
57
+						<key>shadow</key>
58
+						<dict>
59
+							<key>Draws</key>
60
+							<string>NO</string>
61
+						</dict>
62
+						<key>stroke</key>
63
+						<dict>
64
+							<key>Draws</key>
65
+							<string>NO</string>
66
+						</dict>
67
+					</dict>
68
+					<key>Text</key>
69
+					<dict>
70
+						<key>Align</key>
71
+						<integer>2</integer>
72
+						<key>Text</key>
73
+						<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
74
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
75
+{\colortbl;\red255\green255\blue255;}
76
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qr\pardirnatural
77
+
78
+\f0\fs24 \cf0 toto}</string>
79
+					</dict>
80
+					<key>Wrap</key>
81
+					<string>NO</string>
82
+				</dict>
83
+				<dict>
84
+					<key>Class</key>
85
+					<string>Group</string>
86
+					<key>Graphics</key>
87
+					<array>
88
+						<dict>
89
+							<key>Class</key>
90
+							<string>LineGraphic</string>
91
+							<key>ID</key>
92
+							<integer>407</integer>
93
+							<key>Points</key>
94
+							<array>
95
+								<string>{197.286, 198.512}</string>
96
+								<string>{204.046, 205.273}</string>
97
+								<string>{197.286, 212.033}</string>
98
+							</array>
99
+							<key>Style</key>
100
+							<dict>
101
+								<key>stroke</key>
102
+								<dict>
103
+									<key>HeadArrow</key>
104
+									<string>0</string>
105
+									<key>TailArrow</key>
106
+									<string>0</string>
107
+								</dict>
108
+							</dict>
109
+						</dict>
110
+						<dict>
111
+							<key>Bounds</key>
112
+							<string>{{190.525, 198.512}, {13.9, 13.5212}}</string>
113
+							<key>Class</key>
114
+							<string>ShapedGraphic</string>
115
+							<key>ID</key>
116
+							<integer>408</integer>
117
+							<key>Shape</key>
118
+							<string>Rectangle</string>
119
+							<key>Style</key>
120
+							<dict>
121
+								<key>shadow</key>
122
+								<dict>
123
+									<key>Draws</key>
124
+									<string>NO</string>
125
+								</dict>
126
+							</dict>
127
+						</dict>
128
+					</array>
129
+					<key>ID</key>
130
+					<integer>406</integer>
131
+				</dict>
132
+			</array>
133
+			<key>ID</key>
134
+			<integer>404</integer>
135
+		</dict>
136
+		<dict>
137
+			<key>Class</key>
138
+			<string>Group</string>
139
+			<key>Graphics</key>
140
+			<array>
141
+				<dict>
142
+					<key>Bounds</key>
143
+					<string>{{304.543, 198.512}, {31, 14}}</string>
144
+					<key>Class</key>
145
+					<string>ShapedGraphic</string>
146
+					<key>FitText</key>
147
+					<string>YES</string>
148
+					<key>Flow</key>
149
+					<string>Resize</string>
150
+					<key>ID</key>
151
+					<integer>447</integer>
152
+					<key>Shape</key>
153
+					<string>Rectangle</string>
154
+					<key>Style</key>
155
+					<dict>
156
+						<key>fill</key>
157
+						<dict>
158
+							<key>Draws</key>
159
+							<string>NO</string>
160
+						</dict>
161
+						<key>shadow</key>
162
+						<dict>
163
+							<key>Draws</key>
164
+							<string>NO</string>
165
+						</dict>
166
+						<key>stroke</key>
167
+						<dict>
168
+							<key>Draws</key>
169
+							<string>NO</string>
170
+						</dict>
171
+					</dict>
172
+					<key>Text</key>
173
+					<dict>
174
+						<key>Align</key>
175
+						<integer>2</integer>
176
+						<key>Text</key>
177
+						<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
178
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
179
+{\colortbl;\red255\green255\blue255;}
180
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qr\pardirnatural
181
+
182
+\f0\fs24 \cf0 tata}</string>
183
+					</dict>
184
+					<key>Wrap</key>
185
+					<string>NO</string>
186
+				</dict>
187
+				<dict>
188
+					<key>Class</key>
189
+					<string>Group</string>
190
+					<key>Graphics</key>
191
+					<array>
192
+						<dict>
193
+							<key>Class</key>
194
+							<string>LineGraphic</string>
195
+							<key>ID</key>
196
+							<integer>449</integer>
197
+							<key>Points</key>
198
+							<array>
199
+								<string>{296.611, 198.512}</string>
200
+								<string>{303.371, 205.273}</string>
201
+								<string>{296.611, 212.033}</string>
202
+							</array>
203
+							<key>Style</key>
204
+							<dict>
205
+								<key>stroke</key>
206
+								<dict>
207
+									<key>HeadArrow</key>
208
+									<string>0</string>
209
+									<key>TailArrow</key>
210
+									<string>0</string>
211
+								</dict>
212
+							</dict>
213
+						</dict>
214
+						<dict>
215
+							<key>Bounds</key>
216
+							<string>{{289.85, 198.512}, {13.9, 13.5212}}</string>
217
+							<key>Class</key>
218
+							<string>ShapedGraphic</string>
219
+							<key>ID</key>
220
+							<integer>450</integer>
221
+							<key>Shape</key>
222
+							<string>Rectangle</string>
223
+							<key>Style</key>
224
+							<dict>
225
+								<key>shadow</key>
226
+								<dict>
227
+									<key>Draws</key>
228
+									<string>NO</string>
229
+								</dict>
230
+							</dict>
231
+						</dict>
232
+					</array>
233
+					<key>ID</key>
234
+					<integer>448</integer>
235
+				</dict>
236
+			</array>
237
+			<key>ID</key>
238
+			<integer>446</integer>
239
+		</dict>
240
+		<dict>
241
+			<key>Bounds</key>
242
+			<string>{{198.425, 184.252}, {99, 42.5197}}</string>
243
+			<key>Class</key>
244
+			<string>ShapedGraphic</string>
245
+			<key>ID</key>
246
+			<integer>171</integer>
247
+			<key>Magnets</key>
248
+			<array>
249
+				<string>{0, 1}</string>
250
+				<string>{0, -1}</string>
251
+				<string>{1, 0}</string>
252
+				<string>{-1, 0}</string>
253
+			</array>
254
+			<key>Shape</key>
255
+			<string>Rectangle</string>
256
+			<key>Style</key>
257
+			<dict>
258
+				<key>shadow</key>
259
+				<dict>
260
+					<key>Draws</key>
261
+					<string>NO</string>
262
+				</dict>
263
+				<key>stroke</key>
264
+				<dict>
265
+					<key>CornerRadius</key>
266
+					<real>5</real>
267
+				</dict>
268
+			</dict>
269
+			<key>Text</key>
270
+			<dict>
271
+				<key>Text</key>
272
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
273
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
274
+{\colortbl;\red255\green255\blue255;}
275
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc
276
+
277
+\f0\fs24 \cf0 toto ?\
278
+tata !}</string>
279
+			</dict>
280
+		</dict>
281
+	</array>
282
+	<key>GridInfo</key>
283
+	<dict>
284
+		<key>GridSpacing</key>
285
+		<real>14.17322826385498</real>
286
+		<key>MajorGridSpacing</key>
287
+		<integer>10</integer>
288
+		<key>ShowsGrid</key>
289
+		<string>YES</string>
290
+	</dict>
291
+	<key>GuidesLocked</key>
292
+	<string>NO</string>
293
+	<key>GuidesVisible</key>
294
+	<string>YES</string>
295
+	<key>HPages</key>
296
+	<integer>1</integer>
297
+	<key>ImageCounter</key>
298
+	<integer>1</integer>
299
+	<key>IsPalette</key>
300
+	<string>NO</string>
301
+	<key>KeepToScale</key>
302
+	<false/>
303
+	<key>Layers</key>
304
+	<array>
305
+		<dict>
306
+			<key>Lock</key>
307
+			<string>NO</string>
308
+			<key>Name</key>
309
+			<string>Calque 1</string>
310
+			<key>Print</key>
311
+			<string>YES</string>
312
+			<key>View</key>
313
+			<string>YES</string>
314
+		</dict>
315
+	</array>
316
+	<key>LayoutInfo</key>
317
+	<dict/>
318
+	<key>LinksVisible</key>
319
+	<string>NO</string>
320
+	<key>MagnetsVisible</key>
321
+	<string>NO</string>
322
+	<key>MasterSheet</key>
323
+	<string>Master 1</string>
324
+	<key>MasterSheets</key>
325
+	<array>
326
+		<dict>
327
+			<key>ActiveLayerIndex</key>
328
+			<integer>0</integer>
329
+			<key>AutoAdjust</key>
330
+			<false/>
331
+			<key>CanvasColor</key>
332
+			<dict>
333
+				<key>w</key>
334
+				<string>1</string>
335
+			</dict>
336
+			<key>CanvasOrigin</key>
337
+			<string>{0, 0}</string>
338
+			<key>CanvasScale</key>
339
+			<real>1</real>
340
+			<key>ColumnAlign</key>
341
+			<integer>1</integer>
342
+			<key>ColumnSpacing</key>
343
+			<real>36</real>
344
+			<key>DisplayScale</key>
345
+			<string>1 cm = 1 cm</string>
346
+			<key>GraphicsList</key>
347
+			<array/>
348
+			<key>GridInfo</key>
349
+			<dict>
350
+				<key>GridSpacing</key>
351
+				<real>14.17322826385498</real>
352
+				<key>MajorGridSpacing</key>
353
+				<integer>10</integer>
354
+			</dict>
355
+			<key>HPages</key>
356
+			<integer>1</integer>
357
+			<key>IsPalette</key>
358
+			<string>NO</string>
359
+			<key>KeepToScale</key>
360
+			<false/>
361
+			<key>Layers</key>
362
+			<array>
363
+				<dict>
364
+					<key>Lock</key>
365
+					<string>NO</string>
366
+					<key>Name</key>
367
+					<string>Layer 1</string>
368
+					<key>Print</key>
369
+					<string>YES</string>
370
+					<key>View</key>
371
+					<string>YES</string>
372
+				</dict>
373
+			</array>
374
+			<key>LayoutInfo</key>
375
+			<dict/>
376
+			<key>Orientation</key>
377
+			<integer>2</integer>
378
+			<key>OutlineStyle</key>
379
+			<string>Basic</string>
380
+			<key>RowAlign</key>
381
+			<integer>1</integer>
382
+			<key>RowSpacing</key>
383
+			<real>36</real>
384
+			<key>SheetTitle</key>
385
+			<string>Master 1</string>
386
+			<key>UniqueID</key>
387
+			<integer>1</integer>
388
+			<key>VPages</key>
389
+			<integer>1</integer>
390
+		</dict>
391
+	</array>
392
+	<key>ModificationDate</key>
393
+	<string>2012-01-14 18:47:42 +0100</string>
394
+	<key>Modifier</key>
395
+	<string>Pirem</string>
396
+	<key>NotesVisible</key>
397
+	<string>NO</string>
398
+	<key>Orientation</key>
399
+	<integer>2</integer>
400
+	<key>OriginVisible</key>
401
+	<string>NO</string>
402
+	<key>OutlineStyle</key>
403
+	<string>Basic</string>
404
+	<key>PageBreaks</key>
405
+	<string>YES</string>
406
+	<key>PrintInfo</key>
407
+	<dict>
408
+		<key>NSBottomMargin</key>
409
+		<array>
410
+			<string>coded</string>
411
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
412
+		</array>
413
+		<key>NSLeftMargin</key>
414
+		<array>
415
+			<string>coded</string>
416
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
417
+		</array>
418
+		<key>NSPaperSize</key>
419
+		<array>
420
+			<string>size</string>
421
+			<string>{595, 842}</string>
422
+		</array>
423
+		<key>NSRightMargin</key>
424
+		<array>
425
+			<string>coded</string>
426
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
427
+		</array>
428
+		<key>NSTopMargin</key>
429
+		<array>
430
+			<string>coded</string>
431
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
432
+		</array>
433
+	</dict>
434
+	<key>ReadOnly</key>
435
+	<string>NO</string>
436
+	<key>RowAlign</key>
437
+	<integer>1</integer>
438
+	<key>RowSpacing</key>
439
+	<real>36</real>
440
+	<key>SheetTitle</key>
441
+	<string>Canevas 1</string>
442
+	<key>SmartAlignmentGuidesActive</key>
443
+	<string>YES</string>
444
+	<key>SmartDistanceGuidesActive</key>
445
+	<string>YES</string>
446
+	<key>UniqueID</key>
447
+	<integer>1</integer>
448
+	<key>UseEntirePage</key>
449
+	<true/>
450
+	<key>VPages</key>
451
+	<integer>1</integer>
452
+	<key>WindowInfo</key>
453
+	<dict>
454
+		<key>CurrentSheet</key>
455
+		<string>0</string>
456
+		<key>DrawerOpen</key>
457
+		<false/>
458
+		<key>DrawerTab</key>
459
+		<string>Outline</string>
460
+		<key>DrawerWidth</key>
461
+		<real>209</real>
462
+		<key>FitInWindow</key>
463
+		<false/>
464
+		<key>Frame</key>
465
+		<string>{{28, 4}, {574, 742}}</string>
466
+		<key>ShowRuler</key>
467
+		<false/>
468
+		<key>ShowStatusBar</key>
469
+		<true/>
470
+		<key>VisibleRegion</key>
471
+		<string>{{0, 0}, {559, 628}}</string>
472
+		<key>Zoom</key>
473
+		<string>1</string>
474
+	</dict>
475
+</dict>
476
+</plist>

+ 1174
- 0
doc/sujets/tex/conception/figures/AADL_cours/exemple_activite.graffle
File diff suppressed because it is too large
View File


+ 425
- 0
doc/sujets/tex/conception/figures/AADL_cours/noeud_activite.graffle View File

@@ -0,0 +1,425 @@
1
+<?xml version="1.0" encoding="UTF-8"?>
2
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3
+<plist version="1.0">
4
+<dict>
5
+	<key>ActiveLayerIndex</key>
6
+	<integer>0</integer>
7
+	<key>AutoAdjust</key>
8
+	<false/>
9
+	<key>CanvasColor</key>
10
+	<dict>
11
+		<key>w</key>
12
+		<string>1</string>
13
+	</dict>
14
+	<key>CanvasOrigin</key>
15
+	<string>{0, 0}</string>
16
+	<key>CanvasScale</key>
17
+	<real>1</real>
18
+	<key>ColumnAlign</key>
19
+	<integer>1</integer>
20
+	<key>ColumnSpacing</key>
21
+	<real>36</real>
22
+	<key>CreationDate</key>
23
+	<string>2012-01-14 18:10:23 +0100</string>
24
+	<key>Creator</key>
25
+	<string>Pirem</string>
26
+	<key>DisplayScale</key>
27
+	<string>1 cm = 1 cm</string>
28
+	<key>GraphDocumentVersion</key>
29
+	<integer>5</integer>
30
+	<key>GraphicsList</key>
31
+	<array>
32
+		<dict>
33
+			<key>Bounds</key>
34
+			<string>{{257.791, 86.2126}, {115, 14}}</string>
35
+			<key>Class</key>
36
+			<string>ShapedGraphic</string>
37
+			<key>FitText</key>
38
+			<string>YES</string>
39
+			<key>Flow</key>
40
+			<string>Resize</string>
41
+			<key>ID</key>
42
+			<integer>184</integer>
43
+			<key>Shape</key>
44
+			<string>Rectangle</string>
45
+			<key>Style</key>
46
+			<dict>
47
+				<key>fill</key>
48
+				<dict>
49
+					<key>Draws</key>
50
+					<string>NO</string>
51
+				</dict>
52
+				<key>shadow</key>
53
+				<dict>
54
+					<key>Draws</key>
55
+					<string>NO</string>
56
+				</dict>
57
+				<key>stroke</key>
58
+				<dict>
59
+					<key>Draws</key>
60
+					<string>NO</string>
61
+				</dict>
62
+			</dict>
63
+			<key>Text</key>
64
+			<dict>
65
+				<key>Text</key>
66
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
67
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
68
+{\colortbl;\red255\green255\blue255;}
69
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
70
+
71
+\f0\fs24 \cf0 n\'9cuds de crontr\'f4le}</string>
72
+			</dict>
73
+			<key>Wrap</key>
74
+			<string>NO</string>
75
+		</dict>
76
+		<dict>
77
+			<key>Class</key>
78
+			<string>Group</string>
79
+			<key>Graphics</key>
80
+			<array>
81
+				<dict>
82
+					<key>Bounds</key>
83
+					<string>{{371.35, 47.0197}, {21, 21}}</string>
84
+					<key>Class</key>
85
+					<string>ShapedGraphic</string>
86
+					<key>ID</key>
87
+					<integer>169</integer>
88
+					<key>Shape</key>
89
+					<string>Circle</string>
90
+					<key>Style</key>
91
+					<dict>
92
+						<key>fill</key>
93
+						<dict>
94
+							<key>Color</key>
95
+							<dict>
96
+								<key>b</key>
97
+								<string>0</string>
98
+								<key>g</key>
99
+								<string>0</string>
100
+								<key>r</key>
101
+								<string>0</string>
102
+							</dict>
103
+						</dict>
104
+						<key>shadow</key>
105
+						<dict>
106
+							<key>Draws</key>
107
+							<string>NO</string>
108
+						</dict>
109
+					</dict>
110
+				</dict>
111
+				<dict>
112
+					<key>Bounds</key>
113
+					<string>{{366.85, 42.5197}, {30, 30}}</string>
114
+					<key>Class</key>
115
+					<string>ShapedGraphic</string>
116
+					<key>ID</key>
117
+					<integer>170</integer>
118
+					<key>Shape</key>
119
+					<string>Circle</string>
120
+					<key>Style</key>
121
+					<dict>
122
+						<key>shadow</key>
123
+						<dict>
124
+							<key>Draws</key>
125
+							<string>NO</string>
126
+						</dict>
127
+					</dict>
128
+				</dict>
129
+			</array>
130
+			<key>ID</key>
131
+			<integer>168</integer>
132
+		</dict>
133
+		<dict>
134
+			<key>Bounds</key>
135
+			<string>{{304.984, 47.0197}, {21, 21}}</string>
136
+			<key>Class</key>
137
+			<string>ShapedGraphic</string>
138
+			<key>ID</key>
139
+			<integer>167</integer>
140
+			<key>Shape</key>
141
+			<string>Circle</string>
142
+			<key>Style</key>
143
+			<dict>
144
+				<key>fill</key>
145
+				<dict>
146
+					<key>Color</key>
147
+					<dict>
148
+						<key>b</key>
149
+						<string>0</string>
150
+						<key>g</key>
151
+						<string>0</string>
152
+						<key>r</key>
153
+						<string>0</string>
154
+					</dict>
155
+				</dict>
156
+				<key>shadow</key>
157
+				<dict>
158
+					<key>Draws</key>
159
+					<string>NO</string>
160
+				</dict>
161
+			</dict>
162
+		</dict>
163
+		<dict>
164
+			<key>Bounds</key>
165
+			<string>{{230.465, 42.5197}, {53, 30}}</string>
166
+			<key>Class</key>
167
+			<string>ShapedGraphic</string>
168
+			<key>ID</key>
169
+			<integer>182</integer>
170
+			<key>Magnets</key>
171
+			<array>
172
+				<string>{0, 1}</string>
173
+				<string>{0, -1}</string>
174
+				<string>{1, 0}</string>
175
+				<string>{-1, 0}</string>
176
+			</array>
177
+			<key>Shape</key>
178
+			<string>Diamond</string>
179
+			<key>Style</key>
180
+			<dict>
181
+				<key>shadow</key>
182
+				<dict>
183
+					<key>Draws</key>
184
+					<string>NO</string>
185
+				</dict>
186
+			</dict>
187
+		</dict>
188
+		<dict>
189
+			<key>Bounds</key>
190
+			<string>{{28.3465, 42.5197}, {99, 36}}</string>
191
+			<key>Class</key>
192
+			<string>ShapedGraphic</string>
193
+			<key>ID</key>
194
+			<integer>171</integer>
195
+			<key>Magnets</key>
196
+			<array>
197
+				<string>{0, 1}</string>
198
+				<string>{0, -1}</string>
199
+				<string>{1, 0}</string>
200
+				<string>{-1, 0}</string>
201
+			</array>
202
+			<key>Shape</key>
203
+			<string>Rectangle</string>
204
+			<key>Style</key>
205
+			<dict>
206
+				<key>shadow</key>
207
+				<dict>
208
+					<key>Draws</key>
209
+					<string>NO</string>
210
+				</dict>
211
+				<key>stroke</key>
212
+				<dict>
213
+					<key>CornerRadius</key>
214
+					<real>5</real>
215
+				</dict>
216
+			</dict>
217
+			<key>Text</key>
218
+			<dict>
219
+				<key>Text</key>
220
+				<string>{\rtf1\ansi\ansicpg1252\cocoartf949\cocoasubrtf540
221
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
222
+{\colortbl;\red255\green255\blue255;}
223
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc
224
+
225
+\f0\fs24 \cf0 n\'9cud d'ex\'e9cution}</string>
226
+			</dict>
227
+		</dict>
228
+	</array>
229
+	<key>GridInfo</key>
230
+	<dict>
231
+		<key>GridSpacing</key>
232
+		<real>14.17322826385498</real>
233
+		<key>MajorGridSpacing</key>
234
+		<integer>10</integer>
235
+		<key>ShowsGrid</key>
236
+		<string>YES</string>
237
+		<key>SnapsToGrid</key>
238
+		<string>YES</string>
239
+	</dict>
240
+	<key>GuidesLocked</key>
241
+	<string>NO</string>
242
+	<key>GuidesVisible</key>
243
+	<string>YES</string>
244
+	<key>HPages</key>
245
+	<integer>1</integer>
246
+	<key>ImageCounter</key>
247
+	<integer>2</integer>
248
+	<key>IsPalette</key>
249
+	<string>NO</string>
250
+	<key>KeepToScale</key>
251
+	<false/>
252
+	<key>Layers</key>
253
+	<array>
254
+		<dict>
255
+			<key>Lock</key>
256
+			<string>NO</string>
257
+			<key>Name</key>
258
+			<string>Calque 1</string>
259
+			<key>Print</key>
260
+			<string>YES</string>
261
+			<key>View</key>
262
+			<string>YES</string>
263
+		</dict>
264
+	</array>
265
+	<key>LayoutInfo</key>
266
+	<dict/>
267
+	<key>LinksVisible</key>
268
+	<string>NO</string>
269
+	<key>MagnetsVisible</key>
270
+	<string>NO</string>
271
+	<key>MasterSheet</key>
272
+	<string>Master 1</string>
273
+	<key>MasterSheets</key>
274
+	<array>
275
+		<dict>
276
+			<key>ActiveLayerIndex</key>
277
+			<integer>0</integer>
278
+			<key>AutoAdjust</key>
279
+			<false/>
280
+			<key>CanvasColor</key>
281
+			<dict>
282
+				<key>w</key>
283
+				<string>1</string>
284
+			</dict>
285
+			<key>CanvasOrigin</key>
286
+			<string>{0, 0}</string>
287
+			<key>CanvasScale</key>
288
+			<real>1</real>
289
+			<key>ColumnAlign</key>
290
+			<integer>1</integer>
291
+			<key>ColumnSpacing</key>
292
+			<real>36</real>
293
+			<key>DisplayScale</key>
294
+			<string>1 cm = 1 cm</string>
295
+			<key>GraphicsList</key>
296
+			<array/>
297
+			<key>GridInfo</key>
298
+			<dict>
299
+				<key>GridSpacing</key>
300
+				<real>14.17322826385498</real>
301
+				<key>MajorGridSpacing</key>
302
+				<integer>10</integer>
303
+			</dict>
304
+			<key>HPages</key>
305
+			<integer>1</integer>
306
+			<key>IsPalette</key>
307
+			<string>NO</string>
308
+			<key>KeepToScale</key>
309
+			<false/>
310
+			<key>Layers</key>
311
+			<array>
312
+				<dict>
313
+					<key>Lock</key>
314
+					<string>NO</string>
315
+					<key>Name</key>
316
+					<string>Layer 1</string>
317
+					<key>Print</key>
318
+					<string>YES</string>
319
+					<key>View</key>
320
+					<string>YES</string>
321
+				</dict>
322
+			</array>
323
+			<key>LayoutInfo</key>
324
+			<dict/>
325
+			<key>Orientation</key>
326
+			<integer>2</integer>
327
+			<key>OutlineStyle</key>
328
+			<string>Basic</string>
329
+			<key>RowAlign</key>
330
+			<integer>1</integer>
331
+			<key>RowSpacing</key>
332
+			<real>36</real>
333
+			<key>SheetTitle</key>
334
+			<string>Master 1</string>
335
+			<key>UniqueID</key>
336
+			<integer>1</integer>
337
+			<key>VPages</key>
338
+			<integer>1</integer>
339
+		</dict>
340
+	</array>
341
+	<key>ModificationDate</key>
342
+	<string>2012-01-14 18:24:10 +0100</string>
343
+	<key>Modifier</key>
344
+	<string>Pirem</string>
345
+	<key>NotesVisible</key>
346
+	<string>NO</string>
347
+	<key>Orientation</key>
348
+	<integer>2</integer>
349
+	<key>OriginVisible</key>
350
+	<string>NO</string>
351
+	<key>OutlineStyle</key>
352
+	<string>Basic</string>
353
+	<key>PageBreaks</key>
354
+	<string>YES</string>
355
+	<key>PrintInfo</key>
356
+	<dict>
357
+		<key>NSBottomMargin</key>
358
+		<array>
359
+			<string>coded</string>
360
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
361
+		</array>
362
+		<key>NSLeftMargin</key>
363
+		<array>
364
+			<string>coded</string>
365
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
366
+		</array>
367
+		<key>NSPaperSize</key>
368
+		<array>
369
+			<string>size</string>
370
+			<string>{595, 842}</string>
371
+		</array>
372
+		<key>NSRightMargin</key>
373
+		<array>
374
+			<string>coded</string>
375
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
376
+		</array>
377
+		<key>NSTopMargin</key>
378
+		<array>
379
+			<string>coded</string>
380
+			<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFklwCG</string>
381
+		</array>
382
+	</dict>
383
+	<key>ReadOnly</key>
384
+	<string>NO</string>
385
+	<key>RowAlign</key>
386
+	<integer>1</integer>
387
+	<key>RowSpacing</key>
388
+	<real>36</real>
389
+	<key>SheetTitle</key>
390
+	<string>Canevas 1</string>
391
+	<key>SmartAlignmentGuidesActive</key>
392
+	<string>YES</string>
393
+	<key>SmartDistanceGuidesActive</key>
394
+	<string>YES</string>
395
+	<key>UniqueID</key>
396
+	<integer>1</integer>
397
+	<key>UseEntirePage</key>
398
+	<true/>
399
+	<key>VPages</key>
400
+	<integer>1</integer>
401
+	<key>WindowInfo</key>
402
+	<dict>
403
+		<key>CurrentSheet</key>
404
+		<string>0</string>
405
+		<key>DrawerOpen</key>
406
+		<false/>
407
+		<key>DrawerTab</key>
408
+		<string>Outline</string>
409
+		<key>DrawerWidth</key>
410
+		<real>209</real>
411
+		<key>FitInWindow</key>
412
+		<false/>
413
+		<key>Frame</key>
414
+		<string>{{68, 36}, {574, 742}}</string>
415
+		<key>ShowRuler</key>
416
+		<false/>