[License]Java & Le Nucléaire

[mamiberkof]

Bonsoir,
J'ai rencontré ça :

La licence Java ne permet pas :

L'utilisation de Java dans des installations nucléaires (sic)

là
http://fr.wikipedia.org/wiki/Java_et_logiciel_libre#Discussion_sur_la_licence_de_Java
et

Le Titulaire de la Licence reconnaît que le Logiciel sous licence n'a pas été ni conçu, ni destiné pour être utilisé pour la conception, la construction, l'exploitation ou la maintenance d'installations nucléaires. Sun Microsystems, Inc. ne fournie aucune garantie expresse ou tacite quant à la convenance à ce type d'utilisation.

dans la license officiel de Sun MS pour J2SE http://www.java.com/fr/download/license.jsp

Que pensez vous de ce point,? les projets nuclèaires "utilisent" quoi pour répondre à un telle degré de ' supercalcul ' de ces projets si c'est pas Java.
et encore ,c'est pas spécifié est ce que c'est pour les projets nucléaire distructifs ou d'exploitations non distuctifs.

@mamiberkof

[granquet]

[TROLL]
bah c'est normal, Java c'est pour les tits fillettes qui font du bricolage heing ...
dans le nucleaire on as besoin d'un vrai language (avec la faute, rien que pour emmerder ) ...[/TROLL]

[Graffito]

Bonjour,

Code :

1
2
les projets nuclèaires "utilisent" quoi pour répondre à un tel
degré de ' supercalcul ' de ces projets si c'est pas Java.

Il y aussi probablement, outre le nuclméaire, le médical et l'aviation.

C'est un problème de "safety" quand il y a des vies humaines en jeu.
Les fournisseurs de langage ou d'OS se dégagent de toute responsabilité en cas d'incidents dûs à une bug dans l'OS, le framework, le compilateur ou les bibliothèques.

Les appli "sensibles" se font généralement avec des normes de dévellopement spécifiques (exemple : DO-178) dont la sévérité dépend d'une étude "safety" identifiant la conséquence d'un problème soft (bug, panne) en terme de probabilité d'incident fatal.

Par exemple,
- Les spécifications utilisateurs doivent être tracées jusqu'au code,
- Toutes les instructions doivent être testées,
- Les programmes de tests doivent être développé suivant la même norme,

Et malheuresement, Windows, Linux, Java, les compilateurs C, C++ etc ... ne respectent pas ces normes de dévellopement, ou lorqu'ils en respectent des aspects, il est quasi impossible de savoir de quels aspects il s'agit.

[mamiberkof]

emmm, Interresant http://www.validatedsoftware.com/

Et malheuresement, Windows, Linux, Java, les compilateurs C, C++ etc ... ne respectent pas ces normes de dévellopement

il y a la norme de programmation en C
http://www.validatedsoftware.com/pro...508_tcpip.html

[gorgonite]

en ce qui concerne les applications critiques, il y a différentes normes...


toujours est-il qu'il faut que le langage assure l'existence (voire un majorant), d'une borne spatiale et temporelle lors de l'exécution du programme... sans parler de la pile, de la tolérance aux absences de signaux des capteurs, etc

[GrandFather]

Le rôle d'une licence logicielle n'est pas de fixer les limites techniques du cadre d'utilisation, mais de fixer un cadre juridique d'utilisation, et de préciser les règles de propriété intellectuelle.

En l'occurrence, du fait que le nucléaire fait partie des technologies dites sensibles par le gouvernement U.S., Sun veut, à mon avis, se prémunir d'une hypothétique restriction d'utilisation du fait que leur langage pourrait être utilisé par des "états terroristes" pour développer des "armes de destruction massive". Tiré par les cheveux ? Il ne faut pas oublier que l'exportation de technologies de cryptage fort fait encore l'objet d'un contrôle très sévère, ce qui ne doit pas faire l'affaire de nombreux éditeurs américains...

[Graffito]

Et aussi sur le site de Validated Software cité par mamiberkof :
http://www.validatedsoftware.com/cer...ation_faq.html
Section : SAFETY CERTIFICATION STANDARDS

[charly]

de toutes maniére ce genre d'application nécessite des plateforme particuliére qui font tourner le tout en langage machine directe ...

[Graffito]

Bonjour,

Code :

1
2
ce genre d'application nécessite des plateforme particuliére 
qui font tourner le tout en langage machine directe

Ca dépend du niveau de safety requis, lui-même fonction de la probabilité de la conséquence "fatale" d'une panne/bug.

Exemple : DO-178 de A le plus strict à E le moins contraignant

What is DO-178B Level A? DO-178B Level A software is software whose anomalous behavior, as shown by the system safety assessment process, would cause or contribute to a failure of system function resulting in a catastrophic failure condition for the aircraft. Failure of DO-178B Level A software could be typified by total loss of life. Approximately 20-30% of avionics systems and 40% of avionics software code must meet DO-178B Level A criteria.

What is DO-178B Level B? DO-178B Level B software is software whose anomalous behavior, as shown by the system safety assessment process, would cause or contribute to a failure of system function resulting in a hazardous/severe-major failure condition for the aircraft. Failure of DO-178B Level B software could be typified by some loss of life. Approximately 20% of avionics systems and 30% of avionics software code must meet DO-178B Level B criteria.

What is DO-178B Level C? DO-178B Level C software is software whose anomalous behavior, as shown by the system safety assessment process, would cause or contribute to a failure of system function resulting in a major failure condition for the aircraft. Failure of DO-178B Level C software could be typified by serious injuries. Approximately 25% of avionics systems and 20% of avionics software code must meet DO-178B Level C criteria.

What is DO-178B Level D? DO-178B Level D software is software whose anomalous behavior, as shown by the system safety assessment process, would cause or contribute to a failure of system function resulting in a minor failure condition for the aircraft. Failure of DO-178B Level D software could be typified by minor injuries. Approximately 20% of avionics systems and 10% of avionics software code must meet DO-178B Level D criteria.


What is DO-178B Level E? DO-178B Level E software is software whose anomalous behavior, as shown by the system safety assessment process, would cause or contribute to a failure of system function with no effect on aircraft operational capability or pilot workload. Failure of DO-178B Level E software would have no impact on passenger or aircraft safety. Approximately 10% of avionics systems and 5% of avionics software code must meet DO-178B Level E criteria (note however that the amount of DO-178B Level E sourcecode is increasing due to passenger entertainment and internet communications subsystems that are currently designated Level E; it is deemed likely by us that the criticality levels of these systems will increase due to integration with other, more critical, avionics systems).

En pratique :

• Level B : "plateforme particuliére qui font tourner le tout en langage machine directe"
• Level C : O.S possible si certifié level C : il existe des Unix-like de ce type.
• Level D : un O.S comme Unix/linux fait l'affaire

[xavlours]

Voila donc la raison pour laquelle on rencontre extrêmement peu de fils et de FAQs sur la surveillance d'usines nucléaires dans les forums ...

Envoyé par mamiberkof

Que pensez vous de ce point,? les projets nuclèaires "utilisent" quoi pour répondre à un telle degré de ' supercalcul ' de ces projets si c'est pas Java.
et encore ,c'est pas spécifié est ce que c'est pour les projets nucléaire distructifs ou d'exploitations non distuctifs.

Sans vouloir troller Java n'est pas "safe" parce que les variables ne sont pas "Thread Safe".

Et même pour .NET c'est pareil si tu prends le MSDN.
J'ai bossé sur un projet en VB6, on avait un message d'erreur " la variable untel ne peut pas être accédée" ou qque chose dans le genre..
Par contre dans des langages natifs comme... C++ tu peux rendre les variables "safes" c'est à dire VRAIMENT verrouillées dans un multi-processus...
Pour ceux qui connaissent à quoi sert les sections critiques en win32 ?
Ce que l'on ne peut pas utiliser avec Java par exemple...