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
Investissements d’avenir : Un nouveau LABEX et 2 nouveaux EQUIPEX pour FEMTO-ST
Dans le cadre de la deuxième vague des investissements d’Avenir, FEMTO-ST a décroché un LABEX (laboratoire d’excellence) pour son projet « ACTION » fondé sur des systèmes intelligents intégrés dans la matière, 1 EQUIPEX (équipement d’excellence) dans le domaine temps-fréquence pour son projet « Oscillator-IMP », et est en plus un partenaire incontournable de l’EQUIPEX « Refimeve + » dans cette même thématique.
Lire la suite
L'odyssée des chercheurs de FEMTO-ST à travers l'Europe
Le projet ULISS qui fait suite à la mise au point d'une horloge ultra-stable, va entrainer des chercheurs de l'institut FEMTO-ST de Besançon dans une odyssée autour de toute l'Europe, avec un premier départ le 15 février en direction de Neuchâtel puis de Toulouse (CNES), de Göteborg...
Lire la suite
Recrutement 2012 - Département AS2M
Le département AS2M recrute 1 poste de maître de conférence (61ème section) en 2013, sur les thématiques de la commande des systèmes complexes.
Lire la suite
FEMTO-ST élargit ses compétences et s’agrandit
Un nouveau département de recherche consacré à l’Informatique des Systèmes Complexes (DISC) vient d’être créé au sein de l’institut FEMTO-ST grâce à l’intégration en janvier 2012 des équipes de l’ex laboratoire d’Informatique de Franche-Comté.
Lire la suite
Deux projets FEMTO-ST distingués par l’ERC
Deux projets de recherche d’envergure, portés respectivement par Yanne Chembo et John Dudley du département d’Optique de FEMTO-ST, viennent de bénéficier chacun d’eux d’un financement substantiel du Conseil Européen de la Recherche compte tenu de leur excellence scientifique
Lire la suite
FEMTO-ST : Lauréat des lauréats des trophées de l’INPI
A l’occasion de ses 60 ans et des 20 ans de ses trophées de l’Innovation, l’INPI a mis en avant ses 6 lauréats les plus talentueux des 20 dernières éditions et a décerné à FEMTO-ST le prix spécial 2011 dans la catégorie « centres de recherche »
Lire la suite
FEMTO-ST : Résultat du Mois Omicron
Un article sélectionné par la société Omicron en tant que résultat du mois.
Lire la suite
journée d'information : appels à proposition ERC 2012
Une demi‐journée d’information consacrée aux appels à proposition ERC 2012 aura lieu le vendredi 16 Septembre 2011 de 13h45 à 17h
Lire la suite
Michaël Gauthier reçoit une médaille de Bronze du CNRS 2011
Michaël Gauthier est lauréat 2011 de l’Institut des sciences de l'ingénierie et des systèmes (INSIS)du CNRS.
Lire la suite
CFM 2011 à Besançon
La 20ème édition du Congrès Français de Mécanique se tiendra à Besançon du 29 août au 2 septembre 2011. Il est organisé par le département Mécanique Appliquée de l’institut FEMTO-ST.
Lire la suite
Pages