Pratique de la norme MISRA C

Magazine
Marque
GNU/Linux Magazine
Numéro
189
Mois de parution
janvier 2016
Domaines


Résumé
La plupart d'entre nous (moi le premier) ontécrit leur premier programme en vadrouille ; l'essentiel était de faire que le programme fonctionne. Avec le temps on a appris à écrire des commentaires même si on savait depuis le début que ça existe. Nous allons voir dans les lignes qui suivent qu'il existe plusieurs règles de codage qui permettent de rendre le code plus compréhensible, organisé et sûr; la norme MISRA C s'inscrit dans cette optique et est spécialement dédiée aux systèmes critiques.

La première chose qu'il faut savoir lorsqu'on démarre un projet ayant des problématiques de sûreté de fonctionnement c'est qu'on sera soumis à des règles strictes lors de la programmation. À tel point qu'il devient parfois plus difficile de respecter les règles que de se concentrer sur les fonctionnalités du code même. La norme MISRA C rassemble des règles bien expliquées et facilement compréhensibles pour les développeurs habitués. La conformité d'un code par rapport à MISRA C est considérée à ce jour comme une caractéristique de sûreté de fonctionnement non négligeable. Nous allons présenter dans ce qui suit l'historique de cette fameuse norme dont vous avez sûrement déjà entendu parler ; nous décrirons également ses objectifs et une méthodologie de mise en pratique.

1. Petit historique

1.1 Naissance du C

Dans les années 60, les programmeurs utilisaient généralement le langage assembleur, très proche de la machine. Seulement, pour réaliser une...

Cet article est réservé aux abonnés. Il vous reste 93% à découvrir.
à partir de 21,65€ HT/mois/lecteur pour un accès 5 lecteurs à toute la plateforme
J'en profite


Articles qui pourraient vous intéresser...

Les mécanismes « exotiques » de Python

Magazine
Marque
GNU/Linux Magazine
Numéro
249
Mois de parution
juin 2021
Domaines
Résumé

Certains mécanismes de Python sont méconnus, peu utilisés. Ce n’est pas pour autant qu’ils sont inutiles, loin de là ! Dans cet article, nous allons faire un tour de quelques-unes de ces structures sous-employées.

Flutter 2 : l’alternative professionnelle

Magazine
Marque
GNU/Linux Magazine
Numéro
249
Mois de parution
juin 2021
Domaines
Résumé

Le 3 mars 2021, Google annonce Flutter 2 dans le premier événement « Flutter Engage ». La target Web/PWA devient stable et les targets desktop deviennent bêta avec une preview sur stable. Du côté Dart, la null safety devient la norme. Pendant ce temps, « Courses » se structure, adopte MVVM et devient non nullable !

Pas de bras, mais quand même du chocolat : l'ère des assistants vocaux

Magazine
Marque
GNU/Linux Magazine
Numéro
249
Mois de parution
juin 2021
Domaines
Résumé

Nos interactions avec les ordinateurs (et autres smartphones) sont dignes du Moyen Âge. Qu'est-ce qui a réellement changé en la matière, ces 50 dernières années ? Rien : nous avons juste remplacé notre bon vieux clavier mécanique par un clavier virtuel, la belle affaire ! Pourtant, nous pouvons faire mieux, et nous devons faire mieux : bienvenue dans l'ère des assistants vocaux virtuels ! Nous allons découvrir ensemble ce qu'ils sont, et créer notre première application vocale.

Écrire des mathématiques en LaTeX

Magazine
Marque
GNU/Linux Magazine
HS n°
Numéro
114
Mois de parution
mai 2021
Domaines
Résumé

S’il y a bien un domaine dans lequel excelle LaTeX, c’est l’écriture de formules mathématiques complexes et autres algorithmes. Une fois que l’on connaît et que l’on comprend la syntaxe, c’est très simple… encore faut-il avoir vu cela au moins une fois !