CV: Automatische analyse van communicatieprotocols

Vorige Index Persoonlijke gegevens Volgende

Opdrachtgever	TU Delft (afstudeeropdracht)
Eindproduct	Programma voor automatische analyse van communicatieprotocols
Tijdvak	september 1987 - mei 1988
Functie	Student

Bij de vakgroep telecommunicatie- en verkeersbegeleidingssystemen van de afdeling Elektrotechniek van de TU Delft was een programma ontwikkeld waarmee het gedrag van communicerende systemen kon worden omgerekend naar het gezamenlijke gedrag van de systemen als geheel.

Het probleem van dit systeem was dat er bij het doorrekenen in eerste instantie een systeembeschrijving ontstaat die uit zeer veel toestanden en overgangen bestaat. Deze grote systeembeschrijving kon pas daarna met behulp van reductieregels worden vereenvoudigd en verkleind.

Ik heb aangetoond dat het theoretisch mogelijk is om een aantal reductiestappen in een eerder stadium uit te voeren, waardoor het aantal gebruikte toestanden en overgangen beperkt kon worden. Vervolgens heb ik het programma zo aangepast dat het van deze nieuwe mogelijkheid gebruik maakt. Daardoor kan het programma nu, in dezelfde beperkte geheugenruimte, grotere systemen analyseren dan eerst het geval was.

Mijn werkzaamheden bestonden uit:

• theoretisch aantonen dat expansie- en reductiefase van de analyse gecombineerd kunnen worden;
• praktische realisatie van wijzigingen in software in C om gebruik te maken van deze nieuwe inzichten in de theorie;
• testen en meten van de resultaten.

Apparatuur	PDP-11
Programmeertaal	C
Operating system	Unix
Tools	C compiler, linker, UNIX-tools

Vorige Index Persoonlijke gegevens Volgende