Mälardalen University

Hydrogen is a clean fuel, a versatile energy carrier, and seems to be the answer to the climate change challenge. Why is everyone talking about it, and how is it going to replace traditional fuels? This modularized course provides a comprehensive overview on hydrogen as an energy carrier, with focus on fuel cell as hydrogen conversion technology. Hydrogen production and storage and their role in decarbonization will be covered. Different fuel cell technologies will be analyzed and discussed to present benefits and challenges in the use of hydrogen for power production, urban mobility, aviation, transportation, residential sector and much more. The learners will be able to combine the available modules to create their personalized education based on their needs and get insights on where and when hydrogen can play a role in a carbon-free society.

Do you want to learn the basics of Industry 4.0, at your own pace, whenever you want? Then the MOOC (Massive Open Online Course) Introduction to Industry 4.0 is for you. You will learn basic terminology and theory while gaining insight and understanding of the fourth industrial revolution and how it affects us. The MOOC: Introduction to Industry 4.0 is part of MDU's investment in smart production. The course is divided into ten modules, each of which describes different technologies in Industry 4.0. We estimate that it will take about 40 hours to complete the course and it is in English. The MOOC can also give you eligibility to apply for these 3 university courses at Mälardalen University: Internet of things for industrial applications, 5 credits Simulation of production system, 5 credits Big data for industrial applications, 5 credits

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.

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.

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 be efficient, effective and minimize waste by learning and implementing lean production tools? This course provides insight into the demands and challenges posed by competitive production in industrial production systems and develops your ability to participate in and to drive improvement work. The course focuses on efficient lean production. Through theory and project work, you will learn useful techniques, methods and strategies. You will obtain the necessary knowledge and training to carry out value stream mapping and other forms of improvement work. The course offers current and competitive knowledge through its close links with our successful research and partner companies. It provides basic knowledge and understanding of the modern view of lean production in industrial activity. 

The aim of this course is to give students insight about certification and about what it means to certify/self-assess safety- critical systems with focus on software system and to create a safety case, including a multi-concern perspective when needed and reuse opportunities, when appropriate.

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.  

This course makes you acquainted with the concept of systems-of-systems (SoS), which means that independent systems are collaborating. It gives you an understanding why SoS is an important topic in the current digitalisation and provides a theoretical and practical foundation for understanding important characteristics of SoS. It also gives you a deeper knowledge in a number of key concerns that need to be considered when engineering SoS. Admitted students may join the course any time between September 2 and October 6, 2024. With the recommended study pace of 25%, the course would take approximate seven calendar weeks to complete. Higher or lower study pace is possible as long as the course is finished no later than January 19, 2025.