NARCO — Compositions Non-agrégatives de Resources

La conception d'un système informatique complexe peut être gérée par un haut degré de modularité, qui joue un rôle déterminant dans la maintenance d'un système tout au long de sa vie (mises à jour et reconfigurations). Ces systèmes contrôlent des aspects importants de notre vie, d'où l'importance d'assurer leur bon comportement en utilisant des modèles formels et des techniques de vérification. Ce projet fournit une base pour la conception et la vérification de systèmes complexes, basés sur les notions de ressource et de composition. Par ressource, nous entendons tout composant (physique ou logique) d'un système et par composition toute modalité d'interaction entre composants. Les opérateurs de composition doivent donc être plus généraux que de simples compositions agrégatives (unions disjointes). Nous allons concevoir des logiques englobant ces notions générales de compositions non agrégatives et définir de modèles pour la conception et la vérification.