- ARTICLE INTERACTIF
|- 10 août 2024
|- Réf : BM5207
Cet article s’intéresse à la modélisation et à la simulation du comportement d’équipements embarqués à bord de navires lorsqu’ils sont soumis aux effets d’une explosion sous-marine. Il présente les principes théoriques d’une méthode polyvalente permettant de calculer efficacement (en termes numériques) et précisément (en termes physiques) leur dynamique à cette sollicitation. La méthode peut répondre à des besoins des ingénieurs de l’industrie afin de produire des données utiles à la conception de navires.
- ARTICLE INTERACTIF
|- 10 mars 2024
|- Réf : H8061
Cet article s’intéresse à l'amélioration de la qualité et de la fiabilité du développement de logiciels critiques en avionique, et vise une meilleure intégration plus agile des exigences de certification dans cette démarche. Il propose pour cela un cadre méthodologique, en démontre la conformité aux exigences des normes de certification et suggère un outillage support basé sur des solutions open source et sur étagère pour mettre en œuvre les propositions.
- ARTICLE INTERACTIF
|- 10 oct. 2024
|- Réf : H8280
Les systèmes embarqués sont omniprésents dans nos sociétés modernes. Ils sont complexes car ils regroupent des fonctionnalités logicielles pointues, des ressources matérielles intégrées très hétérogènes telles que les systèmes-sur-puce et de plus en plus souvent des capacités de communication. De plus leur conception est fortement contrainte pour permettre la meilleure intégration dans le système hôte (voiture, avion, électroménager, etc.). Cet article traite de la sécurité des systèmes embarqués qui font face à de nombreuses menaces logicielles, matérielles et mixtes. Il présente les grands principes des attaques logicielles et physiques pour permettre au lecteur d’appréhender les principales stratégies de protection.
- Article de bases documentaires : FICHE PRATIQUE
- |
- 18 mars 2012
- |
- Réf : 0673
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.
