Vu Quang Dung, Nguyen Viet Ha, To Van Khanh

Main Article Content

Abstract

In designing embedded systems, the exploration and synthesis of diíĩerent design
aỉtematives and co-verification of a specific implementation are the most demanding tasks.
Kaffe, an open-source technology, proviđes a platform for building a runtime environment
and integrating diíĩerent design methodologies. Integrating Kaffe into embedded systems is
the cornerstone o f java-like technologies, allowing possibilities such as the development of
portable programs on mobile devices. In this paper, vve introduce a co-design environment
based on Kaffe vvhich supports the speciíication and prototyping o f dynamicalỉy reconíigurable
embedded syslems.
Keyvvords: Embedded systems, Kaffe Virtual Machine (KVM), real-time systems, ARM,
Hardware-Software co-design, Java Native Interface, Kaíĩe Native Interíace

References

[11 ] Didier Donsez, Programmable Architecture on Java 2 Micro Edition, 2006.
[2] Navecd Ahmad. Saddaf Mumtaz, Sof tware architecture o f Ka f f e, 2006.
Ị 3 ] J.l;leischmann, A Harci\vare/SoJìw>are Prototyping Environment f o r Dynamicaỉly Recon/igurable Embedded Systems.
1998.
[41 Kenneth B.Kcnt, Micaela Serra, Hardware Architecture f o r Java in a Hardware/Software Co-Design o f the Virtual
Siacỉỉine. 2002. •
Ị 5Ị The Java Chip Processor: Ređeíìning thc Processor Market* Sun Microsystems, November 1997.
| 6 ] Stophan Schu!/.. Jerzy W.Rozcnblit, Michael Mrva, Klaus Buchenrieder, Model-based. Codesign. August 1998.
Ị7Ị Samucl K.Sanscri, P o r tin g K a f f e t o a N e w A r c h i t e c t u r e , 2000.
[8 | Kiyo I n a b a , " What is trampoỉine code in Kaffe?’\ 1998. The URL at time of this writing is,
http://vvww2 .biglobc.nc.jp/ inaba/trampolincs.html
19 1 Azzam Mourad, A Seỉective Dynamic Complier f o r Embedded JVM Targeting ARM Processors, 2005.
11 0 ] Kiyo Inaba, '7/o>v sysdepCallMethod wor k s '\ 1998. The URL at timc of this writing is, http://wwvv2.biglobc.nc.jp/ in-
aba/sy sdcpCallMcthod.html