L'institut
Actualité de FEMTO-ST

Vous êtes ici

13e édition de la conférence internationale Formal Aspects of Component Software (FACS)

L'approche - actuellement émergente - de développement de
logiciels fondée sur les composants s'appuie sur un paradigme prometteur pour
faire face à la complexité des logiciels actuels. Il reste toutefois de
nombreux défis, tant conceptuels que techniques, tant théoriques que pratiques.

En outre, les systèmes hébergés et l'Internet des objets apportent
de nouvelles opportunités et de nouvelles notions, telles que la qualité, la
robustesse, les reconfigurations. Ces nouveautés mènent à la révision de
beaucoup de concepts.

FACS 2016 aborde l'utilisation de méthodes formelles pour la
programmation de logiciels et de services fondés sur des composants physiques.
De telles méthodes ont conduit à des modèles mathématiques pour la définition,
la composition et l'adaptation de ces composants. Elles ont aussi abouti à des approches
rigoureuses pour la vérification, le déploiement, le test et la certification.

La conférence vise ainsi les applications de méthodes formelles dans
tous les aspects des composants et services logiciels, avec une attention
particulière aux systèmes physiques connectés et à l'Internet des objets. Voici
une liste non exhaustive des champs spécifiques :

- modèles, aspects formels et modélisations pour les composants,
services, interactions et architectures ;
- tests de composants et de services fondés sur des modèles et
des interfaces graphiques ;
- modèles pour la composition, le déploiement et l'étude de
propriétés non fonctionnelles (p. ex., confiance, sécurité,etc.) ;
- évolution, mise à jour, reconfiguration, (auto-)adaptation
de systèmes.

Cette conférence rassemblera à Besançon du 19 au 21 octobre une cinquantaine de scientifiques internationaux du domaine.

Plus d'infos

  • Vidéo sur Biom'@x

    Découvrez la vidéo sur les activités de recherche de FEMTO-ST dans le domaine du biomédical

    Lire la suite
  • LUX! Temps fort, c'est fini !

    Ça y est, le temps fort LUX! est derrière nous et c’est en images que nous vous proposons de (re)-découvrir cet événement.

    Lire la suite
  • LUX ! TEMPS FORT

    Venez découvrir scientifiques et artistes à l'occasion de LUX! du 9 au 11 octobre...

    Lire la suite
  • Une jeune chercheuse récompensée par une bourse l’Oréal-UNESCO Pour les Femmes et la Science

    Brillante doctorante au sein de l’institut FEMTO-ST, Pauline BUTAUD, 26 ans, fait partie des 20 jeunes chercheuses françaises récompensées hier à Paris par une bourse nationale l’Oréal-UNESCO pour l’excellence scientifique de ses travaux de recherche novateurs afin de lui permettre de poursuivre une carrière déjà très prometteuse, tout en valorisant son parcours et ses résultats.

    Lire la suite
  • Une jeune chercheuse récompensée par une bourse l’Oréal-UNESCO Pour les Femmes et la Science

    Brillante doctorante au sein de l’institut FEMTO-ST, Pauline BUTAUD, 26 ans, fait partie des 20 jeunes chercheuses françaises récompensées hier à Paris par une bourse nationale l’Oréal-UNESCO pour l’excellence scientifique de ses travaux de recherche novateurs afin de lui permettre de poursuivre une carrière déjà très prometteuse, tout en valorisant son parcours et ses résultats.

    Lire la suite
  • Venez découvrir le dispositif CIFRE

    FEMTO-ST organise le mercredi 30 septembre, une demi-journée d’information sur le dispositif "Conventions Industrielles de Formation par la Recherche".

    Lire la suite
  • Bilal KOMATI (AS2M) obtient le Prix de la meilleure thèse en robotique

    Félicitations à Bilal KOMATI (AS2M) qui a obtenu ce prix pour sa thèse intitulée : « Micro-assemblage automatisé à l’aide d’une pince instrumentée en force et d’une commande hybride force/position ».

    Lire la suite
  • Parution du livre "Phononic crystals"

    Vincent Laude, Directeur de recherche CNRS à l'institut FEMTO-ST fait paraître un livre (éd. DE GRUYTER) intitulé: Phononic Crystals:
    Artificial Crystals for Sonic, Acoustic, and Elastic Waves

    Lire la suite
  • Inauguration du laboratoire commun PhASES

    L’institut FEMTO-ST et l’entreprise SENSeOR inaugurent leur laboratoire commun PhASES « Physical Acoustics, Sensors and Embedded Systems »

    Lire la suite
  • Frontiers in photonics

    Venez assister aux conférences d'Alexander Gaeta, de Michal Lipson et de Jean-Pierre Wolf le 1er octobre...

    Lire la suite

Pages