Embedded and Cyber- Physical Systems

Course Information
TitleΕνσωματωμένα και κυβερνοφυσικά συστήματα / Embedded and Cyber- Physical Systems
CodeIHST209
FacultySciences
SchoolInformatics
Cycle / Level2nd / Postgraduate
Teaching PeriodSpring
CoordinatorPanagiotis Katsaros
CommonNo
StatusActive
Course ID600018375

Programme of Study: PMS TECΗNOLOGIES DIADRASTIKŌN SYSTĪMATŌN (2018 éōs sīmera) MF

Registered students: 0
OrientationAttendance TypeSemesterYearECTS
KORMOSElective Courses217.5

Programme of Study: PMS TECΗNOLOGIES DIADRASTIKŌN SYSTĪMATŌN (2018 éōs sīmera) PF

Registered students: 3
OrientationAttendance TypeSemesterYearECTS
KORMOSElective Courses217.5

Class Information
Academic Year2021 – 2022
Class PeriodSpring
Faculty Instructors
Weekly Hours3
Class ID
600200640
Course Type 2011-2015
Knowledge Deepening / Consolidation
Mode of Delivery
  • Face to face
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
  • Greek (Instruction, Examination)
  • English (Instruction, Examination)
Learning Outcomes
Today, the vast majority of computers in use do not focus on information processing. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They control your microwave oven, refrigerator, and dishwasher. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. They bring toys to life, enabling them to react to human touch and to sounds. They control aircraft and trains. These computers are called embedded systems, and the software they run is called embedded software. The principal engineering problem for embedded systems in the past was how to cope with limited resources (limited processing power, limited energy sources, small memories, etc.). As such, the engineering challenge was to optimise the designs. Recently, the community has come to understand that the principal challenges in embedded systems stem from their interaction with physical processes, and not from their limited resources. The term cyber-physical systems (CPS) refers to the integration of computation with physical processes. In CPS, embedded computers and networks monitor and control the physical processes, usually with feedback loops where physical processes affect computations and vice versa. The design of such systems, therefore, requires understanding the joint dynamics of computers, software, networks, and physical processes. There numerous applications of CPS. Consider for example various systems for automotive safety that have been deployed or are in advanced stages of research and development. For example, many cars today detect inadvertent lane changes (physical process) and warn the driver (computation). It is easy to imagine many other applications, such as systems that assist the elderly; telesurgery systems; and home appliances that cooperate to smooth demand for electricity on the power grid. Moreover, it is easy to envision using CPS to improve many existing systems, such as robotic manufacturing systems; electric power generation and distribution; process control in chemical factories; distributed computer games; transportation of manufactured goods; heating, cooling, and lighting in buildings; people movers such as elevators; and bridges that monitor their own state of health. The impact of such improvements on safety, energy consumption, and the economy is potentially enormous. When studying CPS, certain key problems emerge that are rare in so-called general purpose computing. For example, in general-purpose software, the time it takes to perform a task is an issue of performance, not correctness. It is not incorrect to take longer to perform a task. It is merely less convenient and therefore less valuable. In CPS, the time it takes to perform a task may be critical to correct functioning of the system. In CPS, moreover, many things happen at once. Physical processes are compositions of many things going on at once, unlike software processes, which are deeply rooted in sequential steps. In the physical world, by contrast, processes are rarely procedural. Measuring and controlling the dynamics of these processes by orchestrating actions that influence the processes are the main tasks of embedded systems. Consequently, concurrency is intrinsic in CPS. Many of the technical challenges in designing and analysing embedded software stem from the need to bridge an inherently sequential semantics with an intrinsically concurrent physical world. We expect that in the frame of this course the students - understand the interplay of software and hardware with the physical environment in which they operate - will understand models about the evolution of a system state (dynamics) and their relationship to realisations of systems - understand embedded systems as stepping stones towards a sound design practice - understand how today’s technologies both impede and achieve sound design practice - will be familiarised with the temporal dynamics of CPS designs and the concurrency issues that they face - will develop a critical understanding of threads, message passing, deadlock avoidance, race conditions, and data determinism
General Competences
  • Retrieve, analyse and synthesise data and information, with the use of necessary technologies
  • Make decisions
  • Work autonomously
  • Work in an interdisciplinary team
  • Generate new research ideas
  • Advance free, creative and causative thinking
Course Content (Syllabus)
Introduction to Cyber-Physical Systems, Continuous Dynamics, Discrete Dynamics, Hybrid Systems, Composition of State Machines, Concurrent Models of Computation, Sensors and Actuators, Embedded Processors, Memory Architectures, Input and Output, Multitasking, Scheduling, Reachability Analysis and Model Checking, Quantitative Analysis, Security and Privacy
Keywords
embedded systems, dynamic systems, hybrid systems, concurrency, multitasking, timed systems, system architecture, verification, security
Educational Material Types
  • Slide presentations
  • Book
Use of Information and Communication Technologies
Use of ICT
  • Use of ICT in Course Teaching
  • Use of ICT in Communication with Students
Description
Various audiovisual technologies are used in teaching, as well as the elearning educational platform to support the communication with the students.
Course Organization
ActivitiesWorkloadECTSIndividualTeamworkErasmus
Lectures39
Reading Assigment80
Project40
Written assigments16
Exams48
Total223
Student Assessment
Description
The students will be graded based on their performance in the final written exam. Their grade will get a bonus up to 25% depending on the performance of each student in the individual project that will be assigned during the semester.
Student Assessment methods
  • Written Exam with Multiple Choice Questions (Summative)
  • Written Exam with Short Answer Questions (Summative)
  • Written Assignment (Summative)
  • Written Exam with Problem Solving (Summative)
Bibliography
Additional bibliography for study
1. E. Ashford Lee, S. A. Seshia, Introduction to Embedded Systems - a Cyber-physical Systems Approach, 2nd ed., MIT Press, 2017 2. D. Lacamera, Embedded Systems Architecture, PACKT Publishing, 2018 3. R. Alur, Principles of Cyber-physical Systems, MIT Press, 2015 4. Ι. Μυριτζής, Δυναμικά συστήματα με εφαρμογές στη φυσική και στην οικολογία, Ελληνικά Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα (www.kallipos.gr), 2015 5. M. Wolf, Computers as Components - Principles of Embedded Computing System Design, 4th ed., Morgan Kaufmann, 2016
Last Update
25-01-2020