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

  • Visite du président du CNRS à FEMTO-ST

    Antoine Petit, président-directeur général du CNRS a été accueilli le 11 février dernier à FEMTO-ST.

     

    Lire la suite
  • Visite du Préfet du Doubs à FEMTO-ST

    Joël MATHURIN, nouveau Préfet du Doubs, est venu découvrir les activités de recherche de FEMTO-ST vendredi 25 janvier dernier.

    Lire la suite
  • Photo John Dudley

    John Dudley récompensé par la Société Internationale d’Optique et Photonique (SPIE)

    Il obtient Le prix “SPIE Harold E. Edgerton » 2019 pour des applications pionnières basées sur les impulsions lumineuses ultra-brèves dans les fibres optiques.

    Lire la suite
  • Jean-Antoine Seon : lauréat du 2eme prix national de thèse en robotique

    Ce prix lui a été remis le 22 novembre au siège du CNRS pour ses travaux pionniers à l’échelle internationale sur une micro main robotique dextre.

    Lire la suite
  • 2ème prix national du concours docteurs-entrepreneurs challenges pour Vladimir Gauthier

    Récompensé à Paris pour son projet « CellSelect » qui propose un robot capable d’améliorer la précision et la vitesse de tri de cellules dans le domaine des thérapies innovantes.

    Lire la suite
  • Award "innovation in optomechatronic research"

    Plusieurs membres de différents départements scientifiques de FEMTO-ST ont été récompensés pour leur papier conjoint  "Photonic microsystem made by dynamic microassembly" lors de la conférence ISOT "19th International Symposium on Optomechatronic technology" qui s’est déroulée du 5 au 8 novembre

    Lire la suite
  • Elodie Pahon reçoit le prix «Hydrogen Europe Research Young Scientist Award»

    Ce prix vient récompenser ses travaux de haut niveau visant à développer un système de pronostic et de contrôle intelligent de systèmes pile à combustible.

    Lire la suite
  • Emmanuel RAMASSO, récompensé au travers d'un prix de groupe décerné par la NASA

    Pour une contribution remarquable à la réalisation et au partage d'ensembles de données expérimentales portant sur des défaillances de systèmes avec une valeur scientifique exceptionnelle...

    Lire la suite
  • Les chimères existent...

    L'American Institute of Physics (AIP) a publié notre récent article dans l'un des temps forts scientifiques spéciaux, connu sous le nom de Scilight.

    Lire la suite
  • Concours Docteurs-Entrepreneurs en Bourgogne-Franche-Comté : 3 lauréats issus de FEMTO-ST

    Vladimir Gauthier (CellSelect), prix Docteurs-Entrepreneurs ; Aliyasin El Ayouch (Metabsorber), prix Emergence ; Romain Viala (MICAD), prix « Coup de coeur » ont été récompensés lors de la finale régionale qui a eu lieu le 16 octobre à Dijon

    Lire la suite

Pages