Tooling 4 CC

General Information

Titel afstudeeropdracht: Tooling voor CC kennismodellen

Duur van afstuderen: 6 Maanden

Begeleider: Willy Jansen (Manager BIT SAS)

Locatie: Groningen

INLEIDING

CC is een methode waarbij de betekenis van kennismodellen wordt gerepresenteerd. Dit kan onder meer worden gebruikt om ambiguiteiten op te sporen, en inconsistenties in complexe situaties bloot te leggen. Wij denken daarbij aan het ontdekken van ongeauthoriseerde toegang tot beveiligde netwerken, het vinden van inconsistenties in grootschalige softwareprojecten, het garanderen van de financiele consistentie in een bancair systeem, of het ontwerpen van efficientere/effectievere procesketens. Dit zijn zaken waar TNO Telecom regelmatig mee te maken krijgt, en waarvan we verwachten dat CC een significante bijdrage kan leveren.

OPDRACHTOMSCHRIJVING

Om de CC methode te ondersteunen, met name voor grote projecten, is het nodig tooling te ontwikkelen. Hierbij kan de student de afstudeeropdracht gedeeltelijk zelf invullen; denk daarbij bijvoorbeeld aan:

• slimme vertalingen van de CC-modellen
• generieke oplossingen voor het populeren van de CC-modellen met praktijkdata
• het genereren van code voor databasetoepassingen
• koppeling naar theorem-provers

Voor de tool is het in ieder geval nodig om CC (kennis)modellen te kunnen koppelen aan een database. Een vast onderdeel van de opdracht zal daarom zijn het zoeken naar een geschikte database representatie en deze te implementeren. Een en ander vindt plaats vanuit een Haskell-programmeeromgeving en wordt aan een open source database gekoppeld (bijv. MySQL? ). Uit dit stuk van het onderzoek volgt:

• een ontwerp en implementatie van de database-koppeling op het niveau van relaties en invarianten.
• consequenties voor het detecteren van inconsistenties.

WIE ZOEKEN WIJ?

We zoeken een student met een open instelling, die zelfstandig kan werken, en goed conceptueel kan denken zonder de beoogde praktijk uit het oog te verliezen. Je hebt goede communicatieve en presentatie-vaardigheden.

Kandidaten studeren bijvoorbeeld bedrijfsinformatietechnologie of informatica, maar andere (exacte) studies kunnen ook. We verwachten dat je geinteresseerd bent in modelleren en praktische ervaring hebt in programmeren.

Specifieke kennis/ervaring die we vragen is:

• Functionele talen (bijv. Haskell)
• Open source databases (bijv. MySQL? )

WAT BIEDEN WIJ?

Je komt te werken in een jonge innovatieve omgeving met zowel TNO Telecom collega's als andere studenten. Je zal meedraaien in de afdeling en je werk is nauw verbonden met onze projecten. Deze opdracht wordt gedaan binnen het kader van het zeer innovatieve CC-project, en geeft mogelijkheden om eigen initiatieven te ontplooien. Je kunt rekenen op ondersteuning en begeleiding door enthousiaste TNO-ers, en je wordt gestimuleerd om gebruik te maken van CC kennis via onze externe contacten. Daarnaast krijg je gelegenheid om mee te kijken met projecten waarin CC in de praktijk gebruikt wordt, en zo in korte tijd veel leren en praktische ervaring opdoen. Je staat onder (wekelijkse) supervisie met de bedoeling te helpen een weg door deze complexe materie te vinden, en ervoor te waken dat het werk toepasbaar zal zijn.

Daarnaast geeft dit aanbod je de mogelijkheid om TNO beter te leren kennen. Als deze kennismaking van beide kanten positief is, kan dit tot een baan leiden. Neem voor meer informatie contact op met onze Recruitment Officer: werving@telecom.tno.nl? -- DoaitseSwierstra - 09 Nov 2003