EIT Digital has launched three new Massive Open Online Courses (MOOC) in the online module Internet of Things (IoT) through Embedded Systems. These courses are System Validation (2): Model process behaviour; Fundamentals of Computer Architecture; and Quantitative Model Checking. Enrolment is open for all these courses.
EIT Digital MOOC programmes are part of the online learning programme of the EIT Digital Academy. The new courses are, like all other MOOCS, aimed at Bachelor and Master School students as part of their on-campus courses, but are also accessible for anyone who likes practical programming and making IoT-applications. EIT Digital uses Coursera as the technical delivery platform for its MOOC offering. Content for EIT Digital MOOCs is provided by EIT Digital's academic partners. SO far, over 20,000 learners from around the world have participated in EIT Digital MOOCs.
Fundamentals of Computer Architecture
The Fundamentals of Computer Architecture is the first of four MOOCs in the Advanced Computer Architecture course. This MOOC is developed by professor Ben Juurlink for Embedded Systems Architectures of the Technical University in Berlin. Other MOOCs in this course will appear in the coming weeks. This course introduces several topics for learners about the fundamentals of computer architecture. After completing this course, students will have basic knowledge of Computer Performance and Benchmarks, Summarizing Performance, Amdahl's law and Introduction to Embedded Systems. The learners will also have tools to evaluate different computer architectures as well as the software executing on them. Also the learners have knowledge about modern microprocessors and the design techniques used to increase their performance.
System Validation (2) Model process Behaviour
Professor of Embedded Systems at the Eindhoven University of Technology, Jan Friso Groote teaches the MOOC System Validation (2): Model process Behaviour. This MOOC is the second instalment in EIT Digital's course on System Validation. It is expected that additional MOOCs on this topic will be published by the beginning of December. Model process behaviour is the follow up MOOC on Automata and behavioural equivalences. This three week MOOC shows how to model process behaviour in particular protocols and distributed algorithms, dive deeper in the properties of system behaviour, and keep things simple to avoid a state space explosion.
Quantitative Model Checking
Anne Remke, Assistant Professor at the University of Twente at the Design and Analysis of Communication Systems group, which belongs to the Faculty of Electrical Engineering, Mathematics, and Computer Science, is complementing the course on Quantitative Formal Modelling with the MOOC Quantitative Model Checking. The main focus of this course is on quantitative model checking for Markov chains, for which efficient computational algorithms will be discussed.