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.

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

In this course you will learn state-of-the-art statistical modelling for the purpose of analysing industrial data. The course also presents the basics of relational databases and data manipulation techniques needed to prepare the data for analysis.

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.

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.  

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.

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.