Professor Mark Harman welcomes everyone to the meeting and asks us all to introduce ourselves.
Professor Harman introduces the project:
DAASE project motivation relates to the nature of programming, for the majority of time computers were people, eg. Pickering’s Harem. We would take the brightest people we have and get them to do really repetitive, mechanical tasks. That’s what a lot of programmers spend their time doing today.
The DAASE project is funded £6.8 million from EPSRC brought up to approx £12 million by the universities involved in matched funding.
Four sites: UCL, Birmingham, York and Stirling
Details of the DAASE: Dynamic Adaptive Automated Software Engineering EPSRC grant and project partners.
The universities involved have committed to funding 26 PhD students, EPSRC are funding 22 post doc researchers and some funding to bring in secondments and sabbatical staff.
The essential idea of the project is to take search based software engineering and use it to create dynamic adaptive systems.
Its a huge task to balance all the necessary functional and non-functional properties needed in modern software, multiple devices, multiple objectives etc. Why are we using humans to do this, it is too complicated. Why not use a machine to optimise this? Use optimisation techniques to continually optimise and adapt rather than using people.
Would like also to investigate the functional properties themselves, why can’t we use optimisation techniques to test functional properties? This wouldn’t be appropriate in safety critical software, but perhaps in other situations like battery life on a mobile phone.
Is there any evidence that SBSE can be used in dynamic adaptive approaches to software engineering?
The original program can serve as an oracle, code can be re-evolved for a new environment, functional and non-functional objectives can be combined.
Software uniqueness, with 500 million LOC you only have to write 6 statements before you are writing unique code. The space of candidate programs is smaller that you might imagine.
Dynamically discovering static truths: a small amount of dynamic information is sufficient to approximate static information.
Professor Harman introduces the DAASE team. Principal Investigator is Professor Harman. Co Investigators are: Edmund Burke, Xin Yao and John Clark.
The team have already had many visits to academic and industrial sites, and have given several keynotes and workshops around the world and have hosted visits which have already led to 37 publications and there are 19 to appear.
Professor Harman rounds up, welcomes everyone again and says he is really excited to be running the DAASE project and looks forward to the next few years on the project.
Discussion follows involving the academic and industrial advisors.
– Coffee break –
The next session consists of five minute talks from DAASE team members and industry and academic advisory board members.
Professor John Clark, York University speaks about self stabilisation of systems, and tradeoffs
Paul Baker from Visa speaks about what he is doing at Visa, He has been writing software since he was 16 and advocates the use of science to solve problems.
Zoe Baxendale from Northrop Grumman Park Air Systems introduces her company portfolio: air traffic communications, air defence communications, turnkey communication systems, and airport systems.
Yue Jia from UCL talks about hyper heuristics for CIT problems. Yue describes the current state of the art and his recent research in the area.
Dr Sigrid Eldh from Ericsson talks about software testing at Ericsson. In 2010 Ericsson were ranked the 5th largest software company in the world. Ericsson collaborate with many universities worldwide, they apply, deploy and evaluate on real systems and support many PhD students and researchers.
– break –
Professor Xin Yao now talks about learning to predict software defects. The two top ranked techniques in this area are Naive Bayes with log filter and Random Forest. Professor Yao describes his research in using class imbalance learning in software defect prediction.
Marc Shoenauer from the TAO project team at INRIA talks about his background and research in evolutionary computing and continuous and combinatorial optimisation.
Professor Marta Kwiatkowska from Oxford University talks about her work in the area of probabilistic and quantitative model checking and PRISM and the various research projects that she leads at Oxford.
Federica Sarro a DAASE Research Associate from UCL talks about her research into predictive modelling, and multi objective overtime planning for software engineering projects, eg. how much spend on overtime is cost effective on a project?
– Federica Sarro and Mark Harman’s ICSE paper video played to rapturous applause –
– lunch –
Professor Kate Smith-Miles kicks off the afternoon talks with a description of her research interests including how to build a bionic eye and visualising the suitability of optimisation algorithms including the No Free Lunch theorem. Professor Smith-Miles research aims to answer questions like “When will a piece of software fail?”
Jerry Swan from Stirling University gives a talk about his research using an XKCD cartoon about standards proliferation to illustrate a point about error correcting subgraph isomorphism and its application within SBSE.
Joachim Wegener from Berner & Mattner talks about their engineering solutions for automotive electronics, software and mechanics and his interest in software quality assurance for embedded systems.
Leandro Minku from University of Birmingham talks about software effort estimation and using machine learning to create effort estimation models. Leandro’s models are created and trained based on existing completed projects taking input attributes like team experience, programming languages, lines of code etc.
Jeroen Mulder is next, he is a Senior Operations Research Analyst from KLM/Air France. He works on forecasting passenger behaviour, flight schedule optimisation, rostering cabin staff, market demand, and optimising network potential.
Gabriela Ochoa from University of Stirling talks next about how to design good heuristic search algorithms, good algorithms are hybrid and dynamic. Gabriela talks about her research thus far on the DAASE project so far finding new metrics and credit assignment mechanisms.
Tobias Rodemann from Honda talks about research at Honda Research Institutes (HRI) – Innovation Through Science. Their research is in biologically inspired processing, computer vision, dynamic scene processing and cognitive systems, speech recognition and fast sensory processing. Thomas is particulalrly interested in evolutionary optimisation and gives us some details of his research.
– break –
Professor Mike Holcombe from Sheffield University says its not the technology, its the people that cause issues in software projects and then goes on to talk about his research in Computational Systems Biology and economic simulation models. Mike set up Genesys Solutions, a student run software development company which works mainly on web applications and small system development.
Simon Poulding from University of York talks about his research into efficient test coverage in software engineering using stochastic context-free grammars, he describes a case study on robot behaviour which used Lego Mindstorms robots.
Professor Erwin Pesch from Universität Siegen talked about his research in time and resource scheduling, logistics and planning in several areas such as airlines, hospital and the automotive industry.
John Woodward from University of Stirling talks about Dynamic Adaptive Automated Software Engineering and genetic programming.
Professor John Clark asks everyone for feedback on the day and thanks everyone for attending.
– end –