Colloque

L'ingénierie de la fiabilité des systèmes logiciels : une approche basée sur les modèles

Résumé de la communication

La fiabilité et la continuité des services, malgré les pannes inévitables, sont devenues des exigences de plus en plus répandues dans plusieurs domaines, tels que les systèmes bancaires, les télécommunications, etc. Plusieurs solutions et plateformes spécifiques ont toujours existé. Des solutions et plateformes basées sur des standards développés par le Service Availability Forum (SAForum) ont vu le jour dans la dernière décennie. Les services définis par ces standards et implémentés dans les plateformes et middlewares manipulent des artefacts très complexes, tels que des configurations de systèmes et des campagnes de mise à jour («upgrade»). La conception de tels artefacts et leur validation n'est pas chose facile à cause de leur taille, complexité et toutes les contraintes à satisfaire. Dans cette présentation, nous exposerons le problème et discuterons de l'apport et des bénéfices que l'ingénierie des modèles peut apporter dans la conception et la validation de tels artefacts. Plus particulièrement, nous discuterons des solutions que nous avons apportées.

Résumé du colloque

Il y a 50 ans, le détective Dick Tracy utilisait une montre-bracelet pour communiquer par vidéophonie avec ses associés. À l’époque, c’était de la science-fiction en bandes dessinées. Aujourd’hui, c’est la réalité grâce aux réseaux sans fil numériques et aux téléphones intelligents. Les communications sans fil sont omniprésentes dans notre société. L’importance de l’industrie est telle que le dévoilement d’un nouveau modèle de téléphone intelligent fait souvent la une des journaux. Mais la technologie sans fil c’est bien plus que le cellulaire et le Wi-Fi : que l’on pense aux réseaux de senseurs, aux technologies RFID, aux communications tactiques, aux communications intravéhiculaires, aux systèmes d’urgence civile d’appoint, aux dispositifs de monitorage médicaux sans fil, etc. Même si ces technologies émergentes sont très performantes, les besoins et contraintes en termes de débit efficace d’information, de largeurs de bande accessibles, de robustesse, de sécurité et d’intégrité de l’information, augmentent à un rythme effréné et de nouvelles approches, méthodes et techniques doivent être développées afin de mieux répondre aux exigences de ces nouveaux services. De plus, de nouveaux défis, comme la diminution des gaz à effet de serre, de l’informatique dématérialisée (cloud computing) ainsi que de nouvelles bandes de fréquences disponibles demandent des recherches plus approfondies. Le Québec compte de nombreux chercheurs en communications sans fil et ce colloque se veut un tour d’horizon de la recherche dans ce domaine. Les aspects touchant la couche physique ainsi que la réseautique et les systèmes seront abordés. Ainsi, les experts québécois intervenant dans ce colloque, exposeront les plus récents développements réalisés en radio cognitive, réseaux coopératifs, accès sans fil, systèmes multiantennes, dans le contexte d’applications de sécurité civile, tactique, minière, médicale et d’intégration optique/sans fil.