
Vérification formelle de l’Intelligence Artificielle
15 février 2023
Motivations L’Intelligence Artificielle (IA) est aujourd’hui très présente dans de nombreux services que nous utilisons et tend à l’être de plus en plus, notamment dans les systèmes critiques tels que la conduite autonome, l’aviation ou l’imagerie médicale. Parallèlement à cet essor, il a été découvert ces dernières années, que ces systèmes basés IA sont sensibles … Vérification formelle de l’Intelligence Artificielle

Bel exemple de collaboration public-privé pour améliorer le suivi des patients
13 décembre 2022
Les acteurs des territoires de santé bretons ont exprimé la nécessité de définir et partager le cercle de soins d’une personne prise en charge. Le cercle de soins comprend professionnels, structures de santé, personnes tierces et autres personnes ou structures intervenant dans la prise en charge du patient à domicile. Cette notion, notamment utilisée dans … Bel exemple de collaboration public-privé pour améliorer le suivi des patients

Les tests statiques, les oubliés des plans de tests
7 novembre 2022
Introduction Les tests statiques reposent sur un examen manuel (revue) ou sur une évaluation outillée (analyse statique) des produits d’activité par les activités d’un projet sans que du code ne soit exécuté. On pense bien sûr au code informatique, mais les produits d’activité concernent également les spécifications, les cas de tests, les manuels utilisateurs. Si, … Les tests statiques, les oubliés des plans de tests

L’automatisation de rapports de test
9 septembre 2022
C’est dans la transition vers l’automatisation de ses bancs de test que Kereval veut automatiser la génération de ses rapports de test. Le développement d’un tel outil donnerait de nombreux avantages comme la réduction substantielle du temps de rédaction et de validation des rapports et l’assurance d’une conservation de l’intégrité des données entre le rapport … L’automatisation de rapports de test

« IREB Fondation » a pris sa troisième dose
18 novembre 2021
Depuis la nuit des temps, notre terre n’a cessé de tourner, notre monde n’a cessé d’évoluer, et l’IREB n’a cessé d’améliorer sa formation pour traiter la problématique d’ingénierie des exigences. Un nouveau syllabus v3.0 a vu le jour depuis le 1er avril 2021, sa traduction en français a été effectuée par le CFTL dans le … « IREB Fondation » a pris sa troisième dose

Explicabilité de l’Intelligence Artificielle
2 septembre 2021
Pourquoi, pour qui ? L’Intelligence Artificielle (IA) permet d’exploiter des volumes de données considérables afin de réaliser des tâches complexes, généralement de manière très efficace. Cependant, les modèles d’IA et plus précisément de Machine Learning, voire de Deep Learning, sont souvent comparés à des « boîtes noires » du fait de leur fonctionnement opaque, pas forcément compréhensible … Explicabilité de l’Intelligence Artificielle

La radio cognitive : une solution à l’encombrement du spectre
15 juillet 2021
La croissance explosive des réseaux et terminaux sans fil a entraîné un encombrement du spectre. En effet, chaque fois que vous utilisez votre radio, que vous téléphonez ou encore que vous utilisez votre GPS, vous faites appel à des ressources spectrales. Ainsi, ces dernières années, on constate un problème d’accès au spectre. En France, c’est … La radio cognitive : une solution à l’encombrement du spectre