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

  • Projet RÉESPIRATION : Quand l’art respire au rythme de la science et de la médecine

    Une œuvre d’art interactive née d’un dialogue inédit entre artistes, soignants et chercheurs pour sensibiliser à la respiration et son pouvoir d’apaisement

    Lire la suite
  • Capteurs à fibre optique : un bond technologique grâce aux technologies quantiques de comptage de photons

    Des chercheurs de FEMTO-ST ont démontré l'augmentation de la portée des capteurs de température à fibres optiques à 150 km grâce à une technologie de détection photonique innovante.

    Lire la suite
  • Détecter les polluants issus des hydrocarbures dans les eaux souterraines

    Un enjeu environnemental et sanitaire majeur relevé par des chercheurs de FEMTO-ST en lien avec TotalEnergies

    Lire la suite
  • 3 chaires de professeur junior (CPJ) à pourvoir à FEMTO-ST

    Dans 3 de ses axes stratégiques prioritaires de recherche : micro-nanotechnologies, intelligence artificielle et développement durable.

    Lire la suite
  • FEMTO-ST s'implique du 19 au 21 Mai à Pint of Science Festival

    De nombreux chercheurs de l’institut se mobilisent à Besançon et à Belfort  à l’occasion de la 11ème édition du festival international de vulgarisation scientifique sur des thématiques variées : optique, robotique, IA... Inscrivez-vous pour décou

    Lire la suite
  • FEMTO-ST lance son accompagnement pour le dépôt des bourses post-doctorales MSCA-PF

    Le Boostcamp, une formation intensive de 2 jours pour accompagner les chercheurs internationaux dans leur candidature à la bourse postdoctorale Marie Skłodowska-Curie 2025.

    Lire la suite
  • L’intelligence artificielle au service de la collecte de données agricoles

    Le projet ANR OCOD combine capteurs intelligents, drones et optimisation pour la collecte de données dans des environnements naturels contraints.

    Lire la suite
  • Un projet européen pour la prévention des déchirures du périnée

    PELVITRACK propose un outil prédictif aux praticiens dans le cadre d’un consortium européen interdisciplinaire impliquant FEMTO-ST.

    Lire la suite
  • 12 postes d’enseignants-chercheurs à pourvoir à FEMTO-ST

    Informatique, Génie informatique - automatique et traitement du signal, Génie Civil - Physique et Energétique du bâtiment, mécanique – génie mécanique.

    Lire la suite
  • Prix du Best Paper à BIOSTEC 2025

    Les travaux de Ouassim Boukhennoufa et son équipe combinent IA et optimisation d’images en médecine nucléaire pour une détection plus précise et précoce des anomalies parathyroïdiennes.

    Lire la suite

Pages