Qualité des logiciels industriels

que des personnes et des biens. Comme exemple grand public, le logiciel Socrate de la SNCF, dont la mise en œuvre... du logiciel laisse entendre que la qualité coûte trop cher, retarde le développement, … et la décision... , développant des logiciels sécuritaires comme l’aéronautique par exemple, ont depuis longtemps mis en place... et dans un souci de normalisation, il paraît plus simple de prendre le cycle de vie du logiciel et de passer...

• Ressources documentaires
>
• Automatique - Robotique
>
• Automatique et ingénierie système
>
• Supervision des systèmes industriels

Améliorez la chaîne de production grâce aux derniers développements en automatique et ingénierie système.

• #Informatique (secteur)
• #Outil logiciel
• #Qualité
• #Management du système d'information
• #Norme
• #Essai

Validation des résultats des logiciels scientifiques - Approche stochastique

ainsi que des exemples d'utilisation du logiciel CADNA (logiciel permettant cette validation numérique... au chapitre 3. Le chapitre 4 est consacré à la description et à l'utilisation du logiciel CADNA (« Control of... Accuracy and Debugging of Numerical Algorithms »). Ce logiciel met en œuvre la méthode CESTAC... et l'arithmétique stochastique discrète. Les chapitres 5 et 6 sont dédiés à l'apport du logiciel CADNA...

• Ressources documentaires
>
• Sciences fondamentales
>
• Mathématiques
>
• Méthodes numériques

Pour maîtriser les outils propres aux mathématiques pures et appliquées

• #Informatique (secteur)
• #Outil logiciel
• #Mathématique
• #Informatique (discipline)
• #Fiabilité
• #Erreur et incertitude (gestion de)

Validation des résultats des logiciels scientifiques - Problème des approximations arithmétiques

de la propagation des erreurs, à travers la méthode CESTAC, ainsi que l'apport du logiciel CADNA, seront étudiés... de la précision utilisée (simple ou double). D'après les auteurs, ce logiciel offre les possibilités suivantes... Les détails sur l'utilisation du logiciel PRECISE peuvent être trouvés dans  [14] . Arithmétique d... polynômiales, le calcul des éléments propres d'une matrice… D'autres logiciels utilisant l'arithmétique d...

• Ressources documentaires
>
• Sciences fondamentales
>
• Mathématiques
>
• Méthodes numériques

Pour maîtriser les outils propres aux mathématiques pures et appliquées

• #Informatique (secteur)
• #Outil logiciel
• #Mathématique
• #Informatique (discipline)
• #Erreur et incertitude (gestion de)

Comparer les logiciels de mind mapping

Réalisées en entreprise avec des logiciels spécialisés, les cartes mentales (ou cartes... heuristiques ou mind maps ) sont multiusages. La première difficulté consiste à choisir le logiciel... à vos besoins, cinq logiciels développés pour le mind mapping sont ici présentés : FreeMind/Freeplane, Mind...  : Elles se dessinent aussi bien à la main qu’avec des logiciels (avantages supplémentaires : conserver la mémoire...

• Ressources documentaires
>
• Innovation

Stimulez l'innovation, mettez en œuvre une stratégie pour proposer des produits innovants.

Quantification de la fiabilité des logiciels

Logiciel... Cet article décrit les fondements théoriques de la quantification de la fiabilité du logiciel... comment les donneurs d'ordre pourraient mettre en œuvre des exigences de fiabilité du logiciel pour obtenir... de la fiabilité du logiciel soient un sujet controversé, ils restent les seuls à permettre une évaluation...

• Ressources documentaires
>
• Environnement - Sécurité
>
• Sécurité et gestion des risques
>
• Génie logiciel

Parce que protéger la nature, les Hommes et leurs outils relève aussi de la stratégie d'entreprise.

• #Multisecteurs
• #Outil logiciel
• #Fiabilité
• #Modélisation
• #Mesure

Contrefaçon de logiciel

Au même titre qu’une œuvre littéraire ou artistique, un logiciel s’apparente à une œuvre... de l’esprit. Or, ce logiciel participe la plupart du temps à l’élaboration de processus industriel. A ce titre... , la contrefaçon d’un logiciel implique donc directement la contrefaçon d’une œuvre industrielle protégée... entre la simple inspiration et la copie fidèle de logiciel. Après quelques notions juridiques, cet article...

• Ressources documentaires
>
• Automatique - Robotique
>
• Automatique et ingénierie système
>
• Supervision des systèmes industriels

Améliorez la chaîne de production grâce aux derniers développements en automatique et ingénierie système.

• #Informatique (secteur)
• #Outil logiciel
• #Juridique
• #Sécurité - sûreté
• #Application informatique
• #Contrefaçon

Paramétrage de logiciels ferroviaires selon la norme CENELEC EN 50128:2011

:2011 permet de traiter les deux aspects : le développement d'une application logicielle générique... «  safety  ») du système jusqu'à l'élément matériel et/ou logiciel. Nota CENELEC pour Comité européen... pour démontrer la sécurité des logiciels ; la norme CENELEC 50129 qui décrit la structure du dossier... de manager la sécurité des applications logicielles. Dans le cadre de  [BM 8 071] nous avons présenté...

• Ressources documentaires
>
• Ingénierie des transports
>
• Systèmes ferroviaires
>
• Infrastructure ferroviaire, exploitation et sécurité

Intégrez les hauts potentiels techniques et socio-économiques du secteur ferroviaire

• #Secteur ferroviaire
• #Transport - logistique
• #Outil logiciel
• #Application informatique
• #Norme

Principes généraux communs à l’ensemble des logiciels

les logiciels de calcul de structures présentent la même organisation générale. Après création d... par les documents contractuels et la structure étudiée à l’aide du logiciel impose de la part du projeteur... La plupart des logiciels de calcul fonctionnent sous Windows, permettant ainsi de profiter de l’environnement... graphique et des possibilités de sortie. Certains logiciels présentent dès le début du travail...

• Ressources documentaires
>
• Construction et travaux publics
>
• Techniques du bâtiment : l'enveloppe du bâtiment
>
• Techniques du bâtiment : Connaître les matériaux de la construction

Maîtriser les techniques et les savoirs pour concevoir l'enveloppe d'un bâtiment, des structures métalliques aux éléments de couverture.

• #Structure (construction)
• #Outil logiciel
• #Informatique (discipline)
• #Calcul numérique