Qu’est-ce qu’un logiciel embarqué et comment le tester automatiquement ?
11 avril 2023
Les logiciels embarqués se trouvent dans une grande variété de produits électroniques, qu’il s’agisse d’appareils grand public ou de systèmes industriels. Les domaines tels que les transports, les équipements médicaux, les villes intelligentes, la domotique, l’agroéquipement et l’industrie manufacturière…en sont truffés. Ces logiciels embarqués jouent aussi un rôle majeur pour les objets connectés qui forment … Qu’est-ce qu’un logiciel embarqué et comment le tester automatiquement ?
Writeup BreizhChip – Breizh CTF 2023
20 mars 2023
Vendredi 17 mars 2023 a eu lieu la 7ème édition du BreizhCTF au Couvent des Jacobins à Rennes. Durant toute la nuit, 120 équipes se sont affrontées sur des challenges de cybersécurité. Voici la solution du challenge BreizhChip. Rappel de l’énoncé Votre meilleur ami a conçu un chiffreur incassable… Vous savez qu’il est un peu … Writeup BreizhChip – Breizh CTF 2023
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