Conception système rigoureuse

Cette séance de cours de l'instructeur explore les défis de la conception de systèmes réactifs, en soulignant l'importance de l'exactitude et de la productivité. La discussion couvre l'évolution de l'informatique, le passage de la programmation à la conception de systèmes et les difficultés posées par des interactions imprévisibles. La séance de cours explore le concept de systèmes réactifs, les défis de la programmation de systèmes multicœurs et la nécessité d'un processus de conception formalisé. Il aborde également les principes de séparation des concepts, de cohérence et de justesse par construction. L'instructeur explique l'importance des architectures, des opérateurs de colle et des règles de composabilité dans la conception correcte du système, soulignant l'importance de la cohérence sémantique et de l'expressivité. La séance de cours se termine par un accent sur les relations de raffinement et le concept de l'exactitude par construction.