A Framework for Verifying and Implementing Embedded Systems

In: B. Straube and M. Freibothe ed., Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Fraunhofer Institut für Integrierte Schaltungen, P. 242-247, 2006

Authors

• Klaus Schneider
• Tobias Schüle

German Abstract

We present a framework for the development of embedded systems called Averest. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware and/or software synthesis. Averest can be used for modeling and verifying finite as well as infinite state systems. Thus, Averest is not only well-suited for hardware design, but also for the development of embedded software. In particular, our input language Quartz allows the description of concurrent programs at a high level of abstraction.

Full Text

• Publication: ScSc06a.pdf

BibTeX

 
@InProceedings{ ScSc06a, 
   title = { A Framework for Verifying and Implementing Embedded Systems }, 
   author = { Klaus Schneider and Tobias Schüle },  
   editor = { B. Straube and M. Freibothe }, 
   booktitle = { Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen },        
   publisher = { Fraunhofer Institut für Integrierte Schaltungen },   
   pages = { 242-247 },   
   year = 2006, 
} 

---

This publication belongs to the project EVAS.