安全嵌入式系统的开发

你将学到什么

课程概况

Three people died after the crash landing of an Asiana Airlines aircraft from Seoul, Korea, at San Fransisco International Airport (SFO) on July 6, 2013. The American National Transportation Safety Board (NTSB) established that the crash most probably was caused by the flight crew’s (in)actions. Three teenage girls lost their lives; two in the airplane and another was accidentally run over by a firetruck.

The human factor is often cause for accidents. NTSB and others report that more than 50 percent of plane crashes is caused by pilot error (and for road accidents it is even 90 perc.) Correctly designed safety and security critical systems can prevent these errors.

After following this course successfully, you are able to develop secure embedded systems that are at the core of these safety and security critical systems. You are even challenged to program your own landing guiding system in our capstone project.

If you are interested in building secure embedded systems for the benefit of humanity, this specialization is for you!

EIT Digital has chosen 3 MOOC topics of industrial interest, namely: 1) Embedded design and hardware, 2) Security in embedded connectivity and 3) Real-Time systems. These MOOCs show what it takes to program Internet-of-Things systems. We focus on tools used in the modern IoT industry, and we push for a practical learn-by-programming approach in which you are exposed to the actual development in an early stage.

We hope to see you soon!

包含课程

课程1
Embedded Hardware and Operating Systems

This course is intended for the Bachelor and Master's students, who like practical programming and making IoTs applications!In this course we will talk about two components of a cyber physical system, namely hardware and operating systems.

After completing this course, you will have the knowledge of both hardware components and operating systems. You are able to plan and use embedded operating systems in resource-constraint devices for Internet-of-Things (cyber physical system) applications. In addition, you can use Cooja simulation for designing and simulating wireless sensor network applications.

We have 4 modules, each with a graded quiz in the end and finally we have one peer reviewed programming assignment
In case you have no experience with C programming, please check you a practical course like:
https://www.coursera.org/learn/arduino-platform.

The course is actually quite fun at the end when you are playing around with Cooja simulation for IoTs applications. So you can create and simulate your own design for sensor network applications. A lot of features and examples of Contiki and Cooja can be explored via assignments. There are some optional assignments of wireless sensor network applications for students who want to explore more about embedded OS in IoTs applications.

- Marco Ramirez /University of Turku
- Igor Tcarenko/ University of Turku
- Nguyen Gia Tuan /University of Turku

Check out our whole curriculum: http://iot4health.utu.fi/

课程2
Web Connectivity and Security in Embedded Systems

Welcome to Web Connectivity and Security in Cyber Physical Systems!In this course, we will explore several technologies that bring modern devices together, facilitating a network of connected things and making devices internet enabled. We will discuss rules, protocols, and standards for these devices to communicate with each other in the network. We will also go through security and privacy issues and challenges in cyber physical systems (CPS). We will explore measures and techniques for securing systems from different perspectives. Possible attack models are introduced and solutions to tackle such attacks are discussed. Moreover, some basic concepts related to privacy in cyber physical systems are presented.

The course comprises altogether five modules and is split up into two main sections. The first section contains three modules and centers on the problem of web connectivity in cyber physical systems. The second section consist of two modules focusing on security measures in such systems. Each module ends with a graded quiz, and there is a final peer reviewed exam at the end of the course covering the two main sections of the course.

After completing this course, you will have the basic knowledge and capacity for designing the network architecture of your cyber physical system. This includes putting together different components, selecting suitable communication protocols, and utilizing these protocols in your system. You will also be able to define security requirements for your system and choose and implement a proper security and privacy technique to protect it.

课程3
Development of Real-Time Systems

This course is intended for the Master's student and computer engineer who likes practical programming and problem solving!After completing this course, you will have the knowledge to plan and set-up a real-time system both on paper and in practice.

The course centers around the problem of achieving timing correctness in embedded systems, which means to guarantee that the system reacts within the real-time requirements.
Examples of such systems include airbags, emergency breaks, avionics, and also multi-media systems like video playback and QoS in web servers.

The course teaches how to plan real-time systems in theory using established mathematical proofs and how to implement them in practice by using the most common scheduling methods.
We also learn and how to program the system in the C language using the FreeRTOS real-time kernel.
Finally we have a look at the future of real-time systems namely multi-core real-time systems!

This course focus on the learn-by-doing approach with many examples and real-world programming assignments.
We have 5 modules, each with a gentle graded quiz in the end and one peer reviewed programming assignment.
In case you have no experience with C programming, please check you a practical course like:
https://www.coursera.org/learn/arduino-platform

The course is actually quite fun!
-Simon Holmbacka / Åbo Akademi University

Check out our whole curriculum: https://research.it.abo.fi/

课程4
Capstone: Autonomous Runway Detection for IoT

This capstone project course ties together the knowledge from three previous courses in IoT though embedded systems: Development of Real-Time Systems, Web Connectivity & Security and Embedded Hardware and Operating Systems. The students will develop a larger system using the learning outcomes from these courses, and the students will evaluate the developed system in a real-world programming environment. This course is a true engineering task in which the student must, not only implement the algorithm code, but also handle the interfaces between many different actors and hardware platforms. The students will learn how to motivate engineering decisions and how to choose implementations to make a system actually running. The students will also learn to evaluate the efficiency and the correctness of their system as well as real-world parameters such as energy consumption and cost.

课程项目

Our project is a practical programming assignment in which the learner combines the knowledge from our three courses. The learner will develop a real embedded IoT system based on the FreeRTOS platform from Wittenstein Ltd. It is a true engineering task in which the learner must apply both their skills and creativity to build a functioning large scale embedded system.

预备知识

Basic C programming, Basic computer architecture, Basic network knowledge, Basic software development