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
