ABSTRACT
In general, embedded systems can be designed at different levels of abstraction, e.g., as pure hardware circuit designs, as bare-iron level programs (without an operating system), as programs based on a real-time operating system, and as models of a model-driven development. This paper focuses on a synchronous model-driven development tool called Averest. Using Averest, we describe how we consider and combine system descriptions at the mentioned four levels of abstraction. We discuss a case study targeting a distributed embedded system where these different levels have been used.
- Averest. http://www.averest.org.Google Scholar
- Conceptcar. http://es.cs.uni-kl.de/research/applications/concept-car.Google Scholar
- J. Brandt, K. Schneider, and A. Willenbücher. Using IP cores in synchronous languages. In C. Gremzow and N. Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 97--106, Berlin, Germany, 2009. Universitätsbibliothek Berlin.Google Scholar
- K. Schneider and T. Schüle. A framework for verifying and implementing embedded systems. In B. Straube and M. Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 242--247, Dresden, Germany, 2006. Fraunhofer Institut für Integrierte Schaltungen.Google Scholar
Index Terms
- Generating hardware specific code at different abstraction levels using Averest
Recommendations
Hardware support for WCET analysis of hard real-time multicore systems
ISCA '09: Proceedings of the 36th annual international symposium on Computer architectureThe increasing demand for new functionalities in current and future hard real-time embedded systems like automotive, avionics and space industries is driving an increase in the performance required in embedded processors. Multicore processors represent ...
Hardware support for WCET analysis of hard real-time multicore systems
The increasing demand for new functionalities in current and future hard real-time embedded systems like automotive, avionics and space industries is driving an increase in the performance required in embedded processors. Multicore processors represent ...
Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction
OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applicationsFor the MDA approach to software development to become a reality for distributed enterprise systems, MDA needs to provide both modeling support for middleware-specific concerns and tool support for helping developers refine their designs along such ...
Comments