# Surete de fonctionnement du logiciel

- Guide démarche et méthodes de sûreté de fonctionnement des logiciels – Version 1,  ; d... de sûreté de fonctionnement des logiciels – Version 1,  ; de [...]

 : chaînes de Markov, réseaux de Pétri, logiciels industriels de sûreté de fonctionnement ; de nouvelles... de catastrophe quand elles se produisent. La sûreté de fonctionnement a pour [...]

sûreté de fonctionnement... Cet article présente les étapes de la réalisation d’une étude de sûreté de fonctionnement... de sûreté de fonctionnement conforme aux [...]

L’informatique quantique et ses ruptures majeures laissent présager des potentialités importantes. Modélisations, simulations, avec des degrés de précision jamais...

À l’issue de la fusion forcée de l’IRSN et de l’ASN, une nouvelle entité a vu le jour début 2025. La désormais Autorité de sûreté nucléaire et de radioprotection...

Le marché mondial de la microélectronique est dominé par des géants américains, chinois et taiwanais. C’est un fait : exister sur un tel marché n’est pas chose...

La numérisation des usines, des réseaux d’énergie et des infrastructures critiques a fait entrer la cybersécurité au cœur du risque industriel. Les attaques...

Issue d’IFP Energies nouvelles, GreenWITS propose des solutions numériques destinées à optimiser la conception, l’exploitation et le pilotage des parcs éoliens.

Heropolis, une start-up issue d'un projet développé au sein du groupe Thales, constitue un exemple des réussites dont peut accoucher l'intrapreneuriat.

Détecteur de poche consacré à la mesure de la radioactivité, Rium sera commercialisé à partir du printemps, auprès du grand public et des industriels.

Fondée en mars 2019, Obvious Technologies a développé une solution logicielle destinée en premier lieu aux acteurs de la sécurité et de la sûreté. Baptisée OODA,...