Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Averest

Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. It includes a compiler for… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Verification is one of the essential topics in research of cyber-physical systems. Due to the combination of discrete and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 8
Is this relevant?
2013
2013
In general, embedded systems can be designed at different levels of abstraction, e.g., as pure hardware circuit designs, as bare… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2013
2013
This paper presents an embedding of polychronous programs into synchronous ones. Due to this embedding, it is not only possible… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 9
Is this relevant?
2013
2013
In general, guarded actions are well suited to describe systems with different models of computations (MoCs). Different MoCs are… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 6
Is this relevant?
2010
2010
In this paper, we present an automatic translation from synchronous guarded actions to SystemC. Synchronous guarded actions are… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
Esterel and other imperative synchronous languages offer a rich set of statements, which can be used to conveniently describe… Expand
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
2007
2007
This paper presents an approach to the formal verification of safety properties of the behaviour-based control network of the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
We present a framework for the development of embedded systems called Averest. It includes a compiler for synchronous programs, a… Expand
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2005
2005
Figure 1 shows the Averest design flow: A given Quartz program is first translated to a symbolically represented transition… Expand
  • figure 1
Is this relevant?
2005
2005
Supervisory control theory for discrete event systems is based on finite state automata whose inputs are partitioned into… Expand
  • figure 1
  • figure 2
Is this relevant?