INTRODUCTION TO CLIMATE AWARE SOFTWARE ENGINEERING

This course provides an understanding of automating software testing using program analysis with the goal of intelligently and algorithmically creating tests. The course covers search-based test generation, combinatorial and random testing while highlighting the challenges associated with the use of automatic test generation. You will learn: Understand algorithmic test generation techniques and their use in developer testing and continuous integration. Understand how to automatically generate test cases with assertions. Have a working knowledge and experience in static and dynamic generation of tests. Have an overview knowledge in search-based testing and the use of machine learning for test generation.

This course deals with model-based testing, a class of technologies shown to be effective and efficient in assessing the quality and correctness of large software systems. Throughout the course the participants will learn how to design and use model-based testing tools, how to create realistic models and how to use these models to automate the testing process in their organisation.

The aim of this course is to provide participants with the principles behind model-driven development of software systems and the application of such a methodology in practice. Modelling is an effective solution to reduce problem complexity and, as a consequence, to enhance time-to-market and properties of the final product.

The purpose is to give the students an overview of issues and methods for development and assurance of safety-critical software, including details of selected technologies, methods and tools. The course includes four modules: Introduction to functional safety; knowledge that give increased understanding of the relationship between Embedded systems / safety-critical system / accidents / complexity / development models (development lifecycle models) / certification / “the safety case”. Analysis and modelling methods; review of analysis and modelling techniques for the development of safety-critical systems. Verification and validation of safety critical software, methods and activities to perform verification and validation. Architectures for safety critical systems. Safety as a design constraint.  

Explore the different tools and software to design, test, and prototype custom robot parts and robust robot behaviour. In recent years, industries around the world have been getting creative when it comes to incorporating robotics into their workflows. This three-week course offers a fascinating introduction to software and tools currently used in robotics. You’ll build basic knowledge of robotics tools and learn how they can be adapted for different industries. Familiarise yourself with Ubuntu operating system and Gazebo framework Gain hands-on experience using 3D robotics models in simulation Learn from the experts at the cutting edge of control engineering, robotics, and AI This course is designed for anyone interested in using robotic solutions in their role and who wants to learn the basics of robotics frameworks. The course will be given in English.

Big data and the algorithms used in data science, together with the corresponding process and its technology tools, have important implications for addressing climate change. From machine learning algorithms to data visualization, data science methods are used to investigate and better understand climate change and its various effects on land, sea, food, etc.Data science is a powerful approach which is capable of helping practitioners, and policy-makers understand the uncertainties and ambiguities inherent in data, to identify interventions, strategies, and solutions that realize the benefits for humanity and the environment, and to evaluate the multiple– and sometimes conflicting–goals of decision-makers. In this MOOC course, we introduce methods pertaining to the growing field of data science and apply them to issues relevant to climate change. Topics Data science Analytics as a process Data-driven decisions Climate change Applications of data science in climate change Course content Understand data science Learn about the sources of big data Understand the basics of climate change, its impacts and sustainable development goals Get to know data-driven decisions and how they are made Highlight some climate change challenges that are directly or indirectly related to data science Apply data science knowledge and skills to make climate change related decisions Learn how others have used data science in association with addressing climate change problems You will learnBy the end of the course, you will be able to: obtain and analyze datasets; make data-driven decisions; identify and address climate change challenges using data science Who is the course for?This course is designed for those who want to improve their analytics and data-driven decision-making skills, with an emphasis on utilizing such skills for addressing climate change challenges. The course will also be useful for practitioners and policy-makers as they can benefit from understanding the uncertainties and ambiguities inherent in data and using it to identify interventions, strategies, and solutions that realize benefits for humanity and the environment.