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

  • Laboratoires communs CNRS-Entreprises 2021

    FEMTO-ST et AUREA Technologies mis à l’honneur lors du prochain évènement LAB COM CNRS qui se tiendra à Paris les 29 et 30 novembre.

    Lire la suite
  • Nanorobotique du futur : FEMTO-ST entre dans la 4ème dimension

    Pour la première fois, des structures nanorobotiques ont été réalisées par pliage en 3 dimensions d'une membrane multi-couche en proposant en plus leur actionnement par un principe électro-thermo-mécanique.

    Lire la suite
  • Lumière sur les lasers supercontinuum

    En collaboration avec des collègues des Universités de Tampere, d'Aston et de l'ICB à Dijon, des chercheurs de FEMTO-ST ont fait des progrès significatifs sur la compréhension de la nature chaotique des lasers en étudiant un laser supercontinuum en régime d’impulsions fortement instables.

    Lire la suite
  • Julio Andrés Iglesias Martínez reçoit le prix de la meilleure présentation étudiante à IEEE Ultrasonic Symposium

    Ses travaux consistent à réaliser des cristaux phononiques tridimensionnels à l’échelle microscopique présentant les bandes interdites les plus larges connues à ce jour.

    Lire la suite
  • Des textiles égyptiens vieux de 4000 ans éclairent sur la durabilité des fibres de lin

    Publiés dans la revue Nature Plants, des travaux impliquant des scientifiques de FEMTO-ST aident à proposer des matériaux à base de fibres de lin toujours plus performants et résistants.

    Lire la suite
  • Les Visites insolites du CNRS 2021 : plongez au cœur de la science !

    Plonger dans la peau d’une cellule, comprendre les systèmes de conversion d’énergie ou encore savoir pourquoi et comment l’hydrogène pourrait être le carburant du futur…grâce aux visites insolites organisées à Besançon et Belfort par FEMTO-ST !

    Lire la suite
  • Matière programmable : Tentative de record du monde

    Une équipe de recherche de FEMTO-ST tente de faire homologuer par le « Guinness World Record » le record du plus grand nombre de blocs lumineux autonomes assemblés dans une structure.

    Lire la suite
  • Rodolphe Boudot reçoit le prix EFTF Young Scientist Award 2020

    L'IEEE EFTF-IFCS 2021 est une conférence conjointe de l'European Frequency and Time Forum et de l'IEEE International Frequency Control Symposium. La conférence conjointe 2021, initialement prévue à Paris en avril, a été convertie en une conférence virtuelle du 7 au 17 juillet 2021.

    Lire la suite
  • Giacomo Clementi, grand prix i-PhD

    Pour ses travaux sur le matériau Niobate de Lithium (LiNbO3) qui ont permis de concevoir des dispositifs originaux et efficaces de récupération d’énergie vibratoire par effet piézo-électrique, en particulier pour les objets connectés.

    Lire la suite
  • Concours des doctorants-ambassadeurs FEMTO-ST

     Remise de prix aux trois vainqueurs du concours de meilleurs posters de présentation de travaux de thèse lors du séminaire interne FEMTO-ST du 2 juillet.

    Présentation « en live » en amphi à Sevenans (UTBM) des 10 doctorants finalistes, suivi d’un vote en ligne qui a récompensé :

    Lire la suite

Pages