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
On a marché sur les braises !
Un dimanche presque comme les autres à la Fabrikà sciences. Dimanche 14 décembre 2014, John Dudley (chercheur à l'Institut FEMTO-ST) proposait au public de marcher sur les braises.
Lire la suite
Paper prize lors de la conférence internationale VPPC 2014
Lors de la conférence internationale IEEE « Vehicule Power and Propulsion Conference » qui s’est déroulée à Coimbra au Portugal du 27 au 30 octobre 2014, l’équipe Systèmes Hybride et Systèmes Pile à Combustible »du département Energie de FEMTO-ST a remporté le « Paper Prize » pour son article intitulé « Gestion d'énergie d'un véhicule électrique hybride en fonctionnement dégradé »
Lire la suite
Best Paper Award pour proposer l’interopérabilité des systèmes de communication des armées
L’article présenté fin octobre à Rome par une équipe de FEMTO-ST/ Département Informatique des Systèmes Complexes, a reçu le prix du meilleur article scientifique lors de la conférence européenne du Wireless Innovation Forum. Les résultats présentés portaient sur l’application des méthodes de génération de tests à partir de modèles formels pour vérifier la conformité au standard du logiciel embarqué dans ces équipements, permettant d’assurer ainsi leur interopérabilité.
Lire la suite
Yannick Lefier, vainqueur de la Grande Battle de FEMTO-ST !
Vulgariser ses travaux de recherche avec humour et en moins de 3 minutes. C’est le défi dans lequel se sont lancés huit doctorants de FEMTO-ST qui se sont affrontés à coups de « supers pouvoirs » au cours de cette édition 2014 de la fête de la science. Après une première épreuve qui s’est déroulée à l’UFR-STGI de Belfort, le 9 octobre dernier devant 130 lycéens, Yannick Lefier s’est imposé lors de la finale qui a eu lieu le 12 octobre à Besançon avec 30 % des votes du public pour la présentation de ses travaux en optique… déguisé en grand maître de la lumière karatéka !
Lire la suite
Un nouveau mode de diffusion de la lumière dans de minuscules fibres optiques
Des chercheurs de l'institut Femto-ST en collaboration avec des collègues du Laboratoire Charles Fabry viennent de découvrir un nouveau mode de diffusion de la lumière dans de minuscules fibres optiques 50 fois plus fines qu'un cheveu ! Ce phénomène, qui varie selon l'environnement de la fibre, pourrait être exploité pour concevoir des capteurs innovants et ultra-sensibles. Ces travaux sont publiés le 24 octobre 2014 dans la revue Nature Communications.
Lire la suite
Congrès CETSIS - 27-29 octobre 2014
Besançon accueille le congrès CETSIS 2014 du 27 au 29 octobre 2014. Il se déroule essentiellement autour de démonstrations réelles de travaux pratiques et de projets et de tables rondes et accueillera des enseignants, enseignants-chercheurs, doctorants, industriels de toute la France et de pays francophones.
Lire la suite
Visite du Premier ministre, Manuel Valls, à FEMTO-ST
Accompagné de Mme Najat Vallaud-Belkacem, Ministre de l'Éducation nationale, de l'Enseignement supérieur et de la Recherche, et Mme Geneviève Fioraso, Secrétaire d’Etat à l’Enseignement supérieur et à la Recherche, le Premier Ministre Manuel Valls est venu découvrir, lundi 29 septembre à Besançon, les recherches menées au sein de l’institut et apprécier les développements technologiques réalisés au sein de notre salle blanche.
Lire la suite
Prix spécial du Jury sur le salon MICRONORA
Un microrobot développé par une équipe de recherche de FEMTO-ST pour améliorer la chirurgie laser des cordes vocales a reçu le prix spécial du jury sur le salon MICRONORA
Lire la suite
Départagez de jeunes chercheurs dans "la grande Battle de FEMTO-ST"
A l'occasion du dixième anniversaire de FEMTO-ST, le laboratoire et l'Université de Franche-Comté organisent un concours original...une battle de jeunes chercheurs, un combat scientifique et technique avec comme armes des "super pouvoirs" sortis du laboratoire.
Retrouvez les sur le site de Besançon TV du 20 septembre au 11 octobre 2014 pour visionner leur portrait et vidéo et soutenir votre favori
Lire la suite
L’entreprise FOR-AGE fait appel à l’expertise de FEMTO-ST
Pour optimiser les déplacements des professionnels de santé, une PME de Saint Vit (25),éditrice de solutions informatiques, fait appel à l'expertise de FEMTO-ST en modélisation pour identifier un algorithme de calcul performant, développer un prototype permettant de démontrer la preuve de concept et tester le solveur de tournées en situation réelle.
Lire la suite
Pages
