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

  • Mengjia Wang reçoit le « Chinese government award 2020 »

    Doctorant au département d’Optique de FEMTO-ST de 2016 à 2019, Mengjia Wang a été récompensé par le Gouvernement Chinois pour ses travaux de thèse remarquables dans le domaine de la nanophotonique et de la plasmonique.

    Lire la suite
  • Laurent LARGER nommé Fellow 2021 de L’OSA

    Professeur de Physique/optique à l’Université de Franche-Comté et chercheur à FEMTO-ST, Laurent Larger est récompensé pour ses travaux pionniers sur la dynamique non linéaire en optoélectronique et sur le développement de nouvelles architectures pour l’intelligence artificielle photonique.

    Lire la suite
  • Concours CNRS « la Preuve par l'Image »

    Découvrez la sélection des 20 images sélectionnées par le CNRS, dont l’une est présentée par FEMTO-ST, et votez pour désigner la photo « Prix du public ».

    Lire la suite
  • Webconférences sur "e.Micronora"

    Dans le cadre de l’évènement virtuel sur les microtechniques « e.Micronora », FEMTO-ST propose des conférences en ligne le jeudi 24 septembre  au matin. Une opportunité, notamment pour les industriels, de découvrir les ressources mises à disposition par les laboratoires de recherche.

    Lire la suite
  • Imager l’interférence de photons intriqués de dimensionalité géante

    Une équipe d’opticiens a développé un dispositif d’imagerie permettant la résolution spatiale et temporelle du phénomène d’interférence quantique entre des paires de photons intriqués. Ces travaux ouvrent la voie au développement de protocoles d’information à très haute dimension

    Lire la suite
  • Concours posters doctorants : 11 ambassadeurs récompensés

    11 doctorants de 1ère année mis à l’honneur lors de l’Assemblée générale de FEMTO-ST du 10 juillet.

    Lire la suite
  • Fei GAO reçoit le prix «IEEE J.D. Irwin Early Career Award »

    Membre de l'équipe SHARPAC et Directeur-Adjoint de FEMTO-ST, Fei Gao a été récompensé par la société IES de IEEE en raison de ses travaux remarquables dans le domaine de l'amélioration de la fiabilité des chaînes de traction électrique à hydrogène.

    Lire la suite
  • Daniel HISSEL, lauréat de la médaille de l’innovation 2020 du CNRS

    Professeur à l’Université de Franche-Comté, chercheur à FEMTO-ST et co-fondateur d’une start-up pour des piles à hydrogène plus performantes, Daniel HISSEL fait partie des quatre lauréats nationaux de la médaille de l’innovation 2020 du CNRS.

    Lire la suite
  • Une nouvelle source de lumière infrarouge grâce à des cascades de fibres optiques

    Des scientifiques de l’institut FEMTO-ST et de l'Université McGill (Montréal, Canada) ont conçu et développé en collaboration avec trois sociétés françaises une source de lumière couvrant toute la gamme de longueur d’onde de l’infrarouge moyen : de 2 à 10 µm.

    Lire la suite
  • Des cristaux topologiques pour guider les ondes à la surface de l’eau

    Les isolants topologiques ont la propriété d’être conducteurs sur leur surface, mais isolants dans leur volume et permettent un guidage très efficace des ondes par l’ingénierie de la structure de ces matériaux, généralement agencés selon une symétrie hexagonale inspirée de celle du graphène.

    Lire la suite

Pages