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
Workshop Arc-et-Senans - 14 septembre 2011
Cet atelier est couplé cette année avec le workshop NAMIS. Les thèmes traités par les conférenciers seront les Enjeux sociaux et économiques des applications sans fil (Wireless) dans les domaines de l’environnement, de la santé et de la sécurité ainsi que le Management multiculturel et l’Emergence d’une société globale
Lire la suite
Birgit STILLER, lauréate du Prix A'Doc 2011
Birgit STILLER, Doctorante au Département Optique, est lauréate du Prix A'Doc 2011 pour son article « Son et Lumière dans les fibres optiques microstructurées »
Lire la suite
Journée technique : Microélectronique et MEMS
Organisée par FEMTO-ST, le Pôle des Microtechniques et Cap'Tronic, cette journée aura lieu le 5 juillet prochain et sera l'opportunité de rencontres et d'échanges entre académiques, industriels fabricants de produits micro-assemblés et offreurs de solutions de micro-assemblage.
Lire la suite
Le microrobot FEMTO-ST double champion du monde de vitesse
Après avoir décroché leur premier titre de champion du monde l’année dernière en Alaska, nos chercheurs franc-comtois sont venus hier à Shanghai réitérer leur performance pour s’illustrer à nouveau dans la coupe internationale de microrobotique.
Lire la suite
FEMTO-ST publie dans Angewandte chemie international edition
Un consortium de chercheurs issus de l’Institut FEMTO-ST et l’Institut de Sciences et Matériaux de Mulhouse vient de publier un article dans Angewandte chemie international edition exposant leur capacité à organiser des molécules sur une surface semiconductrice avec une précision atomique.
Lire la suite
FEMTO-ST sera présent à Munich sur LASER WORLD OF PHOTONICS 2011
C'est au côté de Crystal Device Technology, une des start-ups issues de son Département d'Optique que FEMTO-ST participera du 23 au 26 mai sur le pavillon France au plus important salon international du domaine de la photonique
Lire la suite
FEMTO-ST expose sur MEDTEC les 13 et 14 avril 2011
FEMTO-ST sera présent les 13 et 14 avril prochain sur le stand 525 au salon de l'instrumentation médicale "MEDTEC France" qui se tient à Besançon (Parc des expositions de Micropolis)
Lire la suite
Un LABEX pour le projet FIRST-TF
FEMTO-ST et UTINAM font partie des cents projets de LABoratoires d’Excellence (LABEX)retenus dans le cadre du grand emprunt. Ce projet de réseau thématique pour la recherche,l’innovation, la formation, les services et le transfert en Temps-Fréquence (FIRST-TF) est porté par le
SYRTE (SYstème de Références Temps-Espace) de l'Observatoire de Paris. Il implique également le Laboratoire de Physique des Lasers (Paris 13) et GEOAZUR à l’Observatoire de la Côte d’Azur.
Lire la suite
Un article de Michel planat sélectionné par le Journal of Physics A: Mathematical and Theoretical
Les travaux de Michel Planat sur le "calcul quantique par l'hypothèse de Riemann" ont été sélectionnés pour affichage sur le site du Journal of Physics A: Mathematical and Theoretical accessible à l'adresse http://iopscience.iop.org/1751-8121/labtalk-article/45421. Cette brève est fondée sur un article récent de Michel paru dans ce journal.
Lire la suite
FEMTO-Innovation présent sur la foire de Hanovre
Au côté de 5 autres instituts Carnot, FEMTO-Innovation représentera la recherche partenariale française à l'occasion de la foire de Hanovre qui se déroule du 4 au 8 avril 2011.
Lire la suite
Pages