Séance de cours
Cette séance de cours explore le cadre BIP, en se concentrant sur le flux de conception du système et le concept de composants atomiques, les interactions et les protocoles. L'instructeur explique l'importance des priorités dans la réduction du non-déterminisme et l'expression des politiques de planification, montrant comment les priorités peuvent être utilisées pour appliquer l'exclusion mutuelle et composer des composants. La séance de cours couvre également l'algèbre des connecteurs, les interactions structurées et le processus de construction de modèles de systèmes pour les architectures multicœurs. En outre, l'instructeur discute de la mise en œuvre distribuée des modèles BIP et de la méthodologie de vérification de la composition pour assurer la liberté de blocage. La séance de cours se termine par un aperçu du raffinement axé sur le matériel et du processus itératif d'optimisation des ressources système dans le cadre BIP.