Averest - Averest

Averest er et synkront programmeringssprog og et sæt værktøjer til at specificere, verificere og implementere reaktive systemer. Det inkluderer en kompilator til synkrone programmer, en symbolsk modelkontrol og et værktøj til syntese af hardware / software.

Det kan bruges til at modellere og verificere endelige og uendelige tilstandssystemer på forskellige abstraktionsniveauer. Det er nyttigt til hardwaredesign, modellering af kommunikationsprotokoller, samtidige programmer , software i indlejrede systemer og mere.

Komponenter: kompilator til oversættelse af synkrone programmer til overgangssystemer , symbolsk modelkontrol , værktøj til hardware- / softwaresyntese. Disse dækker store dele af designflowet af reaktive systemer, fra specificering til implementering. Selvom værktøjerne er en del af en fælles ramme, er de for det meste uafhængige af hinanden og kan bruges med tredjepartsværktøjer.

Se også

eksterne links