Sébastien DI MERCURIO 2 years ago
parent
commit
8b283de4db
44 changed files with 12879 additions and 0 deletions
  1. 952
    0
      doc/sujets/tex/conception/conception_robot.tex
  2. 1170
    0
      doc/sujets/tex/conception/figures/AADL_cours/connexion2.graffle
  3. 647
    0
      doc/sujets/tex/conception/figures/AADL_cours/data.graffle
  4. 476
    0
      doc/sujets/tex/conception/figures/AADL_cours/exem_evt.graffle
  5. 1174
    0
      doc/sujets/tex/conception/figures/AADL_cours/exemple_activite.graffle
  6. 425
    0
      doc/sujets/tex/conception/figures/AADL_cours/noeud_activite.graffle
  7. 1428
    0
      doc/sujets/tex/conception/figures/AADL_cours/pin_act.graffle
  8. 864
    0
      doc/sujets/tex/conception/figures/AADL_cours/ports.graffle
  9. 262
    0
      doc/sujets/tex/conception/figures/AADL_cours/system.graffle
  10. 564
    0
      doc/sujets/tex/conception/figures/AADL_cours/thread.graffle
  11. 4917
    0
      doc/sujets/tex/conception/figures/conception/diag_fonc2.graffle
  12. BIN
      doc/sujets/tex/conception/figures/conception/fonctionnalités.graffle
  13. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_move.png
  14. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_openComRobot.png
  15. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_receiveFromMon.png
  16. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_sendToMon.png
  17. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_server.png
  18. BIN
      doc/sujets/tex/conception/figures_pdf/activity/th_startRobot.png
  19. BIN
      doc/sujets/tex/conception/figures_pdf/connexion.pdf
  20. BIN
      doc/sujets/tex/conception/figures_pdf/connexion2.pdf
  21. BIN
      doc/sujets/tex/conception/figures_pdf/contexte.pdf
  22. BIN
      doc/sujets/tex/conception/figures_pdf/data.pdf
  23. BIN
      doc/sujets/tex/conception/figures_pdf/exe_act.pdf
  24. BIN
      doc/sujets/tex/conception/figures_pdf/exem_evt.pdf
  25. BIN
      doc/sujets/tex/conception/figures_pdf/exemple_activite.pdf
  26. BIN
      doc/sujets/tex/conception/figures_pdf/figure_spec.pdf
  27. BIN
      doc/sujets/tex/conception/figures_pdf/flot_control.pdf
  28. BIN
      doc/sujets/tex/conception/figures_pdf/flot_donnees.pdf
  29. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/AADL.pdf
  30. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc1.pdf
  31. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc10.pdf
  32. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc12.pdf
  33. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc2.pdf
  34. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc3-4.pdf
  35. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/fonc7.pdf
  36. BIN
      doc/sujets/tex/conception/figures_pdf/fonc/thread.pdf
  37. BIN
      doc/sujets/tex/conception/figures_pdf/noeud_activite.pdf
  38. BIN
      doc/sujets/tex/conception/figures_pdf/pin_act.pdf
  39. BIN
      doc/sujets/tex/conception/figures_pdf/ports.pdf
  40. BIN
      doc/sujets/tex/conception/figures_pdf/process.pdf
  41. BIN
      doc/sujets/tex/conception/figures_pdf/processus.pdf
  42. BIN
      doc/sujets/tex/conception/figures_pdf/system.pdf
  43. BIN
      doc/sujets/tex/conception/figures_pdf/thread.pdf
  44. BIN
      doc/sujets/tex/conception/figures_pdf/trad_AADL.pdf

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

@@ -0,0 +1,952 @@
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.$\beta$ (\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
+%@startuml
252
+%skinparam monochrome true
253
+%start
254
+%:err = run_nodejs();
255
+%if (err) then (failed)
256
+%    :print("Failed to start nodejs");
257
+%stop
258
+%else (succeed)
259
+%    :open_server();
260
+%    :serverOk!;
261
+%    stop
262
+%endif
263
+%@enduml
264
+ \begin{figure}[htbp]
265
+\begin{center}
266
+\includegraphics[scale=0.4]{figures_pdf/activity/th_server}
267
+\end{center}
268
+\caption{Diagramme d'activité du thread th\_server}
269
+\end{figure}
270
+\FloatBarrier
271
+
272
+\subsection{Thread th\_sendToMon}
273
+%@startuml
274
+%skinparam monochrome true
275
+%start
276
+%:serverOK?;
277
+%while ()
278
+%  :messageToMon?header,data;
279
+%  :send_message_to_monitor(header,data);
280
+%endwhile
281
+%stop
282
+%@enduml
283
+ \begin{figure}[htbp]
284
+\begin{center}
285
+\includegraphics[scale=0.4]{figures_pdf/activity/th_sendToMon}
286
+\end{center}
287
+\caption{Diagramme d'activité du thread th\_sendToMon}
288
+\end{figure}
289
+\FloatBarrier
290
+
291
+
292
+\subsection{Thread th\_receiveFromMon}
293
+%@startuml
294
+%skinparam monochrome true
295
+%start
296
+%:serverOk?;
297
+%while ()
298
+%  :receive_message_from_monitor(header,data);
299
+%  if (header) then (HEADER_MTS_COM_DMB)
300
+%    if (data) then (OPEN_COM_DMB)
301
+%    :openComRobot!;
302
+%    endif
303
+%    else (HEADER_MTS_DMB_ORDER)
304
+%    if (data) then (DMB_START_WITHOUT_WD)
305
+%    :startRobot!;
306
+%    else (DMB_GO_FORWARD || DMB_GO_BACK 
307
+%    || DMB_GO_LEFT || DMB_GO_RIGHT 
308
+%    || DMB_STOP_MOVE)
309
+%    :move = data;
310
+%    endif
311
+%  endif
312
+%endwhile
313
+%stop
314
+%@enduml
315
+%
316
+ \begin{figure}[htbp]
317
+\begin{center}
318
+\includegraphics[scale=0.4]{figures_pdf/activity/th_receiveFromMon}
319
+\end{center}
320
+\caption{Diagramme d'activité du thread th\_receiveFromMon}
321
+\end{figure}
322
+\FloatBarrier
323
+
324
+\subsection{Thread th\_openComRobot}
325
+%@startuml
326
+%skinparam monochrome true
327
+%start
328
+%while ()
329
+%  :openComRobot?;
330
+%  :err = open_communication_robot();
331
+%  if (err) then (robot_ok)
332
+%  :messageToMon!ACK;
333
+%  else
334
+%  :messageToMon!NAC;
335
+%  endif
336
+%endwhile
337
+%stop
338
+ \begin{figure}[htbp]
339
+\begin{center}
340
+\includegraphics[scale=0.4]{figures_pdf/activity/th_openComRobot}
341
+\end{center}
342
+\caption{Diagramme d'activité du thread th\_openComRobot}
343
+\end{figure}
344
+\FloatBarrier
345
+
346
+\subsection{Thread th\_openStartRobot}
347
+%@startuml
348
+%skinparam monochrome true
349
+%start
350
+%while ()
351
+%  :startRobot?;
352
+%  :err = send_command_robot(START_WITHOUT_WD);
353
+%  if (err) then (robot_ok)
354
+%  :messageToMon!ACK;
355
+%  :robotStarted = true;
356
+%  else
357
+%  :messageToMon!NAC;
358
+%  endif
359
+%endwhile
360
+%stop
361
+%@enduml
362
+%
363
+ \begin{figure}[htbp]
364
+\begin{center}
365
+\includegraphics[scale=0.4]{figures_pdf/activity/th_startRobot}
366
+\end{center}
367
+\caption{Diagramme d'activité du thread th\_startRobot}
368
+\end{figure}
369
+\FloatBarrier
370
+
371
+\subsection{Thread th\_move}
372
+%@startuml
373
+%skinparam monochrome true
374
+%start
375
+%:start_period(100 ms);
376
+%while ()
377
+%  :wait_next_period();
378
+%  if (robotStarted) then (true)
379
+%  :send_command_robot(move);
380
+%  endif
381
+%endwhile
382
+%stop
383
+%@enduml
384
+ \begin{figure}[htbp]
385
+\begin{center}
386
+\includegraphics[scale=0.4]{figures_pdf/activity/th_move}
387
+\end{center}
388
+\caption{Diagramme d'activité du thread th\_move}
389
+\end{figure}
390
+\FloatBarrier
391
+
392
+
393
+\newpage
394
+%%%%%%%%%%%%%%%%%%%%%%%
395
+\begin{appendices}
396
+%%%%%%%%%%%%%%%%%%%%%%%%%
397
+
398
+\section{Diagramme d'activité} 
399
+\label{ann:diag_act}
400
+
401
+\framebox[\textwidth]{
402
+\begin{minipage}{0.9\textwidth}
403
+{\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.
404
+
405
+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.
406
+\end{minipage}
407
+}
408
+\vspace{2mm}
409
+
410
+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).
411
+
412
+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.
413
+
414
+\subsection{N{\oe}uds d'activité}
415
+
416
+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.
417
+
418
+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 :
419
+\begin{itemize}
420
+\item les n{\oe}uds d'exécutions,
421
+\item et les n{\oe}uds de contrôle.
422
+\end{itemize}
423
+La figure~\ref{fig:noeuds_act} représente les différents types de n{\oe}uds d'activité.
424
+
425
+ \begin{figure}[htbp]
426
+\begin{center}
427
+\includegraphics[scale=0.6]{figures_pdf/noeud_activite}
428
+\caption{Représentation graphique des n{\oe}uds d'activité}
429
+\label{fig:noeuds_act}
430
+\end{center}
431
+\end{figure}
432
+\FloatBarrier
433
+
434
+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.
435
+
436
+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. 
437
+
438
+\subsubsection{N{\oe}uds de contrôle}
439
+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é.
440
+Il existe plusieurs types de n{\oe}uds de contrôle (voir figure~\ref{fig:exe_act}) :
441
+\begin{itemize}
442
+\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.
443
+\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é.
444
+\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.
445
+\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.
446
+\end{itemize}
447
+
448
+ \begin{figure}[htbp]
449
+\begin{center}
450
+\includegraphics[scale=0.6]{figures_pdf/exe_act}
451
+\caption{Exemple de n{\oe}uds de contrôle}
452
+\label{fig:exe_act}
453
+\end{center}
454
+\end{figure}
455
+\FloatBarrier
456
+
457
+\subsection{N{\oe}uds d'exécution}
458
+
459
+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.
460
+
461
+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.
462
+
463
+
464
+\paragraph{Ajout de sémantique}
465
+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}.
466
+
467
+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.
468
+
469
+ \begin{figure}[htbp]
470
+\begin{center}
471
+\includegraphics[scale=0.6]{figures_pdf/exem_evt}
472
+\caption{Exemple de synchronisation}
473
+\label{fig:exem_sync}
474
+\end{center}
475
+\end{figure}
476
+\FloatBarrier
477
+
478
+%%%%%%%%%%%%%%%%%%%%%%%%%
479
+\newpage
480
+\section{Le langage AADL} 
481
+\label{ann:aadl}
482
+ 
483
+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).
484
+
485
+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.
486
+
487
+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.
488
+
489
+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.
490
+
491
+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 : 
492
+\begin{itemize}
493
+	\item une spécification du langage avec une syntaxe textuelle ;
494
+	\item une sémantique et une représentation graphique ;
495
+	\item un profil UML du SAE AADL ;
496
+	\item d'une spécification XML/XMI comme format de modèle ;
497
+	\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.\\
498
+\end{itemize}
499
+
500
+\framebox[\textwidth]{
501
+\begin{minipage}{0.9\textwidth}
502
+{\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.
503
+
504
+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.
505
+\end{minipage}
506
+}
507
+
508
+\section{Notion de composant et syntaxe}
509
+
510
+
511
+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.
512
+
513
+
514
+Chaque composant appartient à une {\bf catégorie}. Ces catégories sont prédéfinies et se décomposent en :
515
+\begin{itemize}
516
+	\item Catégorie matérielle avec les composants : mémoire ({\em memory}) ; périphérique ({\em device}) ; processeur ({\em processor}) ; bus ({\em bus}).
517
+	\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}).
518
+	\item Catégorie composite avec les composants : système ({\em system}), composant abstrait ({\em  abstract}).\\
519
+\end{itemize}
520
+
521
+
522
+\subsection{Types et implémentation}
523
+
524
+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.
525
+
526
+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}.
527
+
528
+
529
+\begin{figure}[htbp]
530
+\begin{center}
531
+\begin{minipage}[c]{.46\linewidth}
532
+\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}
533
+\begin{lstlisting}
534
+system type1
535
+end type1;
536
+
537
+system type2
538
+end type2;
539
+
540
+system implementation type1.impl1
541
+end type1.impl1;
542
+
543
+system implementation type1.impl2
544
+end type1.impl2;
545
+\end{lstlisting}
546
+\end{minipage}
547
+\caption{Exemple de description de composants}
548
+\label{fig:type_implementation}
549
+\end{center}
550
+\end{figure}
551
+
552
+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.
553
+
554
+
555
+\subsection{Les propriétés}
556
+
557
+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}).
558
+
559
+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.
560
+
561
+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 "=>".
562
+
563
+\begin{figure}[htbp]
564
+\begin{center}
565
+\begin{minipage}[c]{.46\linewidth}
566
+\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}
567
+\begin{lstlisting}
568
+thread thread1
569
+    properties
570
+        Period => 15 ms;
571
+        Deadline => 10 ms;
572
+end thread1;
573
+\end{lstlisting}
574
+\end{minipage}
575
+\caption{Exemple d'un {\em thred} avec des propriétés sur sa période et son échéance}
576
+\label{fig:ex_prop}
577
+\end{center}
578
+\end{figure}
579
+
580
+\subsection{Ports et connexions}
581
+
582
+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.
583
+
584
+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.
585
+
586
+\begin{figure}[htbp]
587
+\begin{center}
588
+\includegraphics[scale=.6]{figures_pdf/connexion.pdf}
589
+\caption{Représentation d'un système et de ses sous-composants}
590
+\label{fig:connexion_graph}
591
+\end{center}
592
+\end{figure}
593
+
594
+\begin{figure}[htbp]
595
+\begin{center}
596
+\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}
597
+\begin{minipage}[c]{.46\linewidth}
598
+\begin{lstlisting}
599
+system system1
600
+end system1;
601
+
602
+system implementation system1.impl
603
+    subcomponents
604
+        p1: process process1.impl;
605
+        p2: process process2.impl;
606
+    connections
607
+        cn: data port p1.outport -> p2.inport;
608
+end system1.impl;
609
+
610
+process process1
611
+    features
612
+        outport: out data port;
613
+end process1;
614
+
615
+process implementation process1.impl
616
+    subcomponents
617
+        t1: thread thread1.impl;
618
+    connections
619
+        cn: data port t1.outport -> outport;
620
+end process1.impl;
621
+
622
+process process2
623
+    features
624
+        inport: in data port;
625
+end process2;
626
+\end{lstlisting}
627
+\end{minipage}
628
+\begin{minipage}[c]{.46\linewidth}
629
+\begin{lstlisting}
630
+process implementation process2.impl
631
+    subcomponents
632
+        t2: thread thread2.impl;
633
+    connections
634
+        cn: data port inport -> t2.inport;
635
+end process2.impl;
636
+
637
+thread thread1
638
+    features
639
+        outport: out data port;
640
+end thread1;
641
+
642
+thread implementation thread1.impl
643
+end thread1.impl;
644
+
645
+thread thread2
646
+    features
647
+        inport: in data port;
648
+end thread2;
649
+
650
+thread implementation thread2.impl
651
+end thread2.impl;
652
+\end{lstlisting}
653
+\end{minipage}
654
+\caption{Exemple de description de connexions}
655
+\label{fig:connexion}
656
+\end{center}
657
+\end{figure}
658
+
659
+
660
+\section{Outils}
661
+
662
+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.
663
+ 
664
+\section{Description des principaux composants}
665
+
666
+\framebox[\textwidth]{
667
+\begin{minipage}{0.9\textwidth}
668
+{\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.
669
+
670
+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.
671
+\end{minipage}
672
+}
673
+
674
+\subsection{System}
675
+\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.
676
+
677
+\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}}.
678
+
679
+
680
+\begin{figure}[h]
681
+\begin{center}
682
+\includegraphics[scale=.6]{figures_pdf/system.pdf}
683
+\caption{Représentation graphique d'un système}
684
+\end{center}
685
+\end{figure}
686
+\FloatBarrier
687
+
688
+
689
+%%%%%%%%%%%%%%%%%%%%
690
+\newpage
691
+\subsection{Thread}
692
+
693
+\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.
694
+
695
+\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}.
696
+
697
+\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.
698
+
699
+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.
700
+
701
+\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.
702
+
703
+\begin{center}
704
+ \begin{minipage}[c]{.46\linewidth}
705
+ \lstset{inputencoding=utf8/latin1}
706
+\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}
707
+%\lstset{numbers=left, numberstyle=\tiny, stepnumber=1, numbersep=10pt,numberblanklines= false} 
708
+\begin{lstlisting}
709
+- - Propri\'et\'es liées \`a l'activation
710
+Dispatch_Protocol: {Periodic | Aperiodic }
711
+Period: time
712
+- - Propriété liée à l'ordonnancement
713
+Priority: integer
714
+\end{lstlisting}
715
+\end{minipage}
716
+\end{center}
717
+
718
+\begin{figure}[htbp]
719
+\begin{center}
720
+\includegraphics[scale=.6]{figures_pdf/thread.pdf}
721
+\caption{Représentation graphique d'un {\em thread}}
722
+\end{center}
723
+\end{figure}
724
+\FloatBarrier
725
+
726
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%
727
+\subsection{Data}
728
+
729
+\paragraph{Définition}
730
+
731
+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}.
732
+
733
+
734
+\paragraph{Règles syntaxiques} Un {\em data} peut contenir des déclarations de {\em subprogram access} et les propriétés associées.\\
735
+
736
+\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é.
737
+
738
+\begin{center}
739
+ \begin{minipage}[c]{.8\linewidth}
740
+  \lstset{inputencoding=utf8/latin1}
741
+\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}
742
+\begin{lstlisting}
743
+- - Type de la donnée
744
+Type_Source_Name : string
745
+- - Protocole d'accès à la donnée
746
+Concurrency_Control_Protocol : { Maximum_Priority | Priority_Inheritance | 
747
+                               Priority_Ceiling | Spin_Lock | Semaphore}
748
+\end{lstlisting}
749
+\end{minipage}
750
+\end{center}
751
+
752
+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.
753
+
754
+
755
+\begin{figure}[htbp]
756
+\begin{center}
757
+\includegraphics[scale=.6]{figures_pdf/data.pdf}
758
+\end{center}
759
+\end{figure}
760
+\FloatBarrier
761
+
762
+%%%%%%%%%%%%%
763
+\subsection{Ports}
764
+
765
+\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.
766
+
767
+Trois catégories de {\em ports} sont distinguées :
768
+\begin{itemize}
769
+\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.
770
+\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.
771
+\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.
772
+\end{itemize}
773
+
774
+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.
775
+
776
+\paragraph{Règles syntaxiques} Les {\em ports} peuvent être déclarés dans les types des {\em threads} et {\em system}.
777
+
778
+\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.
779
+
780
+\begin{center}
781
+ \begin{minipage}[c]{.72\linewidth}
782
+ \lstset{inputencoding=utf8/latin1}
783
+\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}
784
+\begin{lstlisting}
785
+- - Taille de la file de messages, 1 par défaut
786
+Queue_Size: aadlinteger 0 .. Max_Queue_Size => 1
787
+\end{lstlisting}
788
+\end{minipage}
789
+\end{center}
790
+
791
+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.
792
+
793
+\begin{figure}[htbp]
794
+\begin{center}
795
+\includegraphics[scale=.6]{figures_pdf/ports.pdf}
796
+\caption{Représentation graphique des {\em ports}}
797
+\end{center}
798
+\end{figure}
799
+\FloatBarrier
800
+
801
+%%%%%%%%%%%%%
802
+\subsection{Connexions}
803
+
804
+\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}.
805
+
806
+\paragraph{Règles syntaxiques} Une connexion doit contenir au moins une source et une destination et respecter le sens de communication des {\em ports}.
807
+
808
+
809
+\begin{figure}[htbp]
810
+\begin{center}
811
+\includegraphics[scale=.6]{figures_pdf/connexion2.pdf}
812
+\caption{Représentation graphique des connexions}
813
+\end{center}
814
+\end{figure}
815
+\FloatBarrier
816
+
817
+%%%%%%%%%%%%%
818
+\newpage
819
+\section{Code source des schémas d'activité}
820
+
821
+\begin{multicols}{2}
822
+\subsection{Thread th\_server}
823
+{\scriptsize
824
+\begin{verbatim}
825
+@startuml
826
+skinparam monochrome true
827
+start
828
+:monitor = new ComMonitor()
829
+:err = monitor.Open();
830
+if (err) then (failed)
831
+    :print("Failed to start server");
832
+stop
833
+else (succeed)
834
+    :monitor.AcceptClient();
835
+    :serverOk!;
836
+    stop
837
+endif
838
+@enduml
839
+\end{verbatim}}
840
+
841
+\subsection{Thread th\_sendToMon}
842
+{\scriptsize
843
+\begin{verbatim}
844
+@startuml
845
+skinparam monochrome true
846
+start
847
+:serverOK?;
848
+while ()
849
+  :messageToMon?msg;
850
+  :monitor.Write(msg);
851
+endwhile
852
+stop
853
+@enduml
854
+\end{verbatim}
855
+}
856
+
857
+\subsection{Thread th\_receiveFromMon}
858
+{\scriptsize
859
+\begin{verbatim}
860
+@startuml
861
+skinparam monochrome true
862
+start
863
+:serverOk?;
864
+while ()
865
+  :msg = monitor.Read();
866
+  if (msg.GetId()) then (MESSAGE_ROBOT_COM_OPEN)
867
+    :openComRobot!;
868
+  else (MESSAGE_ROBOT_GO_FORWARD || MESSAGE_ROBOT_GO_BACKWARD 
869
+    || MESSAGE_ROBOT_GO_LEFT || MESSAGE_ROBOT_GO_RIGHT 
870
+    || MESSAGE_ROBOT_STOP)
871
+    :move = msg.GetId();
872
+  endif
873
+endwhile
874
+stop
875
+@enduml
876
+\end{verbatim}
877
+}
878
+
879
+\subsection{Thread th\_openComRobot}
880
+{\scriptsize
881
+\begin{verbatim}
882
+@startuml
883
+skinparam monochrome true
884
+start
885
+while ()
886
+  :openComRobot?;
887
+  :err = robot.Open();
888
+  : msg = new Message();
889
+  if (err) then (robot_ok)
890
+    :msg.SetId(MESSAGE_ANSWER_ACK);
891
+    :messageToMon!msg;
892
+  else
893
+    :msg.SetId(MESSAGE_ANSWER_NACK);
894
+    :messageToMon!msg;
895
+  endif
896
+endwhile
897
+stop
898
+@enduml
899
+\end{verbatim}
900
+}
901
+
902
+
903
+\subsection{Thread th\_openStartRobot}
904
+{\scriptsize
905
+\begin{verbatim}
906
+@startuml
907
+skinparam monochrome true
908
+start
909
+while ()
910
+  :startRobot?;
911
+  :err = robot.Write(new Message(MESSAGE_ROBOT_START_WITH_WD));
912
+  : msg = new Message();
913
+  if (err) then (robot_ok)
914
+    :msg.SetId(MESSAGE_ANSWER_ACK);
915
+    :messageToMon!msg;
916
+  :robotStarted = true;
917
+  else
918
+    :msg.SetId(MESSAGE_ANSWER_NACK);
919
+    :messageToMon!msg;
920
+  endif
921
+endwhile
922
+stop
923
+@enduml
924
+\end{verbatim}
925
+}
926
+
927
+\subsection{Thread th\_move}
928
+{\scriptsize
929
+\begin{verbatim}
930
+@startuml
931
+skinparam monochrome true
932
+start
933
+:start_period(100 ms);
934
+while ()
935
+  :wait_next_period();
936
+  if (robotStarted) then (true)
937
+  :robot.Wirte(new Message(move));
938
+  endif
939
+endwhile
940
+stop
941
+@enduml
942
+\end{verbatim}
943
+}
944
+\end{multicols}
945
+
946
+\end{appendices} 
947
+
948
+\bibliographystyle{plain}
949
+\bibliography{biblio}
950
+ 
951
+
952
+\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/>
417
+		<key>ShowStatusBar</key>
418
+		<true/>
419
+		<key>VisibleRegion</key>
420
+		<string>{{0, 0}, {559, 628}}</string>
421
+		<key>Zoom</key>
422
+		<string>1</string>
423
+	</dict>
424
+</dict>
425
+</plist>

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


+ 864
- 0
doc/sujets/tex/conception/figures/AADL_cours/ports.graffle View File

@@ -0,0 +1,864 @@
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-11 14:46:52 +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>262</integer>
39
+			</dict>
40
+			<key>ID</key>
41
+			<integer>263</integer>
42
+			<key>Points</key>
43
+			<array>
44
+				<string>{209.581, 150.471}</string>
45
+				<string>{132.291, 184.053}</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>{{28.3469, 184.252}, {141.732, 28.3465}}</string>
66
+			<key>Class</key>
67
+			<string>ShapedGraphic</string>
68
+			<key>ID</key>
69
+			<integer>262</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>