14 novembre 2017
Adaptées pour l’industrie, les méthodes formelles sont utilisées sur des projets ferroviaires d’envergure et permettent de démontrer la sureté de fonctionnement des systèmes.
Dans ce papier que vous pouvez consulter, nous expliquons comment les méthodes formelles (B, Event B et validation formelle de données) en se basant sur la preuve mathématique, aident au développement de logiciels critiques, à l’analyse des spécifications fonctionnelles d’un système et à la validation de données (ex : données topologiques des voies, invariants, paramètres critiques).