HomeProjectsAtlanSTIC Projects

AtlanSTIC Projects

Projects 2009/2010

IZGOUD : Expertise garantie de matériaux par méthodes périodiques

Les méthodes de mesure des propriétés thermiques des matériaux sont basées sur l'observation du comportement d'échantillons soumis à une excitation dont les caractéristiques sont connues...

HEP : Haptic Evaluation Procedure

L'être humain a recours au sens haptique (toucher et kinesthésique) dans toutes ses tâches de préhension ou d'exploration. Ce sens est essentiel...

PrivateP2PImages : Service de confidentialité pour le partage de données multimédias scalables dans les systèmes pair-à-pair

Les systèmes P2P sont très utilisés dans des applications collaboratives et communautaires pour stocker et partager des données publiques disponibles à tous les participants....

RUBIS : Recherche locale Unifiée et Benchmarks d'Instances

Les équipes Contraintes du LINA à Nantes, et MOA du LERIA à Angers, travaillent, dans le cadre de la résolution de problèmes d'optimisation, sur les algorithmes de recherche locale, selon des directions orthogonales mais complémentaires ....

EDYSYCTA : Etude de la dynamiques des systèmes à fortes contraintes temporelles dans des algèbres de type (max, +)

EDYSYCTA (Etude de la DYnamique des SYstèmes à fortes Contraintes Temporelles dans des Algèbres de type (max, +)) est un projet en collaboration avec les 2 laboratoires IRCCyN et LISA ...

 

 

 

 

 

 

Les projets 2007/2008

 

 

 

 

 

 

 

 

Projects 2008/2009

Etude comparative des architectures logicielles des systèmes d'exploitation temps réel.

Les équipes participant au projet :

Atlas-GDD (LINA)

Système temps réel (IRCCyN)

MCSE (IREENA)

Partenaires

Système temps réel (IRRCyN)

 

Présentation

Pour garantir le respect de limites ou contraintes temporelles d'une application temps réel, il est nécessaire que les différents services et algorithmes utilisés s'exécutent en temps borné...

 

Contribution à la vérification formelle de propriétés dans les systèmes de régulation biologique - BioAtlanSTIC II

Les équipes participant au projet :

COMBI (LINA)

COD (LINA)

Moves (IRCCyN)

Symbiose (IRISA)

U915 (INSERM)

Partenaires 

DFD MATHEON (FU Berlin)

ECOBIO (CAREN, Rennes) 

Hopital Cochin, Paris

 

Présentation

La dernière décennie a vu avec succès l'émergence de la modélisation du comportement des réseaux biologiques macro-moléculaires...

Génération et synchronisation des séquences chaotiques numériques. Application à la sécurité de l’information transmise dans les communications mobiles.

Les équipes participant au projet :

Commande (IRCCyN)

CNSE (IREENA)

 

Présentation

Les systèmes de chiffrement/déchiffrement standard utilisent des techniques connues. Les études faites depuis une dizaine d’années montrent que l’utilisation des signaux chaotiques permet d’apporter une contribution originale et efficace au problème de chiffrement de l’information...

 

Les projets 2006/2007