In’Tech
 - Validation formelle de systèmes industriels critiques

Les composants informatiques, matériels et logiciels, sont devenus omniprésents dans tous les secteurs de la vie et de la société. Le parallélisme, la communication et la synchronisation se manifestent à tous les niveaux, depuis l’échelle microscopique des réseaux sur puce jusqu’à l’échelle macroscopique des grilles et des nuages de calcul, en passant par les ordinateurs et dispositifs embarqués multi-cœurs. Les applications informatiques qui exploitent ces équipements sont complexes et souvent critiques, leurs défaillances pouvant avoir des conséquences lourdes en termes humains et économiques. C’est pourquoi, une conception rigoureuse des systèmes critiques, basée sur l’utilisation des méthodes formelles et assistée par des outils de validation adéquats, est devenue plus nécessaire que jamais. Lire la suite