Ce design utilise deux puissants outils de Saber,
mais malheureusement sont souvent ignorés :
le "netlister" et les "state" variables.
Le déplacement d'un téléphone est modelisé en utilisant
sa direction comme une connexion. Comme le téléphone dépend
d'un BTS (Base station subsystem), lui même dépendant
d'une BSC (Base station controller), le tout controlé
par un MSC (Mobile Switching Center), il y aurait
rapidement un nombre de connections trop important
brouillant le schéma, d'où l'utilisation
d'un "user.map".
Les "state" variables permettent d'avoir une logique
plus complexe que celle basée sur des "0" et "1",
ce qui permet un échange plus rapide et plus dense
de données.
|