Nijmegen, 13 december 2004 - De tweede Aia Software Bachelor en Master Awards voor informatica worden vrijdag 17 december 2004 uitgereikt door de Nijmeegse burgemeester G. ter Horst. De Award wordt toegekend aan de meest aansprekende Bachelor en Master scriptie van het Nijmeegse Instituut voor Informatica en Informatiekunde (NIII) van de Radboud Universiteit. Aan de Awards is een geldbedrag van respectievelijk 1000 en 4000 Euro verbonden.
Aia Software heeft de Award in het leven geroepen als stimulans voor de Nederlandse Kenniseconomie en het NIII in het bijzonder: de oprichters van het bedrijf hebben een sterke band met dit instituut. Aia Software heeft zich voor minimaal drie jaar aan de Award verbonden.
De jury, bestaande uit Dr. M. van Eekelen (vice voorzitter van de examencommissie van het NIII), Dr. H. Wupper (directeur van het NIII) en Drs. J. Huinink (vertegenwoordiger van Aia Software), heeft de Master Scriptieprijs 2004 toegekend aan Jelte Jansen en de Bachelor Scriptieprijs 2004 aan Ron van Kesteren.
Het onderzoek van Jelte Jansen (begeleid door Prof. Bart Jacobs en Drs. Martijn Oostdijk) gaat over het beveiligen van mobiele telefoons. Programma's voor mobiele telefoons (ook wel `midlets' genoemd) worden geschreven in de programmeertaal Java en vooral toegepast voor spelletjes. Omdat sommige midlets via het netwerk willen communiceren brengt dit allerlei veiligheidsrisico's met zich mee. Midlets mogen alleen potentieel gevaarlijke dingen doen (zoals een netwerkverbinding openen) wanneer de fabrikant van de telefoon of de beheerder van het netwerk er een digitale handtekening opgezet heeft. Jelte Jansen beschrijft in "Slicing Midlets" een methode om er voor te zorgen dat niet de hele midlet uitgeplozen hoeft te worden bij het analyseren van gevaarlijk gedrag, maar slechts de relevante stukken. De niet interessante stukken worden gewoon weggesneden. Jelte Jansen heeft zelf een tool (PDIM) geïmplementeerd die midlets automatisch kan slicen.
Ron van Kesteren heeft in zijn Bachelor scriptie getiteld "Maximum Power - Power limitations of a copier analysed using HyTech" (begeleid door Dr. Jozef Hooman) onderzocht hoe het stroomgebruik in een kopieermachine gemodelleerd en geanalyseerd kan worden met behulp van een model-checker. De probleemstelling is afkomstig van Océ Venlo; bij het ontwerpen van een printer/copier is het maximaal toegestane stroomgebruik een belangrijke randvoorwaarde waarmee ook bij het ontwerp van de control software rekening moet worden gehouden.
Een belangrijke vraagstelling was of de analyse van deze varianten is gedaan zou kunnen worden met de model-checker HyTech (afkomstig van Berkeley): hiermee kunnen hybride automaten, met zowel discrete als continue variabelen, automatisch gecheckt worden. Maar, voorzover bekend, was de tool nog niet gebruikt in deze context, met stroomverbruik als continue variabele. Ron van Kesteren heeft laten zien dat HyTech voor kleine instanties van het probleem heel aardige resultaten levert, met name ook bij het gebruik van parameters. Ook de beperkingen van de tool zijn duidelijk geworden, zowel qua rekentijd als qua geheugengebruik.
-----------------
Over het NIII
Het Nijmeegse Instituut voor Informatica en Informatiekunde is onderdeel van de Radboud Universiteit. Meer informatie over het Instituut en de winnende scriptie vindt u hier.
Over Aia Software
Aia Software is leverancier van de krachtige en betaalbare document management software ITP (Intelligent Text Processing). ITP zorgt ervoor dat met bestaande gegevens en conform de huisstijl, automatisch documenten worden geproduceerd, geprint, gepubliceerd of als e-mail verstuurd. Zowel enkelvoudig als in batches.
ITP verbetert voor de organisatie de kwaliteit van het werk, verhoogt voor de afdeling de productiviteit en levert de medewerker meer gemak op.
Aia Software is een Nederlandse onderneming met vestigingen in de VS, Groot Brittannië, Duitsland, Zwitserland en Australië en business partners over de hele wereld. Meer informatie vindt u op www.aia-itp.com.
Meer informatie
Ingrid Wong
Marcommit PR
035-58 22 730
aia@marcommit.nl