REMANUFACTURING – WHAT IS IT AND WHY DO IT?

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

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. 

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 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 that students will learn about the analysis, design, and programming of deep learning algorithms. The course is part of the programme MAISTR (hh.se/maistr) where participants can take the entire programme or individual courses. The course is for professionals and is held online in English. Application is open as long as there is a possibility of admission. The courses qualify for credits and are free of charge for participants who are citizens of any EU or EEA country, or Switzerland, or are permanent residents in Sweden. More information can be found at antagning.se. About the course Applied Deep Learning with PyTorch, 5 credits Who is this course for?This course provides the theoretical and practical aspects of deep neural networks. It is intended for students with a background in computer science and engineering. What will you learn from this course?Students will learn about the analysis, design, and programming of deep learning algorithms. The course has two modules: theory and practice. The theoretical content covers basic principles of multi-layer perceptions, spatio-temporal feature extraction with convolutional neural networks (CNNs), and recurrent neural networks (RNNs), classification and regression of big data, and generating novel data samples using generative models. The practical sessions cover the basics of programming with PyTorch. For instance, image classification and semantic segmentation using CNNs, future image frame prediction with RNNs, and image generation with generative adversarial networks. What is the format for this course?Instruction type: Teaching is in English and fully online. It consists of lectures, computer exercises, and project work. In the computer exercises, the student solves small problems using deep learning models. After programming various exercises, the participants will develop an advanced deep learning project. Participants will be encouraged to bring their own data. High-end GPU machines can be provided for the exercises and project.