De nombreux secteurs utilisent des systèmes et des logiciels critiques, dont les défaillances pourraient entraîner des pertes de vies humaines. Cet article s’intéresse au développement et à la certification des logiciels critiques, avec une illustration dans le domaine de l’aéronautique. Il souligne les difficultés rencontrées en entreprise et l’état des pratiques pour mettre en perspective quelques pistes d’améliorations possibles de celles-ci. Il démontre notamment l’intérêt d’intégrer plus étroitement et de façon continue les contraintes de la certification au processus de développement des logiciels. Notre proposition est de nous inspirer des valeurs agiles pour répondre le plus tôt possible aux exigences de certification applicables au développement des logiciels. C’est ce que nous appelons la certification continue.
Cet article présente un ensemble d’outils génériques en dynamique des systèmes multicorps consacrés à l’étude de la locomotion bio-inspirée. Partant d’exemples empruntés à la nature et la robotique, nous poserons un problème général de locomotion dont la résolution nous permettra d’installer progressivement un cadre géométrique unifié dédié à ce problème. Pour cela, nous partirons du modèle des systèmes multicorps mobiles discrets, que nous étendrons progressivement au cas des systèmes continus puis mous. Nous aborderons également le problème pratique de l’implémentation efficace de ces modèles en proposant une approche basée sur la méthode de Newton-Euler, illustrée par quelques exemples liés à la reptation, la natation et le vol.
S’il existe des protocoles comme Multipath TCP permettant d’établir des connexions TCP sur des chemins multiples, la capacité de pouvoir optimiser l’usage des ressources pour établir une session UDP sur des chemins multiples s’est longtemps heurtée aux limites du protocole UDP. Cet article explore des solutions pour établir des sessions UDP sur des chemins multiples tout en préservant la simplicité d’un mode de transport sans connexion. En outre, cet article décrit des solutions permettant l’établissement d’une communication QUIC sur des chemins multiples afin d’en améliorer la robustesse et la performance. Ces différentes solutions redonnent aux opérateurs le contrôle de certaines fonctions tout en améliorant le niveau de qualité de service tel que perçu par l’utilisateur final.
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.
Ce qui caractérise un développement informatique, c’est que le produit créé est nouveau. Il n’y a pas de moule, de production en chaîne, de recette simple à suivre. Depuis plus de quinze ans, les méthodes agiles ont été créées puis perfectionnées afin de maîtriser ce processus créatif et d’arriver à un produit en parfait accord avec le besoin des utilisateurs.
Mais l’informatique n’est pas le seul domaine où le produit final est nouveau. On a les mêmes contraintes dans la recherche et les productions intellectuelles en général, dans les arts et certaines productions artisanales. Dans tous ces domaines, il est possible de bénéficier des années de recherche et de perfectionnement apportées aux méthodes agiles, et plus particulièrement à Scrum, dès lors que l’on garde en tête les principes mis en évidence.
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 :
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
SUIVEZ-NOUS
