HomeProjectsAtlanSTIC Projects

AtlanSTIC Projects

 

 

 

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é...

 

 

 

 

 

 

 

Les projets 2007/2008

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