AdaCore annonce la réussite du projet Hi-Lite
Ce projet Open Source facilite le développement de logiciels critiques en associant méthodes formelles et tests.
RECHERCHEZ parmi plus de 10 000 articles de référence ou pratiques et 4 000 articles d'actualité
PAR DOMAINE D'EXPERTISE
PAR SECTEUR INDUSTRIEL
PAR MOTS-CLES
NAVIGUER DANS LA
CARTOGRAPHIE INTERACTIVE
DÉCOUVREZ toute l'actualité, la veille technologique GRATUITE, les études de cas et les événements de chaque secteur de l'industrie.
DO-178 C... HILDERMAN (V.), BAGHI (T.) - Avionics Certification : A Complete Guide to DO-178 (Software), DO-254... (Hardware) . HILDERMAN (V.) - DO-178B Costs Versus Benefits. HighRely , . La certification est souvent... ’exemple, l’IEC 61508 répond aux attentes du domaine électronique industriel, la norme DO-178C /ED12C s’applique...
Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !
à une certification (exemple le plus significatif : la DO 178B et maintenant la DO 178C pour l'aéronautique civile... qualité et génie logiciel classiques. Aéronautique DO-178B/ED-12B : Considérations sur le logiciel... ; les critères d'arrêt des tests ; la formalisation de la documentation requise. La DO 178B ne traite... . Un document ayant lui aussi sa propre référence DO (DO 248 Final Report for clarification of DO 178B) fournit...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
que si les outils utilisés respectent eux aussi certains objectifs. La norme DO 178 – version B introduisait... , il y avait une demande de qualification des compilateurs, sans vraiment indiquer ce qui était attendu. DO 178... Version B Dans la version B, la norme DO 178 traite de la nécessité de mettre en place une qualification... des outils (§ 12.2). La norme DO 178 rend nécessaire la qualification des outils si le processus identifié...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
Lorsque la taille et la complexité du logiciel embarqué augmentent, il est nécessaire de structurer son développement. La méthode proposée consiste à réduire la complexité du système en sous-systèmes plus simples à concevoir.
Organiser le développement d’un logiciel embarqué par le principe de la décomposition en cycle en V permet d’aboutir par étapes successives à une description détaillée du logiciel à concevoir à partir d’une description abstraite de l’application à réaliser. De la même manière, le test du logiciel est réalisé par étapes pour terminer par un test final de l’application complète.
Cette fiche décrit les étapes à suivre pour mettre en œuvre le cycle en V.
Un outil incontournable pour comprendre, agir et choisir- Nouveauté !
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
Automatique - Robotique | Biomédical - Pharma | Construction et travaux publics | Électronique - Photonique | Énergies | Environnement - Sécurité | Génie industriel | Ingénierie des transports | Innovation | Matériaux | Mécanique | Mesures - Analyses | Procédés chimie - bio - agro | Sciences fondamentales | Technologies de l'information
ACCUEIL | A PROPOS | ANNUAIRE AUTEURS | EXPERTS SCIENTIFIQUES | PUBLICITÉ | PLAN DU SITE | MENTIONS LÉGALES | RGPD | COOKIES | AIDE & FAQ | CONTACT
PAIEMENT
SÉCURISÉ
OUVERTURE RAPIDE
DE VOS DROITS
ASSISTANCE TÉLÉPHONIQUE
+33 (0)1 53 35 20 20