Rust à la poursuite d'Ada : Une bataille dans la programmation critique

Ada domine le domaine de la programmation critique depuis plus de quatre décennies. Au cours des dix dernières années, Rust a tenté de rivaliser, avec des résultats variables. Cet exposé explorera les puissantes fonctionnalités d'Ada pour garantir un code exempt de bogues, notamment ses robustes déclarations de sous-types et sa facilité d'utilisation, et les comparera aux capacités de Rust, soulignant les points faibles de Rust et ses progrès pour rattraper Ada.