Mälardalen University

The course gives an introduction to how CAD (computer-aided design) can be effectively utilized as an aid in mechanical engineering or product development. Both as a tool for design and visualization and also to create production data in the form of technical drawings. The aim is to give you basic skills in creating three-dimensional models and two-dimensional drawings both at the detail and product level, as well as knowledge of the rules and standards needed both to interpret and create technical drawings.

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