Download:
|
by Karsten Luth, Jurgen Niehaus, Thomas Peikenkamp
In Proceedings of the 9th IEEE International Workshop on Rapid System Prototyping
http://ca.informatik.uni-oldenburg.de/publications/lueth97a.ps
Add To MetaCart
Abstract:
This paper presents a hardware/software cosynthesis environment for embedded systems which is currently being developed at the Computer Architecture Group of the University of Oldenburg. We use two graphical formalisms as specification languages and synthesize code for a multi-processor rapid prototyping board. The two major problems we deal with are first, to realize an efficient distributed execution of the specified system and second, to develop automated interface-code generation for the hardware and software parts of the system under design. 1.
Citations
|
1764
|
Statecharts: A visual formalism for complex systems
– Harel
- 1987
|
|
448
|
On the formal semantics of statecharts
– Harel, Pnueli, et al.
- 1987
|
|
361
|
Statemate: A Working Environment for the Development of Complex Reactive Systems
– Harel, Lachover, et al.
- 1990
|
|
210
|
hardware-software cosynthesis for micro controllers
– Ernst, Henkel, et al.
- 1994
|
|
203
|
Hardware-software cosynthesis for digital systems
– Gupta, Micheli
- 1993
|
|
44
|
On the Duality between resource reservation and proportional share resource allocation
– Stoica, Abdel-Wahab, et al.
- 1997
|
|
22
|
VIS: A visual formalism for real time requirement specifications
– Feyerabend, Josko
- 1997
|
|
20
|
Rosenstiel: A Prototyping Environment for Hardware/Software Codesign
– Koch, Kebschull, et al.
- 1994
|
|
14
|
Formalized Timing Diagrams
– Borriello
- 1992
|
|
8
|
The EVENTS approach to rapid prototyping for embedded control systems
– Luth, Metzner, et al.
- 1997
|
|
8
|
MSparc: A multithreaded sparc
– Mikschl, Damm
- 1996
|
|
7
|
Hardware synthesis from requirement specifications
– Feyerabend, Schlor
- 1996
|
|
7
|
Compiling graphical real-time specifications into silicon
– Franzle, Luth
- 1998
|
|
6
|
STATEMATE: A Working Environment for the Development od Complex Reactive Systems
– Harel, Lachover, et al.
- 1990
|
|
5
|
Interface controller synthesis from requirement specifications
– Korf, Schlor
- 1994
|
|
3
|
Traps and fast context switches in a multithreaded SPARC
– Bienmuller, Metzner, et al.
- 1997
|
|
2
|
Methodische Unterstützung zur Spezifikation, Validierung und Diagnoseentwicklung beim Entwurf mechatronischer Systeme. Dissertation, Technische Universität
– Eckrich
- 1997
|
