Zut ! Encore un plantage !!! Combien de fois n’avez vous pas prononcé cette phrase, face au blocage d’une application de bureautique bien connue ou face à un crash système ? Sur un ordinateur de bureau, ce type de désagrément n’a d’autre effet que de faire monter votre niveau d’énervement, mais dans le cas d’un système embarqué, les effets sont bien plus graves. Heureusement, Cppcheck est là pour vous aider.
Les langages C et C++ sont les langages les plus utilisés, et de loin, dans les systèmes embarqués. Il s’agit également de langages très permissifs et faiblement typés. Pour ces deux raisons, ils constituent la cible principale du consortium MISRA.
MISRA a eu comme objectif de donner naissance à un ensemble de recommandations et de règles de codage pour ces deux langages. Le résultat de ces travaux est décliné sous la forme de standards de règles de codage, les standards MISRA C et MISRA C++.
1. MISRA
1.1 Niveau de robustesse
Les règles MISRA ont pour finalité d’obtenir un code plus robuste. Le niveau de robustesse est donné par l’indicateur SIL (Safety Integrity Level), qui fournit un niveau relatif de réduction des risques attendus. Les recommandations MISRA ont pour objectif d’atteindre un niveau de sûreté SIL au moins égal à 2, sur une échelle qui en comporte 4. La page Wikipédia de SIL [1] résume bien cet indicateur.
Cet article est réservé aux abonnés. Il vous reste 96% à découvrir.
S'abonner à Connect
Déjà abonné ? Connectez-vous
Par le(s) même(s) auteur(s)Les derniers articles PremiumsLes derniers articles PremiumUtilisation avancée de SQLPageMagazine
Marque
Contenu Premium
Résumé
Poursuivons notre découverte de SQLPage en explorant certaines de ses fonctionnalités avancées qui sont généralement indispensables à tous sites ou applications. Dans cet article, nous allons parler de PostgreSQL, d’authentification et de gestion des droits. Déployer un cluster AMQ Streams avec AnsibleMagazine
Marque
Contenu Premium
Spécialité(s)
Résumé
Automatiser entièrement le déploiement d’un cluster Red Hat AMQ Streams est possible… en utilisant Ansible et sa collection dédiée au produit. Démonstration par l’exemple. Bénéficiez de statistiques de fréquentations web légères et respectueuses avec Plausible AnalyticsMagazine
Marque
Contenu Premium
Spécialité(s)
Résumé
Pour être visible sur le Web, un site est indispensable, cela va de soi. Mais il est impossible d’en évaluer le succès, ni celui de ses améliorations, sans établir de statistiques de fréquentation : combien de visiteurs ? Combien de pages consultées ? Quel temps passé ? Comment savoir si le nouveau design plaît réellement ? Autant de questions auxquelles Plausible se propose de répondre. Quarkus : applications Java pour conteneursMagazine
Marque
Contenu Premium
Résumé
Initié par Red Hat, il y a quelques années le projet Quarkus a pris son envol et en est désormais à sa troisième version majeure. Il propose un cadre d’exécution pour une application de Java radicalement différente, où son exécution ultra optimisée en fait un parfait candidat pour le déploiement sur des conteneurs tels que ceux de Docker ou Podman. Quarkus va même encore plus loin, en permettant de transformer l’application Java en un exécutable natif ! Voici une rapide introduction, par la pratique, à cet incroyable framework, qui nous offrira l’opportunité d’illustrer également sa facilité de prise en main. Les listes de lecture9 article(s) - ajoutée le 01/07/2020
Vous désirez apprendre le langage Python, mais ne savez pas trop par où commencer ? Cette liste de lecture vous permettra de faire vos premiers pas en découvrant l'écosystème de Python et en écrivant de petits scripts.
11 article(s) - ajoutée le 01/07/2020
La base de tout programme effectuant une tâche un tant soit peu complexe est un algorithme, une méthode permettant de manipuler des données pour obtenir un résultat attendu. Dans cette liste, vous pourrez découvrir quelques spécimens d'algorithmes.
10 article(s) - ajoutée le 01/07/2020
À quoi bon se targuer de posséder des pétaoctets de données si l'on est incapable d'analyser ces dernières ? Cette liste vous aidera à "faire parler" vos données.
Abonnez-vous maintenant
Ajouter à une liste de lecture
|