Projektet RCES: studenterprojekter og ph.d.-stipendier på
IT-højskolen
Formålet med denne mail er at orientere om studenterprojekter og
ph.d.-stipendier i et af IT-højskolens forskningsprojekter, nemlig
projektet RCES:
RCES står for Resource-Constrained Embedded Software, og projektet
handler om software til indlejrede systemer såsom automater,
fjernbetjeninger, høreapparater, vaskemaskiner, mobiltelefoner,
Lego-robotter osv.
RCES-projektet er knyttet til IT-højskolens Innovations-afdeling og
Teori-afdeling, og er finansieret af Statens Forskningsråd med 6.7
millioner kroner fra juli 1999 til juni 2003. Projektets fadder
(følgeperson) er direktør Søren Damgaard fra IBM.
Projektkursus i Apparatsoftware, december 2000
I fireugers-projektperioden (uge 48-51) afholdes et projektkursus i
Apparatsoftware på IT-højskolen. Kurset vil dels bestå i en række
indledende forelæsninger, dels i et projektarbejde hvor der
konstrueres software til et konkret system. Kurset vil indeholde et
minikursus om Smart-cards og udvikling af software til dem.
Mini-kurset holdes af en repræsentant fra GemPlus, et af verdens
førende Smart-card firmaer. For en del af projekterne vil fysisk
afprøvning være mulig, idet vi har adgang til en WebNet indlejret
webserver, der gør det muligt at sætte apparater på internettet
(stillet til rådighed af I/O Consulting), et antal Java Smart-cards
(fra GemPlus), samt Java iButtons (fra Dallas Semiconductor) og Lego
MindStorms robotter.
Ph.d.-stipendier
Vi har to ledige ph.d.-stipendier. De kan søges både som 3-årige
stipendier af studerende der allerede har en kandidatgrad, og som
4-årige stipendier af studerende der mangler højst et år af studiet
(så får man en kandidatgrad efter to år).
For 3-årige stipendier er lønnen ca. 19.000 kroner/måned, for
4-årige er den ca. 15.000 kroner/måned de første to år, og derefter
19.000 kroner/måned.
De ledige ph.d.-projekter handler om:
- Kodegenerering. Mange mindre systemer (fjernbetjeninger,
controllere, kaffeautomater mv) kan beskrives med parallelle
tilstandsmaskiner. Problemet er automatisk at generere kompakt og
effektiv programkode ud fra en sådan beskrivelse, og især at kunne
støtte udvikleren i at fokusere på det aspekt (plads eller
hastighed) der viser sig at være flaskehalsen i en given anvendelse.
- Programanalyse til generering af dækkende testtilfælde for
programmer. Afprøvning er særlig vigtigt for systemer der skal
produceres i store styktal, og hvor udskiftning af programmerne er
umulig eller vanskelig (fjernbetjeninger, mobiltelefoner).
- Indlejrede mobile systemer. Fokus kan være trådløse indlejrede
systemer, eksempelvis med Bluetooth teknologi.
Projekterne bliver formelt slået op i løbet af oktober 2000.
Der er allerede to ph.d.-studerende i projektet: Jakob Lichtenberg og
Ken Friis Larsen, sidstnævnte i samarbejde med Forskerakademiet,
Danmarks Tekniske Universitet, GN ReSound, Cambridge Universitet og
Microsoft Research.
Embedded Linux laboratorium
I tilknytning til IT-højskolens nye Linux-laboratorium opretter
RCES-projektet et laboratorium hvor man kan eksperimentere med Linux
i apparater, og med (fysisk) meget små computere.
Se Finn Schiermer Andersens notat om Embedded
Linux.
Hvis du laver projekt (eller speciale) inden for området, så betaler
vi gerne indkøb af særlige dimser, f.eks. en Linux-computer i
kreditkortstørrelse, en webserver på 4 gange 8 cm, eller lignende.
Specialeprojekter og specialeforberedende projekter
Fra foråret 2001 tilbydes specialevejledning inden for projektets
emneområde, eksempelvis vedrørende smartcards, embedded Linux,
apparater (f.eks. robotter) med tilknyttet mini-webserver og
netforbindelse, osv.
Kontakt
Projektets hjemmeside er http://www.it-c.dk/research/rces/
Tøv ikke med at kontakte os hvis du vil vide mere.
Bedste hilsener,
Henrik, Henrik, Jens Chr, Peter, Thomas
14. september 2000, rettet 18. oktober 2000