Vous êtes ici
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software
La 13ème édition de la conférence internationale "Formal Aspects of Component Software" (FACS), organisée par le département du DISC, aura lieu à Besançon du 19 au 21 Octobre 2016.
FACS 2016
FACS 2016
Contexte
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 traite de l'utilisation de méthodes formelles pour la réalisation avec succès de logiciels et de services fondés sur des composants. De telles méthodes ont donné des modèles mathématiques pour la définition, la composition et l'adaptation de composants. Ils ont aussi donné des approches rigoureuses pour la vérification, le déploiement, le test et la certification.
Pour plus d'info, téléchargez le poster. (pdf, 774 Ko)
Champs d'intérêt
La conférence vise 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 compostion, 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.
Dates importantes
Abstract submission deadline : June 24, 2016 Workshop proposal deadline : June 5, 2016
Paper submission deadline : July 1, 2016 Notification for workshops : June 19, 2016
Notification : August 24, 2016 Doctoral Track submission deadline : September 1, 2016
Final version due : September 7, 2016 Doctoral Track notification : September 9, 2016
Création de la Start-up AFULub
La start-up AFULub fait son entrée dans l'incubateur.
Lire la suite
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
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
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
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
Pages
