Averest is a synchronous programming language

Synchronous programming language

A synchronous programming language is a computer programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems, and are found often in embedded uses. The term 'reactive' is chosen to...

 and set of tools to specify, verify, and implement reactive systems. It includes a compiler

Compiler

A compiler is a computer program that transforms source code written in a programming language into another computer language...

 for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis.

It can be used to model and verify finite and infinite state systems, at varied abstraction levels. It is useful for hardware design, modeling communication protocols, concurrent programs, software in embedded system

Embedded system

An embedded system is a computer system designed for specific control functions within a larger system. often with real-time computing constraints. It is embedded as part of a complete device often including hardware and mechanical parts. By contrast, a general-purpose computer, such as a personal...

s, and more.

Components: compiler to translate synchronous programs to transition systems, symbolic model checker, tool for hardware/software synthesis. These cover large parts of the design flow of reactive systems, from specifying to implementing. Though the tools are part of a common framework, they are mostly independent of each other, and can be used with 3rd-party tools.

External links

• Averest Toolbox Official home site
• Embedded Systems Group Research group that develops the Averest Toolbox