Dependable Computing Platforms for the Internet of Things
Prof. Marcel Baunach, Institute of Technical Informatics, Graz University of Technology, Austria.
A central demand on the Internet of Things (IoT) as a global infrastructure is its ability to provide continuously changing services and functions dependably on an unprecedented number of heterogeneous devices. While today’s embedded devices are still statically designed for specific applications and suffer from severe security flaws, future software and hardware must be much more flexible and inherently protected. Highly adaptive computing platforms will be required to allow the dynamic composition of functions and even the modification of computational units at runtime (maintainability). At the same time, operations must still be completed within guaranteed response times (real-time), and the devices and network must remain protected against alteration due to environmental perturbation or deliberate attacks (security, safety). This talk addresses the related challenges, and presents novel approaches for co-designing highly flexible and secure middleware and MCU architectures for dependable embedded platforms in the IoT.
Trustworthy Software and Automated Program Repair
Prof. Abhik Roychoudhury, School of Computing, National University of Singapore.
Software controls many critical infra-structures and a variety of software analysis methods have been proposed to enhance the quality, reliability and security of software components. In this talk, we will first briefly mention the gamut of methods developed so far in software validation research – ranging from systematic testing, to analysis of program source code and binaries, to formal reasoning about software components. We will discuss the research on trustworthy software at NUS which make software vulnerability detection, localization and patching much more systematic, with the help of scalable semantic analysis. We will specifically explore research on futuristic programming environments which enable auto-patching of software vulnerabilities, with a focus on automatic program repair – where software errors get detected and fixed continuously. Apart from reducing the burden on programming, this research aims to realize the vision of self-healing software for autonomous cyber-physical systems.
Evolutionary Many-objective Optimization and Some Real-World Applications
Prof. Kiyoshi Tanaka, Faculty of Engineering, Shinshu University, Japan.
Multi-objective evolutionary algorithms (MOEAs) are widely used in practice for solving multi-objective design and optimization problems. Historically, most applications of MOEAs have dealt with two and three objective problems, leading to the development of several evolutionary approaches that work successfully in these low dimensional objective spaces. Recently, there is a growing interest in industry to solve problems that require the simultaneous optimization of four or more objectives, known as many-objective optimization problems. However, conventional MOEAs scale up poorly with the number of objectives of the problem.
The development of robust, scalable, many-objective optimizers is an ongoing effort and a promising line of research. Critical to the development of such algorithms is an understanding of fundamental features of many-objective landscapes and the interaction between selection, variation, and population size to appropriately support the evolutionary search in high-dimensional spaces.
This talk will give an introduction to evolutionary many-objective optimization, discussing some characteristics of many-objective landscapes and relating them to working principles, performance and behavior of the optimizers. It will also present a general overview of the approaches to many-objective optimization, together with their state-of-the-art algorithms and techniques. Further, it will illustrate the use of many-objective optimization for some real-world applications.
Assessing for Quality Decision Making
Prof. Geoffrey Crisp, The University of New South Wales, Sydney, Australia.
This session will explore the 21st century skills and capabilities that our students will need as they live and work in a world dominated by ubiquitous technology, complexity and increasing uncertainty. Our assessment practices will need to change; we cannot continue to give students static content-based assessment tasks that ignore the contextual consequences of working in a complex environment with many stakeholders. We will need to expand our repertoire of assessment tasks to include a more sophisticated use of physical and virtual spaces that allow students to construct their responses with access to whatever resources they require in order to make a meaningful response to a meaningful task. We should be able to identify students’ decision making processes when they propose a solution to a real life problem. Students will need to be provided with more engaging tasks that will enable them to use the full range of capabilities they have developed during their learning. We will examine some of the implications of this new educational environment and reflect on our current assessment practices in relation to the requirements of this brave new world.
Prof. Roger Stern
Statistical Services Centre, University of Reading, United Kingdom.
Roger Stern, is a professor of Applied Statistics at Statistical Services Centre in the University of Reading, United Kingdom. He obtained his MSc in Statistics from University of Sussex, England and PhD in Statistics from the University of Reading. He worked as a lecturer in statistics at the same University and also have worked overseas for 10 years, particularly in Sri Lanka, Nigeria and Niger, both in Universities and in Agricultural Research institutes.
His main areas of research have been on developing methods for processing historical climatic data, particularly rainfall data, in ways that are of direct relevance to users. He is also particularly concerned with the development of effective methods for training in applied statistical methods in general, and statistics in applied climatology in particular. His current role in the Statistical Services Centre is largely that of offering support to research activities in many fields, but particularly in agricultural research and in issues concerning climate variability and climate change.
He can provide expert opinion on Data Analytics, Statistical applications, i.e. planning of experiments, data organization analysis and reporting, statistical software, statistical climatology, analysis of historical climatic data, training in research methods support and in statistical climatology.
Transactions on Software Engineering (TSE).