199.099 Software Design for Cyber-Physical Systems
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

After successful completion of the course, students will understand the subtleties of designing software that interacts with physical processes through sensors and actuators and is distributed across networks. Students will gain experience with techniques that can build confidence in such software designs, including learning the strengths and limitations of deterministic models, fundamental tradeoffs between availability and consistency, and reasoning about concurrency. Also, students will be able to critically analyze the strengths and weaknesses of a variety of approaches for managing concurrent and distributed software.

Inhalt der Lehrveranstaltung

The lecturer of this course will be Prof. Edward Lee / University of California at Berkeley (eal@berkeley.edu).

 

Course abstract: Cyber-physical systems (CPSs) combine physical components (such as vehicles and robots) with software controllers and monitors.  The overall behavior of the system arises from the combination and cannot be deduced from the individual components alone.  Software components in such systems have properties that are not shared by many information technology applications, such as strong sensitivity to timing.  This short course (18 hours) will introduce the principles behind CPS with a particular focus on models of computation. The course will study a relatively new programming framework called Lingua Franca that specifically addresses a number of the issues that arise with CPS design. Students will be asked to do a small project, which may be an application study in Lingua Franca or an analysis of another framework used for CPS (such as the Robot Operating Systems (ROS) or Adaptive AUTOSAR).

Outline Syllabus:

• Cyber-Physical Systems (CPS)
• Introduction to Lingua Franca
• Software Engineering Principles for CPS
• Concurrent and Timed Models of Computation
• The Role of Determinism
• Abstraction and Refinement
• Coordination of Distributed Software
• The Tradeoff Between Consistency and Availability
• Introduction to Semantics

 

 

Methoden

This will be a lecture with discussions. Students will be assigned some programming exercises of varying difficulty and will be expected to work in teams and to give brief presentations of their work.


Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

This is a guest professor course of the TU Wien Informatics Doctoral School / Doctoral College "Resilient Embedded Systems".

The course is open to all PhD students and interested Master students.


Planned Course Schedule: May 2 - 31, 2022 (every Mon and Wed afternoon)

Further information will be announced as soon as possible.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.14:00 - 16:0002.05.2022FAV Hörsaal 2 Software Design for Cyber-Physical Systems
Mi.14:00 - 16:0004.05.2022Seminarraum DE0110 Software Design for Cyber-Physical Systems
Mo.14:00 - 16:0009.05.2022FAV Hörsaal 2 Software Design for Cyber-Physical Systems
Mi.14:00 - 16:0011.05.2022Seminarraum DE0110 Software Design for Cyber-Physical Systems
Mo.14:00 - 16:0016.05.2022FAV Hörsaal 2 Software Design for Cyber-Physical Systems
Mi.14:00 - 16:0018.05.2022Seminarraum DE0110 Software Design for Cyber-Physical Systems
Mo.14:00 - 16:0023.05.2022FAV Hörsaal 2 Software Design for Cyber-Physical Systems
Mi.14:00 - 16:0025.05.2022Seminarraum DE0110 Software Design for Cyber-Physical Systems
Mo.14:00 - 16:0030.05.2022FAV Hörsaal 2 Software Design for Cyber-Physical Systems

Leistungsnachweis

There will not be an exam. Instead, students will turn in well-commented code addressing both individual and team exercises and provide brief presentations of their work.

 


LVA-Anmeldung

Von Bis Abmeldung bis
11.02.2022 00:00 02.05.2022 23:59

Anmeldemodalitäten

Please register in TISS.

Curricula

Literatur

Lee and Seshia, Introduction to Embedded Systems: A Cyber-Physical Systems Approach, MIT Press, 2017, also available at https://leeseshia.org.

Marten Lohstroh, Christian Menard, Soroush Bateni, and Edward A. Lee, "Toward a Lingua Franca for Deterministic Concurrent Systems," ACM Transactions on Embedded Computing Systems (TECS), May, 2021.

Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard, "Quantifying and Generalizing the CAP Theorem," arXiv:2109.07771 [cs.DC], September, 2021.

Edward A. Lee, "Determinism," ACM Transactions on Embedded Computing Systems (TECS), July, 2021.

Edward A. Lee and Marten Lohstroh, "Time for All Programs, Not Just Real-Time Programs," Int. Symp. on Leveraging Applications of Formal Methods (ISoLA) , October 17-29, 2021.

Vorkenntnisse

Some programming experience in any of C, C++, Python, JavaScript, or Rust.

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch