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

  • Daniel HISSEL nommé « Fellow » IEEE

    Professeur en Génie Electrique à l’Université de Franche-Comté et chercheur à FEMTO-ST, Daniel Hissel a été récompensé pour ses travaux sur les systèmes intégrant l’hydrogène.

    Lire la suite
  • 8 mars, Journée Internationale du droit des femmes

    "La Liberté, comme la Science, et le droit des Femmes, sont des enjeux fondamentaux de l'Humanité.
    Lire la suite
  • Première observation de l'effet roton dans des métamatériaux

    Des travaux expérimentaux menés par FEMTO-ST et le KIT ont montré la possibilité de « piloter » la propagation de l’onde vers l’avant ou vers l’arrière en faisant varier sa fréquence.

    Lire la suite
  • FEMTO-ST partenaire de l'unité Mixte technologique "CAPPLAI"

    Des CApteurs pour piloter et optimiser la Performance des Process LAItiers

    Lire la suite
  • Les vésicules extracellulaires (EVs) : des médiateurs intercellulaires aux multiples facettes

    La plateforme NanoBioAnalytique (NBA) de FEMTO-ST au service de la qualification des EVs, dans des fluides biologiques complexes, pour des applications diagnostiques ou thérapeutiques.

    Lire la suite
  • Bonne année 2022 !

    La Direction et l'ensemble des membres de FEMTO-ST vous souhaitent une année 2022 pleine de satisfactions personnelles et professionnelles

    Lire la suite
  • Safa MERAGHNI reçoit le prix PEPITE du concours régional « Initiative au féminin »

    Son projet de création de « Smart Medical Assistant » est un dispositif intelligent d’assistance médicale sur smartphone destiné à aider les médecins dans leur diagnostic.

    Lire la suite
  • Conférence IEEE ICEMS : Best paper award

    Des chercheurs de l’équipe SHARPAC du département ENERGIE de FEMTO-ST ont reçu le «Best Paper Award» lors de la Conférence internationale IEEE sur les Machines Électriques et Systèmes pour leurs travaux concernant l’influence de la conductivité électrique sur les pertes par courants de Foucault.

    Lire la suite
  • Laboratoires communs CNRS-Entreprises 2021

    FEMTO-ST et AUREA Technology mis à l’honneur lors du LAB COM CNRS qui s'est tenu à 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

Pages