Averest - Averest
 | Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)
|
Averest je synchronní programovací jazyk a sada nástrojů pro specifikaci, ověření a implementaci reaktivních systémů. Zahrnuje a překladač pro synchronní programy, symbolickou kontrolu modelu a nástroj pro syntézu hardwaru / softwaru.
Může být použit k modelování a ověřování systémů konečných a nekonečných stavů na různých úrovních abstrakce. Je to užitečné pro návrh hardwaru, modelování komunikačních protokolů, souběžné programy, software v vestavěné systémy, a více.
Komponenty: kompilátor pro překlad synchronních programů přechodové systémy, symbolický model kontrola, nástroj pro syntézu hardware / software. Ty pokrývají velké části návrhového toku reaktivních systémů, od zadání až po implementaci. Ačkoli jsou nástroje součástí společného rámce, jsou na sobě většinou nezávislé a lze je použít s nástroji třetích stran.
Viz také
externí odkazy
- Averest Toolbox Oficiální domovská stránka
- Skupina vestavěných systémů Výzkumná skupina, která vyvíjí Averest Toolbox
 | Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |