Averest

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

Topic mentions per year

Topic mentions per year

2005-2012
01220052012

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… (More)
  • figure 1
  • figure 3
  • figure 2
  • 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… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2013
2013
In this paper, we show how code can be generated at different levels of abstraction from a single source description. To this end… (More)
  • figure 2
  • figure 1
Is this relevant?
Review
2013
Review
2013
The synchronous model of computation divides the program execution into a sequence of logical steps. On the one hand, this view… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2012
Review
2012
One major problem for the design of cyber-physical systems is the understanding of problems that can arise from the interaction… (More)
  • figure 1
  • figure 2
Is this relevant?
2010
2010
In this paper, we present an automatic translation from synchronous guarded actions to SystemC. Synchronous guarded actions are… (More)
  • 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… (More)
  • 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… (More)
  • 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… (More)
  • 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… (More)
  • figure 1
Is this relevant?