1. VERSITET JOEY W. COLEMAN POSTDOC (JWC@ENG.AU.DK) SOFTWARE ENGINEERING GROUP APRIL 2014 UNI MSC THESIS POSSIBILITIES

2. PETER GORM LARSEN APRIL 2014 RECENT RESEARCH PROJECTS ›INTO-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 Projects ›DESTECS (modelling of mechatronic systems) ›COMPASS (modelling of System of Systems incl B&O) ›Tool Platform: Overture & Derivatives ›Group: Peter Gorm Larsen, Stefan Hallerstede, Joey Coleman, Sune Wolff, Luís Couto, Peter Jørgensen 2

3. MSC THESIS POSSIBILITIES PETER GORM LARSEN APRIL 2014 SUGGESTED MSC AREAS ›Document-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_projectshttp://wiki.overturetool.org/index.php/Overture_projects ›Most areas connect to project research ›Come talk to us if you have other ideas 3

4. MSC THESIS POSSIBILITIES PETER GORM LARSEN APRIL 2014 LOTS OF COOL STUFF! 4 Email pgl@eng.au.dk for appointment andpgl@eng.au.dk come and talk about possibilities