MSC Editor d’ESG
Dans sa nouvelle version, cet outil permet de spécifier la communication entre les calculateurs électroniques à travers les réseaux multiplexés automobiles sous la forme « Message Sequence Charts » utilisant un langage de spécification graphique formel, appelé Language Data Support.
Uniformise les spécifications formelles d’actions et de conditions
Vérifie la syntaxe et la sémantique
…