[TITLE WITH CAPITAL LETTERS]

MSc thesis possibilitiesVERSITETJoeY W. ColemanPostDoc (jwc@eng.au.DK)Software Engineering GroupApril 2014UNITitel p prsentationNavn Navnesen1. september 2011MSc thesis possibilitiesPeter Gorm LarsenApril 20141Recent Research projectsINTO-CPS (tool-oriented with CPS incl Kongskilde)CIP (Critical Infrastructure Protection, with Terma)HTF (Optimisation of harvesting operations with AGCO)MADE (Manufacturing Academy of Denmark, Grundfos)Updating Ground station (Danish Aviation Systems)Automatic feeding of mink, with Conpleks

Recently Completed ProjectsDESTECS (modelling of mechatronic systems)COMPASS (modelling of System of Systems incl B&O)

Tool Platform: Overture & DerivativesGroup: Peter Gorm Larsen, Stefan Hallerstede, Joey Coleman, Sune Wolff, Lus Couto, Peter Jrgensen2MSc thesis possibilitiesPeter Gorm LarsenApril 2014Suggested MSc AreasDocument-oriented format for VDM models (sha, pgl)Lightweight UI for Overture Core, possibly LightTable (jwc)Web interface to Overture Core, animation & model editing (ldc@, pgl@)Automated GUI-testing of Overture/Eclipse components (ldc)Test framework for high complexity data structures (ldc, jwc)Target profiles for code generation (e.g. Arduino, etc) (pvj)

Pattern recognition for proof obligations (sha)Concurrent testing for models or for code (sha)Something related to functional programming (jwc)

Others! see http://wiki.overturetool.org/index.php/Overture_projectsMost areas connect to project researchCome talk to us if you have other ideas3MSc thesis possibilitiesPeter Gorm LarsenApril 2014Lots of cool Stuff!4

Email pgl@eng.au.dk for appointment and come and talk about possibilitiesMSc thesis possibilitiesPeter Gorm LarsenApril 2014