Mälardalen University

This course will provide a basic theoretical and practical knowledge in the art of configuring and securing computer networks and create simpler topologies. Together with the "Computer Networks II" distance course (Datakommunikation i nätverk II, distanskurs) you will be covering most, but not all, of the content that are part of a Cisco Certified Network Associate (CCNA) certificate. The certificate is not part of this course.

In this course, you will learn how data analysis in virtual production can improve your organization's results! Data analytics in virtual production uses advanced techniques to collect, analyze and present data to improve production. This system is designed to help companies optimize their production and increase efficiency. By learning how to model, do scenario analysis and evaluate using industrial software, identify bottlenecks, and use AI methods and applications, s necessary to succeed with a full production analysis. 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.

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.

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.

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 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 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.

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.

This course provides an understanding of the fundamental problems in software testing, as well as solid foundation in the practical methods and tools for a systematic state-of-the-art approach to testing of software.

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.