ⓒ Suresoft

Les logiciels critiques sont les logiciels utilisés dans les voitures autonomes, les centrales nucléaires, les trains à grande vitesse, etc. Ce sont les logiciels qui à la moindre erreur peuvent causer des pertes humaines ou de grandes catastrophes. Par exemple, cela peut concerner les problèmes d’accélération brusques et involontaires qui peuvent survenir en raison d’une panne de moteur ou de frein. De tels accidents sont extrêmement dangereux. Donc il est impératif que les logiciels critiques fonctionnent correctement sans aucun bogue ni erreur.

 

Et sur ce segment, la startup sud-coréenne Suresofttech commence à se faire un nom, car elle a été en mesure de développer un ensemble complet de logiciels de vérification de ces logiciels critiques, de la phase de conception, en passant par celle de développement, et celle de post-développement.