Le logiciel libre et Linux, son noyau emblématique, se sont démocratisés et il n'est pas un projet informatique dans lequel il ne faille pas considérer une solution à base de logiciels libres. C'est pourquoi cet article fait un tour de l'écosystème du logiciel libre, en listant les principaux logiciels disponibles dans chaque domaine, en comparant les différentes distributions Linux, en donnant les bases nécessaires pour tester Debian GNU/Linux. Il met en avant ce qui fait la particularité du développement de logiciels libres. Avec ces éléments, vous pourrez mieux cerner si le logiciel libre peut répondre à vos besoins. Mais avant cela, cet article débute par une présentation du noyau Linux, de ses fonctionnalités et de son modèle de développement.
Les systèmes à haut niveau de sécurité, de type embarqués ou de contrôle-commande, sont présents dans tous les secteurs d’activité. Leur sécurité fonctionnelle doit les protéger contre des dangers liés aux défaillances du matériel ou du logiciel, ou aux erreurs humaines involontaires. L’analyse de risques permet de déterminer la criticité du système pour chacun de ces dangers. La diversité des systèmes programmés impose l’utilisation de techniques spécifiques pour construire leur sûreté de fonctionnement. Cet article présente les méthodes d’AMDEC, de quantification de fiabilité et d’étude du facteur humain utilisées pour analyser la sécurité des systèmes programmés. Un panorama des principales normes employées par secteur d’activité et un résumé des pratiques industrielles en vigueur est donné.
Depuis le développement de la première application ferroviaire à base de logiciel, nommée SACEM, les méthodes formelles ont été largement utilisées et mises en œuvre par des industriels à différents niveaux (spécification, conception, code) et pour différents types d’applications (métros automatiques, sous-systèmes de signalisation, applications trains développées avec ControlBuild par exemple). La norme CENELEC 50128 dédiée à la réalisation des applications logicielles pointe l’intérêt de mettre en œuvre des méthodes formelles. Cet article présente le processus de développement des applications logicielles tel que mis en œuvre dans le domaine ferroviaire, et les évolutions induites par la mise en œuvre des méthodes formelles.
Vous êtes l’auteur de produits ou de services innovants ou vous êtes responsable d’une entreprise ou d’un service dont sont issus des produits ou des services innovants, notamment dans l’économie de l’immatériel.
Vous voulez savoir :
Dans un système mécatronique embarqué, comment garantir que la loi de commande que vous développez répond bien aux exigences ? Son développement ne doit pas consister uniquement à concevoir la loi de commande ou la stratégie de contrôle commande, mais également à valider par simulation son fonctionnement avant son codage et son intégration dans la cible réelle.
La validation par simulation permet non seulement de vérifier le respect des exigences du client, mais également de vérifier le bon fonctionnement de la loi de commande avec les contraintes souvent fortes liées au logiciel embarqué, telles que la discrétisation du processus et la précision des calculs de la loi de commande.
Cette fiche décrit les étapes à suivre pour concevoir une telle loi de commande.
Vous souhaitez mettre en œuvre des pratiques « agiles » au sein de vos équipes de développement informatique pour améliorer la collaboration entre les membres de l’équipe projet et mieux satisfaire les attentes de vos clients. De nouvelles approches de management de projets informatiques, classées sous le qualificatif « agile », ont été développées et se sont progressivement diffusées au niveau des industries de logiciels.
Vous voulez savoir comment ces formes innovantes de management de projet permettraient de répondre à vos enjeux stratégiques, et par conséquent :
Méthodes, outils, pilotage et cas d'étude
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
SUIVEZ-NOUS
