Mälardalen University

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 will teach you how to build convolutional neural networks. You will learn to design intelligent systems using deep learning for classification, annotation, and object recognition.

Learn about digital twins and how they can be used in smart production! A digital twin is used to create a virtual model of a real production system. Among other things, it can be used to simulate how the product will be manufactured, how materials flow and how machines move. The course gives you knowledge of industrial digital twins and their application within the framework of smart production. The course is given with flexible start and study pace, but we recommend a study pace of 20%, which means that the course takes about 8 calendar weeks.

Today, many industries face an increase in the design of dependable systems, often with a multitude of challenges including more complex electronics and intensive software. At the same time, most of the engineers graduating from universities do not have skills in designing fault tolerant systems.  This online course aims to give engineers and students a toolbox of fail-safe design concepts, addressing both hardware and software techniques, such that they can understand the rationales for suitable mitigation strategies.

In this course, you will be made aware of the state-of-the-art in cybersecurity research and state of practice in industry. Cybersecurity vulnerabilities are a threat to progress in the business sector and society. This is an accelerating threat due to the current rapid digitalisation, which in manufacturing is termed Industry 4.0. Companies are aware of this threat and realise the need to invest in countermeasures, but development is hampered by lack of competence.  

Do you want to deepen your knowledge in Industrial Internet of Things? In this course, you will gain deeper knowledge and understanding of the Industrial Internet of Things (IIoT), platforms and cloud services used in manufacturing industries. You will learn to understand the use of IoT platforms and how to design and implement simple systems and how to create value by using IoT solutions within industrial systems. The course will provide you with practical and theoretical knowledge in IIoT, platforms and cloud services as well as in-depth knowledge in production, logistics and product development.

This course provides a fundamental knowledge of IoT, targeting physical devices, communication and computation infrastructure. The course gives theoretical knowledge as well as hands-on experiences to build an IoT application.

The rapid development of digital technologies and advances in communications have led to gigantic amounts of data with complex structures called ‘Big data’ being produced every day at exponential growth. The aim of this course is to give the student insights in fundamental concepts of machine learning with big data as well as recent research trends in the domain. The student will learn about problems and industrial challenges through domain-based case studies. Furthermore, the student will learn to use tools to develop systems using machine-learning algorithms in big data.

The course has the objective to provide proficiency in cybersecurity analysis and design in industrial settings, with a special focus on smart factories and Industry 4.0. To that aim, you will learn about advanced cybersecurity concepts, methodologies and tools. You will also be able to apply your knowledge to case-studies of industrial relevance.

Learn how to improve industrial processes with modelling methods! Modeling is used to create a virtual representation of a real product. With the help of the model, you can study how the product works, test different options and evaluate the product before it is produced in reality. In this course, you gain knowledge on how to design and implement simulation models in the work of analyzing and improving production systems. You will learn how to plan and perform improvement studies, as well as apply the modeling process within the manufacturing industry. The course is given with flexible start and study pace, but we recommend a study pace of 20%, which means that the course takes about 8 calendar weeks.

The course will give insights in fundamental concepts of machine learning and actionable forecasting using predictive analytics. It will cover the key concepts to extract useful information and knowledge from big data sets for analytical modeling

The aim of the course is to introduce the participants into methods and tools for verifying systems that need to react to external stimuli. The methods use system models with precise formal semantics and will span model-checking as well as deductive verification. A set of simple examples as well as real-world applications will be used throughout the course to illustrate the methods and their tool support. The objective of the course is to understand the underpinning theories of formal verification, and learn how to apply tool support in order to verify system models.