Y
an
W
an
g
A D
om
ain
-S
pe
ci
fic L
an
gu
ag
e f
or P
ro
to
co
l St
ac
k I
m
ple
m
en
ta
tio
n i
n E
m
be
dd
ed S
ys
te
m
s
issn 1650-8580 isbn 978-91-7668-795-6Yan Wang has been a graduate student at the Centre for Research on Embedded Systems, Halmstad University, Halmstad, Sweden.
This thesis explores a language-based approach to program-ming network software in embedded systems. The domain-specific language Protege has been developed, with the goal to improve programming productivity for protocol stack implementation targeting resource-constrained embedded systems. Protege provides abstractions close to the notations used in protocol specifications. From high-level protocol stack descriptions, the Protege compiler generates C code with predictable memory consumption which can be integrated with other system software. Protege is implemented as a compiled domain-specific embedded language with host language Haskell.
Örebro Studies in Technology 49
örebro 2011 Doctoral Dissertation
A Domain-Specific Language for Protocol Stack
Implementation in Embedded Systems
Yan Wang Computer Science 2011