Effectivement, dans des domaines comme l'automobile, le ferroviaire ou l'aérospatial, la chaine de développement doit être certifiée. Cela limitera drastiquement le champ d'utilisation de ces outils, tant qu'il n'auront pas acquis une maturité suffisante.
Cela dit, cela peut aller assez vite. Je connais des personnes qui travaillent sur de la génération et l'optimisation automatique de code et sur son implémentation dans des FPGA. Ce travail sera libre sous licence Cecill. En parallèle ils vérifient leur code avec des outils de preuve formelle, afin de garantir la validité des résultats.
In fine, ont peut espérer des outils libres qui n'auront plus rien à envier aux logiciels propriétaires. Cette ouverture permettant de vérifier leur performances et leur intégrité, les grand donneurs d'ordre auront tout intérêt à demander leur utilisation.
[^] # Re: Quid de la certification et de l'utilisation industrielle ?
Posté par xavier philippon . En réponse à la dépêche La libération des FPGA et des ASIC bien engagée pour 2020. Évalué à 6.
Effectivement, dans des domaines comme l'automobile, le ferroviaire ou l'aérospatial, la chaine de développement doit être certifiée. Cela limitera drastiquement le champ d'utilisation de ces outils, tant qu'il n'auront pas acquis une maturité suffisante.
Cela dit, cela peut aller assez vite. Je connais des personnes qui travaillent sur de la génération et l'optimisation automatique de code et sur son implémentation dans des FPGA. Ce travail sera libre sous licence Cecill. En parallèle ils vérifient leur code avec des outils de preuve formelle, afin de garantir la validité des résultats.
In fine, ont peut espérer des outils libres qui n'auront plus rien à envier aux logiciels propriétaires. Cette ouverture permettant de vérifier leur performances et leur intégrité, les grand donneurs d'ordre auront tout intérêt à demander leur utilisation.