Symposium 2010

Op 24 maart zal Thalia een symposium organiseren met als onderwerp Formele Methoden. Voorafgaand aan het Symposium zal er een lunch plaatsvinden, en na afloop een borrel. Het symposium zal plaatsvinden in zaal HG00.062, en de lunch en de borrel in de Noordstraat.

Formele Methoden, wat zijn dat nou eigenlijk, wat is de exacte definitie? Waar kom je ze tegen in het bedrijfsleven, en wellicht nog belangrijker: wat zijn de resultaten? Op ons symposium komen 3 sprekers aan het woord die vanuit beroepsperspectief een duidelijke mening hebben over deze manier van valideren en verifieren. Kom ook, laat je informeren, denk mee en stel kritische vragen!

Voor Thalia leden is het symposium (incl. lunch en borrel) gratis. Voor niet leden bedraagt het 12,50 euro.

Als je mee wilt lunchen kun je je tot uiterlijk maandag 22 maart aanmelden. Voor het symposium zelf kun je je aanmelden tot dinsdag 23 maart. Aanmelden kan via .

De indeling van het symposium is als volgt:

Abstracts lezingen

Abstract lezing Viet Yen Nguyen
Titel: Formeel Modelleren en Analyseren van Ruimtevaartsystemen

Formele methoden gaan gepaard met de precisie en rigoreusiteit om de enorme complexiteit van ruimtevaartsoftware en hardware te beheersen. De trend is dat die complexiteit alsmaar toeneemt. Om die reden is het COMPASS-project in het leven geroepen. In dit project van de European Space Agency is er een nieuwe toolset ontwikkeld om de nieuwe generatie ruimtevaartsystemen te analyseren. In deze voordracht lichten we de doelstellingen van het COMPASS-project toe, met daaropvolgend een glimps van de toegepaste modelleerconcepten en algoritmes, zoals architecture-level modelling, stochastisch model checking, fault tree analysis en diagnosability.

Abstract lezing Arjen van Weelden
Titel: Blik op een utopie

Aia Software ontwikkelt eigen softwareproducten voor het automatiseren van gepersonaliseerde documentproductie. In haar tweeëntwintigjarige bestaan heeft Aia Software meermaals een beroep gedaan op de kennis en ervaring van de Radboud universiteit Nijmegen op het gebied van formele methoden.

Wat maakt een formele methode formeel? Wat zijn de toepassingen bij softwareontwikkeling, maar ook bij andere bedrijfsprocessen? Wat zijn de randvoorwaarden en kosten? Maar vooral ook: wat zijn de prettige neveneffecten van het gebruik van formele methoden?

In onze presentatie zullen wij deze vragen gedeeltelijk en gezamenlijk proberen te beantwoorden. Natuurlijk vertellen wij ook graag over de formele methoden die gebruikt zijn en worden bij Aia Software, en onze gemengde gevoelens daarbij.

Abstract lezing Stijn Hoppenbrouwers
Titel: Formal techniques in enterprise information systems: can't live with them, can't live without them.

Bedrijfsinformatiesystemen zijn niet meer weg te denken. Breed gezien drijft de IT natuurlijk sowieso op formele technieken, gezien de zware computationele component. In toenemende mate worden echter ook formele technieken toegepast in bedrijfsmodellering, analyse, simulatie, en de toepassing van AI technieken. De ontwikkelingen gaan snel en de potentie van nieuwe technieken en toepassingen is enorm.

Nu de systematisering van het bedrijfsleven steeds verder gaat, dringt deze echter ook steeds meer binnen in de sterk veranderlijke, sociaal gedreven, heterogene, multi-interpretabele en soms ronduit chaotische wereld van de Werkvloer en het Management. De cultuur, prioritering en capaciteiten van "bedrijfsmensen" botst enorm met de (in principe) meer rationele en systematische werk- en denkwijzen van "de ICT-er".

De al decennia bestaande uitdaging van het tot stand krijgen van werkelijke samenwerking en samenspraak tussen ICT en de rest van de wereld wordt steeds meer op de spits gedreven en wordt steeds urgenter. Bedrijfsmodellen spelen hierbij een sleutelrol. Om de beloftes van toepassing van formele technieken waar te maken is enorme behoefte aan oplossingen (en dus eerst onderzoek) omtrent daadwerkelijke (operationele) en volledige interactie tussen bedrijfswereld en de formele wereld van de ICT. Beiden zullen elkaar beter moeten gaan begrijpen en meer moeten respecteren. Daarnaast moeten spelers uit beide werelden beter ondersteund worden in het naar elkaar toe breien van hun conceptualisaties.