Our 20,000 students read courses and study programmes in Business, Health, Engineering and Education. We conduct research within all areas of education and have internationally outstanding research in future energy and embedded systems. Our close cooperation with the private and public sectors enables us at MDU to help people feel better and the earth to last longer. Mälardalen University is located on both sides of Lake Mälaren with campuses in Eskilstuna and Västerås.
17 RESULTS
SHOW
SORT BY:
AI systems are increasingly being integrated into various industrial processes, including manufacturing, logistics, and autonomous vehicles. Trustworthy AI ensures that these systems operate reliably, reducing the risk of accidents or costly errors. Trustworthy AI helps companies comply with ethical standards and legal regulations. It ensures that AI systems do not discriminate against certain groups, violate privacy rights, or engage in other unethical behaviors. Trustworthy AI System course can support in the development of more advanced AI technologies, fostering research collaboration, and attracting talent.
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 learn how to design production systems using XR. By visualizing production processes using various XR technologies, you will gain an understanding of when each technology is best suited and how it can be implemented.
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.
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.
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.