2PetitsVerres a écrit 3139 commentaires

  • # Mon avis (insignifiant)

    Posté par  (Mastodon) . En réponse à la dépêche Bogues de logiciel et bogues de management : 737 Max et autres catastrophes. Évalué à 5.

    J'ai un avis personnel sur la classification "Ariane 501 : Software ou système ?" si je peux appeler ça comme ça. Et je pense qu'une partie peut s'appliquer au cas Boeing.

    Si il y a des erreurs logicielles indéniables (pourquoi certaines conversions sont protégées et d'autre non par exemple), pour moi la cause élémentaire est système. C'est le système qui décide de réutiliser des parties, c'est le système qui décide de se passer de certains tests. Normalement, c'est aussi l'analyse système qui doit décider des exigences systèmes qui sont affinées en exigences logicielles, et la revue d'exigences en passant d'une version d'un produit à un autre aurait dû voir ce problème.

    Ça ne veut pas dire que les ingénieurs logiciels n'auraient rien dû voir, ou rien dû dire, s'ils en ont eu l'opportunité (le problème, c'est que si je comprends bien l'histoire, le logiciel de l'ordinateur de bord a été changé, mais pas vraiment celui des centrales inertielles, donc c'est à l'interface entre deux logiciels que le problème a lieu, difficile à voir si ce sont des équipes indépendantes. Encore une fois, c'est de l'intégration système.) Mais de façon générale, si un développeur (ou une équipe, ou un intégrateur) voit un problème potentiel, il doit être remonté. La DO-178C/ED-12C (pas applicable pour Ariane 5, déjà elle n'existait pas en 1996, et c'est plutôt un truc d'aéronautique que d'aérospatial) dit par exemple :

    2.2.2 Information Flow from Software Processes to System Processes

    The software life cycle processes analyze the system requirements allocated to software as part of the software requirements process. If such an analysis identifies any system requirements as inadequate or incorrect, the software life cycle processes should capture the issues and refer them to the system processes for resolution. Furthermore, as the software design and implementation evolves, details are added and modifications made that may affect system safety assessment and system requirements.

    C'est le process système qui est responsable de ce niveau là, mais il est de la responsabilité des autres équipes (par exemple logicielles) de faire savoir qu'un problème potentiel peut avoir lieu. Si votre rôle c'est de faire le logiciel, et que l'exigence dit un truc absurde, ou vague, ou étrange, ou qui semble anormal, il faut remonter l'information.

    (Et c'est là que si j'ai bien compris, mais à prendre avec précaution, dans l'histoire de l'avion, une partie du logiciel est externalisée, et faite par des gens qui font du logiciel, mais qui n'ont peut-être pas une compréhension du système, et qu'ils ont peut-être moins de poids quand ils remontent ce genre d'information. Le logiciel ne devrait pas juste être là pour implémenter les exigences, il doit/devrait pouvoir les critiquer)

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Complément sur le Vasa

    Posté par  (Mastodon) . En réponse à la dépêche Bogues de logiciel et bogues de management : 737 Max et autres catastrophes. Évalué à 4.

    Je vais allez dans le sens de tout le monde, mais je confirme ce que tu dis, si vous êtes à Stockholm et que vous avez un peu de temps, c'est certainement un truc à faire.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Le bug idiot qui m'a pris la tête pendant 15 jours

    Posté par  (Mastodon) . En réponse à la dépêche Bogues de logiciel et bogues de management : 737 Max et autres catastrophes. Évalué à 4.

    langage de type Matlab

    Ah, je vois l'erreur, en MATLAB quand on fait une "division", ce qui se passe derrière n'est pas simplement "a/b", mais une résolution d'un système d'équation ! Comme ceci :

    Division en MATLAB

    Comment, c'était pas ça ? (En vrai, c'est un joli bug :-p )

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: C'était mieux à vent

    Posté par  (Mastodon) . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 10.

    Via update des CRLs à chaque révision au garage

    Ah, encore une façon de restreindre le choix du garage à ceux qui payent leur redevance annuelle, ça manquait.

    Toutes les voitures avec un support Bluetooth Smartphone sont indirectement connectées de nos jours

    Les constructeurs auto ne sont pas nécessairement très bon en sécurité, mais si tu leur proposes de connecter un système comme l'autoradio (qui est probablement QM) à un système qui est d'un niveau plus élevé (je ne sais pas comment marche le système de verrouillage et tout ça, mais une voiture aux portes verrouillés peut être un problème pour évacuer les gens en cas d'accident, du coup c'est certainement un ASIL x) il vont faire la gueule, parce que ça veut dire plus de boulot pour s'assurer de l'intégrité des données, etc.

    En plus pouvoir briquer les voitures à distance en passant par un smartphone, il y a des gens qui vont aimer essayer (et pas que des gens légitimes)

    Toutes les Tesla (ou Allemande haut de gamme) sont directement connectées pour leur système de géolocalisation.

    Oui. Et toutes les autres ? (celles dont je parles en disant "non connectées")

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Une question me taraude

    Posté par  (Mastodon) . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 10.

    Impossible de vérifier que c’est verrouillé puisque la distance pour ne pas activer le déverrouillage de proximité est plus grande que la longueur de mes deux bras

    Lance la clé en l'air, vérifie la porte, rattrape la clé.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Une question me taraude

    Posté par  (Mastodon) . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 3.

    Il suffit de retirer la serrure de la porte, et la porte s'ouvrira assez facilement. (bon, il y a des effets de bords minimes, tels que le fait qu'elle s'ouvrira pour n'importe qui)

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: C'était mieux à vent

    Posté par  (Mastodon) . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 8.

    La révocation des clés est un problème résolu dans l'informatique depuis 20 ans. Le fait que ça ne soit pas le cas dans le domaine automobile en dit déjà long sur les pratiques logiciels de certains constructeurs

    Comme fais-tu pour révoquer une clé dans une voiture non connectée ?

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: C'était mieux à vent

    Posté par  (Mastodon) . En réponse au journal Sécurité ouverture/démarrage des nouvelles voitures. Évalué à 10.

    j'arrive à la machine à café: je mets ma clef de paiement et je sais un code sur l'appli eCafé.

    Il y a une autre solution à ça, c'est le café gratuit.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • # Pareil

    Posté par  (Mastodon) . En réponse au journal Quelles sont vos motivations au travail ?. Évalué à 8.

    Je pense que les points me correspondent plutôt bien. J'ai bossé une dizaine d'années dans le développement et la validation de logiciels embarqués sur des satellites (avec des petits détours par les opérations et un peu de lois de contrôle), mais au bout de 10 ans, j'ai eu envie de changer parce que

    1. J'avais l'impression d'avoir fait le tour du sujet (plus beaucoup de gain en maitrise)
    2. Les satellites sur lesquels je bossais, c'était principalement de la telecom (en gros, ça faisait passer des données qui viennent de la terre, principalement de la télé, au final), rarement sur des trucs qui font avancer la science (mais ça existe aussi, ce n'était juste pas mes projets) Ca n'avait pas forcément beaucoup de sens, ça ne fait pas progresser grand monde

    Du coup vu ces deux points qui étaient devenus négatifs, j'ai changé. Je bosse maintenant pour un éditeur de logiciel (proprio), mais je ne développe plus. Je donne des formations, un truc que je n'avais jamais fait avant, et c'est sympa d'apprendre à faire ça (maitrise) En plus en salle de formation, j'ai un plan de formation, des contenu qui existe et que je suis sensé donnée, mais en fonction des gens que j'ai en face de moi, je peux m'adapter, je suis plutôt libre de faire ce que je veux, tant qu'à la fin les gens maitrisent ce qu'ils sont venus chercher (donc pas mal d'autonomie) (J'ai l'objectif caché d'ouvrir au moins un bug report sur chacun des 100+ produits qu'on vend, mais sans compter les trucs genre imprécisions ou fautes de frappe dans la documentation, sinon c'est trop simple)

    En terme de maitrise, je pense que je ne pourrais jamais maitriser l'ensemble des produits qu'on développe et vend. Ca va de la finance à la bio informatique, en passant par la simulation et modélisation de système de toute sortes, la génération de code C/C++/HDL/Cuda à partir de ces modèles pour l'embarquer dans des trucs genre satellites ou voiture ou autre, et si je sais que je n'aurai pas la possibilité de les maitriser tous, j'ai pas vraiment de personnes qui me disent de ne pas essayer (tant que je remplis les vrais objectifs du boulot)

    En terme de sens, je pense que ça en a aussi, comme on peut avoir des clients dans plein de secteurs différents, dont certains positifs (recherche médicale, énergies renouvelables, …) et d'autres négatifs (Par exemple énergie fossile ou missiliers, …) Mais je vais garder les positifs :p

    Et puis pour les relations avec des gens, c'est pas mal non plus, que ça soit dans l'entreprise ou chez les clients, il y a plein de gens intéressants. Du coup mon boulot est plutôt motivant. Par contre c'est assez différent maintenant que tout ce fait à distance plutôt que physiquement (pour les gens du bureau, ça nous à un peu éloigné, par contre ça m'a donnée plus de contacts avec des gens ailleurs dans le monde, finalement)

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Le masque ne sert à rien

    Posté par  (Mastodon) . En réponse au journal Le masque obligatoire une fausse bonne idée ?. Évalué à -2.

    et qui n'en sont pas à leur première épidémie ne savent pas que c'est utile de porter des masques ?

    Une épidémie n'est pas l'autre. Par exemple, pour se protéger du SIDA, un masque n'est pas efficace.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Contexte

    Posté par  (Mastodon) . En réponse au journal Transition ARM : Apple assistera certains projet open source. Évalué à 5.

    on peut imaginer que le coup de pouce vise l'optimisation.

    Je n'en suis pas sûr à 100%, mais à mon avis il y a aussi un deuxième sujet : le don/prêt/prix réduits de machines. Parce que pour tester son code sur une plateforme, c'est plus simple d'avoir accès à cette plateforme.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Enfin des appels d'offres équitables en France ?

    Posté par  (Mastodon) . En réponse à la dépêche Le Parlement européen adopte la préférence pour le logiciel libre pour les institutions de l’UE. Évalué à 4.

    Les lobbies de Microsoft ne vont pas être contents

    Je ne suis pas sûr que Microsoft développe spécifiquement des logiciels pour les institutions de l'union européenne. Et j'ai bien l'impression que Windows, ou Office, par exemple, ne rentrent pas dans la catégorie telle que définie par cette phrase.

    toutes les solutions informatiques développées par et pour les institutions de l’UE

    Ce n'est clairement pas développé par une institution de l'UE, et ce n'est pas non plus développé pour eux, c'est un "produit informatique standard" (apparemment c'est un mot qui existe pour traduire COTS. C'est plus joli que "sur étagère")

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Pourquoi le pistage ?

    Posté par  (Mastodon) . En réponse au journal Covid 19 - un traçage organisé par le monde du libre ?. Évalué à 1.

    Pour information si vous n'êtes pas francophone de naissance « encor » s'écrit en français : encore. De même, « Français » en parlant de la langue, s'écrit avec une minuscule. Et enfin, il faut insérer une espace insécable après un guillemet ouvrant et avant un fermant.

    Une autre possibilité est de ne pas s'emmerder à corriger les gens qui ont le droit de s'exprimer comme ils veulent.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • # Opposition

    Posté par  (Mastodon) . En réponse au journal Les girouettes. Évalué à 8.

    Pour citer un type qui n'est pas de l'opposition, et qui est censé représenter une autorité dans le pays :

    Dans ce contexte, j'ai interrogé les scientifiques sur nos élections municipales, dont le premier tour se tiendra dans quelques jours. Ils considèrent que rien ne s'oppose à ce que les Français, même les plus vulnérables, se rendent aux urnes

    Si le président explique à l'ensemble des français que "les scientifiques" expliquent que rien ne s'oppose aux élections, dans quelle mesure, sur quels leviers, l'opposition pourrait-elle demander un report des élections ? Et si le président a décidé de ne pas reporter les élections à cause de la pression de l'opposition, pourquoi ment-il en expliquant aux français que c'est parce que "les scientifiques" lui ont dit que ça ne posait pas de problèmes ?

    Si c'est de la faute de l'opposition après le premier tour, mais pas avant le première tour, ce n'est pas très logique.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • # ou pas

    Posté par  (Mastodon) . En réponse au journal Rappel : Si vous essayez de modéliser l'épidémie de Covid-19 et que votre modèle est dérivable …. Évalué à 4.

    il va vous falloir deux fonctions: une pour avant le confinement et une pour après

    Pas vraiment. Comme pour tout problème dynamique, on a probablement

    X_(k+1) = f(X_k, u_k, perturbation_k);
    y(k) = g(X_k, u_k, bruit_k);
    f et g peuvent rester identique, par contre c'est u_k qui va changer de forme entre avant et après le confinement.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • # des 20 dernières années

    Posté par  (Mastodon) . En réponse au journal Mon Top 5 des inventions geeks des 20 dernières années. Évalué à 2.

    Il y a un problème de date, on est dans les années 20 maintenant.

    La clé USB, ça passe (juste, si on considère les choses dispo commercialement)

    Flash drives were sold initially by Trek 2000 International, a company in Singapore, which began selling in early 2000

    L'écran LCD, pas vraiment. Les cristaux liquides ont été découverts/utilisé au 19e siècle, mais si on se limite aux écrans style télé/pc, on peut en trouver trace au 20e siècle, largement. Par exemple :

    Sharp demonstrated a 14-inch, active-matrix, full-color, full-motion TFT-LCD. This led to Japan launching an LCD industry, which developed large-size LCDs, including TFT computer monitors and LCD televisions

    Le GPS, c'est assez vieux. Le premier lancement de satellite date de 1978, je ne suis pas sûr de la date de mise en service de la constellation, mais c'était peu après, probablement. Quand aux récepteurs GPS grand public, je suis presque sûr qu'ils datent d'avant 2000.

    La TNT, en France, peut-être, mais d'une façon générale, c'est un poil plus vieux que 20 ans :

    The United Kingdom (1998), Sweden (1999) and Spain (2000) were the first to launch DTT with platforms heavily reliant on pay television

    La souris optique, la version moderne a 21 ans.

    The first commercially available, modern optical computer mice were the Microsoft IntelliMouse with IntelliEye and IntelliMouse Explorer, introduced in 1999 using technology developed by Hewlett-Packard

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Satoshi

    Posté par  (Mastodon) . En réponse au journal [IDIOTIE] Proposition d'amélioration de bitcoin. Évalué à 3.

    Si le bouffon à la base de la fausse tentative de chantage fait ça bien, il y aura une adresse de payement par destinataires, et donc envoyer un message sur cette adresse prouvera au moins que son email est arrivé à un destinataire actif. Je ne suis pas sûr que ça soit un information qu'on ait envie de transmettre à un spammeur.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Au sujet du terme ingénieur...

    Posté par  (Mastodon) . En réponse au journal Partage d’expérience : comment je suis devenu ingénieur diplômé par l’État à 44 ans. Évalué à 4.

    C'est ingénieur qui est protégé en Belgique, ou ingénieur civil et ingénieur industriel ? Parce que je ne pense pas qu'il existe de titre/diplôme d'ingénieur "tout court". (cela dit c'est possible qu'il y ait un truc qui dise qu'on ne puisse se dire "ingénieur" que s'il on est l'un ou l'autre)

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: lisibilité ... et enseignement

    Posté par  (Mastodon) . En réponse à la dépêche Python pour la rentrée 2019 — partie 1 ― Popularité. Évalué à 0. Dernière modification le 05 septembre 2019 à 20:19.

    le jour ou le meme piratage se fait au sein d'une entite commerciale, il y a immediatement une demande de "régulation" des licences

    Là en lisant ça j'essaye de calculer le montant de mon bonus si c'était vrai.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Avantages de l'ASIC

    Posté par  (Mastodon) . En réponse à la dépêche Un ASIC conçu intégralement avec des logiciels libres. Évalué à 9.

    Tout à fait. Un FPGA, c'est relativement cher pour chaque unité. Un ASIC, c'est extrêmement cher pour la première unité (il faut créer un masque. Et si on si plante, recommencer, et repayer) mais sur le volume, ça peut devenir plus rentable. Autrement dit, le coût marginal d'un ASIC (un chip) est plus faible que celui d'un FPGA.

    Il y a aussi d'autre avantages (si je ne me trompe pas), c'est qu'un ASIC peut être plus performant ( en consommation d'énergie par calcul par exemple) qu'un FPGA qui ferait les mêmes calculs.

    Note : ce n'est pas mon domaine, mais ce que j'ai compris. N'hésitez pas à corriger si j'ai tort.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Faudrait quand même se renseigner....

    Posté par  (Mastodon) . En réponse au journal 33 listes, est ce raisonnable ?. Évalué à 3.

    Ce n'est pas lui qui mélange, c'est l'auteur de ce journal, qui a dit :

    Les élections Européennes se font au suffrage majoritaire

    Les votes des députés ne sont pas des élections, donc ça ne peut pas être de ça dont l'auteur parlait.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Une analyse intéressante...

    Posté par  (Mastodon) . En réponse au journal 33 listes, est ce raisonnable ?. Évalué à 2.

    Non seulement le parlement européen a un pouvoir de censure sur la commission, mais il doit également approuver le choix du président et la composition de cette commission. (le conseil propose un président, le parlement approuve ce choix ou non, ensuite le président compose la commission, et une fois que c'est fait, le parlement doit approuver la composition)

    Du coup comme tu le dis, les gens qui disent "le parlement n'a pas de vrai pouvoir, c'est plutôt la commission et le conseil", c'est étrange, vu que la commission dépend entièrement de l'approbation du parlement.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • # Le test

    Posté par  (Mastodon) . En réponse au sondage De quelle pratique de développement avez‐vous honte ?. Évalué à 7.

    tester, c’est douter

    Les tests ne servent qu'aux gens qui font des erreurs. Pour tous les autres, les tests ne servent à rien.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • [^] # Re: Indenter avec des espaces

    Posté par  (Mastodon) . En réponse au sondage De quelle pratique de développement avez‐vous honte ?. Évalué à 7.

    Les gens qui utilisent des espaces sont mieux payés, en tout cas.

    Du coup ils devraient avoir honte d'être vénaux, effectivement.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.

  • # Je me demande

    Posté par  (Mastodon) . En réponse au journal 6 avril 2019 : C'est le 2e GPS Week Number Rollover. Évalué à 8.

    Dans une autre vie (wow quand j'y pense, je deviens vieux :-D ) j'ai bossé sur des satellites qui utilisaient un récepteur GPS pour déterminer leur orbite. Et aussi pour recaler l'heure de bord. Je me rappelais que l'epoch démarrait au 6 janvier 80, pour avoir du calculer des temps basés là dessus, mais pas qu'il y avait eu un rollover (pourtant c'était bien après 1999 quand même) (je dialoguais avec un récepteur GPS intelligent, c'est peut-être lui qui corrigeait déjà ça)

    Du coup je me demande à quel point ça va lancer des alarmes en avril dans les centres de contrôle. (pour avoir bossé un peu dans le domaine, j'imagine que ça va faire plein de problèmes, mais surtout des faux positifs sur des équipement sols). C'était amusant de voir le passage au 31 décembre des années bissextiles (compteur de jour dans l'année qui arrive à 366) ou lors des secondes intercalaires (la seconde 60, en dehors de l'interval [0,59])

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.