Les objectifs:
Le CMA continue sa recherche désormais classique dans le
domaine des langages réactifs synchrones impératifs et
l'applique, dans le cadre du projet SECMAR du pôle de
compétitivité Mer PACA, à la modélisation
événementielle de comportements suspects par
réseaux de programmes réactifs synchrones non
communicants. Pour ce faire, nous sommes en cours de
réalisation d'une variante de la structure du code produit par
la version v5_92 du compilateur Esterel.
Sécurité des zones
maritimes:
 |
L'objet du projet SECMAR est d'apporter une réponse
concrète à la détection d'une menace terroriste
qui utiliserait la mer, sur ou sous la surface, comme moyen
privilégié d'attaque d'un site côtier d'importance
vitale.
Ce projet regroupe des industriels et des laboratoires
de recherche de la région PACA dans le but de réaliser
le prototype d'un système de détection d'intrusion
|
destiné au port autonome de Marseille.
Ce système est constitué d'un ensemble
hétérogène de capteurs, fournis par les
industriels impliqués, chacun des capteurs associant aux objets détectés sur le plan d'eau une piste
d'information.
Le module de reconnaissance de comportements, dont la conception est
faite conjointement entre Thales Underwater Systems et le CMA, recoit
périodiquement ces pistes d'informations fusionnées et
leur attribue un niveau de dangerosité. Toutes les secondes,
chaque piste est soumise à une centaine de points de contrôle
qui sont ensuite délivrés à une analyse
temporelle.
Cette analyse se fonde sur la définition
préalable de comportements, soit nominaux du point de vue de la
capitainerie du port soit dangereux du point de vue d'études de
sécurité militaire. Cet ensemble de comportements sera
affiné au fur et à mesure de l'expérimentation
sur site.
La description des comportements temporels est une tâche
réputée complexe. C'est pour cette raison que nous avons
fondé nos algorithmes sur les méthodes formelles des
langages réactifs synchrones qui apportent une grande
expressivité dans l'écriture des programmes et en
renforcent la sûreté de fonctionnement.
Le CMA est à l'origine du développement du langage
formel réactif synchrone Esterel qui a
bénéficié d'un transfert technologique vers
l'industrie et qui est utilisé dans les systèmes à haute
sécurité.
