Actions industrielles
- Projet Cairn, convention France Télécom--Cnet/Inria :
Le projet Cairn («Codesign d'Applications Irrégulières et Régulières
par Niveaux»), action de France Télécom--Cnet, regroupe les projets
COSI et EP-ATR, sur le thème de la conception conjointe logiciel/matériel
en utilisant les langages Signal et Alpha.
- Projets Reutel-Arctica, convention Men/Inria :
Le projet Reutel/Arctica s'est achevé par un engagement d'Alcatel
à participer directement au financement de sa coopération avec
l'Inria (accord-cadre). Le projet Reutel-2000 poursuit donc les
efforts engagés vers la définition d'outils pour l'aide au développement
d'applications distribuées temps-réel en télécommunication. Les
autres partenaires de cette action sont les projets Inria Pampa,
Adp, Compose et Meije.
- EdF, convention EdF-Inria : Cette étude se déroule
dans le contexte des études menées à EdF concernant l'application
des méthodes formelles émergentes pour les systèmes de contrôle-commande
des centrales.
- Projet Esprit Sacres : Le projet Esprit Sacres(«Safety
Critical Embedded Systems: From Requirements to System Architecture»)
a pour objectif, dans une perspective de commercialisation de
ses résultats, de fournir aux concepteurs de systèmes critiques
embarqués une nouvelle méthodologie permettant de réduire significativement
le risque d'erreurs et le temps de conception. L'approche proposée
est multi-formalisme et s'appuie sur des outils industriels existants,
Statemate et Sildex notamment, pour lesquels des outils de vérification
formelle et de génération de code réparti doivent être intégrés.
Le vecteur de cette intégration est le format commun DC+.
- Projet Esprit Syrf : Le projet Esprit Syrf
(«Synchronous Reactive Formalisms») a pour objet de développer
des études autour des formalismes synchrones dans un cadre coopératif
industriel et de recherche initié dans le projet Eureka Synchron.
- TNI : Collaboration avec la société
TNI , qui assure l'industrialisation de Signal
à travers l'environnement Sildex.
Actions régionales, nationales et internationales
- Groupe Télé-Productique Bretagne :Un groupe de travail
sur la productique se réunit régulièrement, rassemblant des partenaires
intéressés dans l'Ouest, à Brest (Ubo, Enib, Iut, Ensieta) et
à Rennes (Insa, Supelec, Ens-Cachan à Bruz). Des intérêts communs
avec l'Ubo et Supelec se sont dégagés, concernant la modélisation
de contrôleurs de cellule de production en Signal, Grafcet ou
Statecharts, ainsi que les architectures d'automates programmables.
- Action coopérative PRESYSA :L'action coopérative
Inria PRESYSA
se situe dans l'axe intitulé «développement de logiciels certifiés».
Elle concerne la vérification de systèmes synchrones et asynchrones
ayant un nombre d'états infinis en se concentrant sur les propriétés
de sûreté et d'invariance. Les particpants sont les suivants~:
Cmi (Marseille), Verimag (Grenoble), Loria (Nancy) et Irisa (Rennes)
- Université du Michigan (USA) : H. Marchand
a passé un séjour post-doctoral dans le laboratoire
de "Discrete event systems" de l'Université du Michigan
dirigé par S. Lafortune.
|
