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.
6 RESULTS
SHOW
SORT BY:
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.
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.