Recherche : misra
Produits
Événements
Actualités
Pages
Comment l’analyse statique avancée détecte des vulnérabilités de sûreté et sécurité ?
Les logiciels prenant des places prépondérantes au sein de notre société, la détection de vulnérabilités de sûreté et de sécurité au sein des développements logiciels devient d’une importance capitale. Pour mener à bien cette tâche, plusieurs techniques complémentaires existent, comme l’analyse dynamique, le suivi des exigences, l’analyse statique classique… et l’analyse statique avancée.
Conformité MISRA : 5 Conseils pour réussir
Il exite de nombreux outils permettant de détecter les violations des règles MISRA dans un code C ou C ++. Cependant, si identifier et corriger les violations signalées par un outil d'analyse constitue un défi de taille pour les développeurs, il ne représente qu'une partie du processus de conformité pour l'ensemble de l'équipe de développement.
Développer du code cybersecure et respecter l’ISA / IEC 62443 : comment faire ?
La norme ISA / IEC 62443 (anciennement ISA 99) est un ensemble de normes de processus pour le développement de produits industriels « cybersécurisés ». Elle couvre de nombreux aspects liés à la cybersécurité (mécanismes comme le secure boot, l’authentification, la sécurisation des échanges et des données, la fabrication des produits, …), mais présente aussi un intérêt particulier pour les concepteurs et développeurs de logiciels embarqués,...
Embraer choisit LDRA pour accélérer le lancement de son nouvel aéronef de la famille E2
LDRA, un des leaders mondiaux en outils d’analyse de code source, de tests et de validation de logiciels critiques, a contribué de manière significative au lancement de la nouvelle génération E2 d’aéronef d’Embraer plusieurs mois avant la date initialement prévue, en automatisant les tests de sûreté du logiciel de contrôle de vol.
Formation ISIT Règles de Codage
ISIT a développé une formation « Règles de Codage et métriques pour la Sûreté et la Cybersécurité des logiciels critiques » pour répondre aux besoins spécifiques de ses clients.
GrammaTech : nouvelle version de CodeSonar, contrat de recherche, et CodeSonar for iOS
Activité chargée pour GrammaTech en cette fin d’année ! Outre la sortie imminente de la dernière version 4.5 de son outil d’analyse statique avancée de code source et binaire CodeSonar, GrammaTech a conclu un important contrat de recherche avec l’US Navy portant sur la cybersécurité, et sorti une version spéciale de CodeSonar supportant le langage Objective-C, à destination des développeurs iOS.
Intégrez la cybersécurité au sein du cycle de vie de la voiture connectée
Un avion contient environ 6,5 millions de lignes de code source . Impressionnant, jusqu'à ce que vous réalisiez que l'automobile moderne, avec une moyenne de 20 millions de lignes de code, a battu l'avion trois fois ! Et à l’heure de la voiture connectée et autonome, la question de la cybersécurité de cette masse conséquente de logiciel devient le sujet primordial de toute la filière.
ITTIA DB SQL vs SQL LITE : Faire le bon choix !
Avec une demande toujours plus forte d’IHM sophistiquées, de connectivité ou encore d’interopérabilité, les applications embarquées modernes traitent de plus en plus de données. Le challenge pour tout concepteur de systèmes connectés est d’assurer la sécurité de ces données.
La Suite TestBed de LDRA améliorée pour le support de l’ISO 26262
LDRA, expert en qualité logiciel dans les domaines de la sûreté fonctionnelle, de la sécurité et de la conformité aux normes, a introduit une version améliorée de la suite d'outils TestBed pour l'automobile.
LDRA supporte les nouvelles règles de codage MISRA dédiées à la sécurité des logiciels
Avec une connectivité accrue des systèmes, les industriels exigent que les logiciels soient développés avec les plus hauts standards en matière de sécurité. Pour aider les concepteurs à se préserver de nouveaux risques et créer un code à la fois sûr et sécurisé, le consortium MISRA a publié un Amendement des règles MISRA C:2012 intégrant plusieurs nouvelles règles dédiées anti vulnérabilité du logiciel, que LDRA a immédiatement incorporé dans ses outils d’analyse statique.
Nouveautés de CodeSonar 4.2 : gestion d’accès, MISRA et sécurité
Dans cette nouvelle version de son outil CodeSonar de détection de bugs, d’erreurs « RUNTIME » et de vulnérabilité logicielles, GrammaTech met la priorité sur l’amélioration des détections de violation en regard des standards de règles de codage MISRA, ainsi qu’à la mise en place d’une gestion d’accès et de rôle dans l’interface de visualisation des résultats.