Verification and Validation in Cyber Physical Systems

Type:

Master Seminar

Semester:

Winter Semester 2016/17

Language:

English

Preliminary Meeting:

28.06.2016, 15:30 – 16:30,

Room: 01.09.14(Alonzo church)

Lecturer:

Prof. Dr. Alexander Pretschner

Mojdeh Golagha



SWS:

2

ECTS:

4

LvNr:

1123 (IN2107)

Links:

TumOnline, Moodle

Contact:

Mojdeh Golagha

Max. Number of participants

10

Info:

 

Preliminary meeting slides


Please write to Mojdeh Golagha, if you are interested in any of the suggested topics.

Preliminary meeting slides


Please write to Mojdeh Golagha, if you are interested in any of the proposed topics.

Rules for participation and registration

  1. Plagiarism of any form (blatant copy-paste, summarizing some else's ideas/results without reference etc.) will result in immediate expulsion from the course!
  2. All submissions are mandatory. Each submission must fulfill a certain level of quality. Submissions that are just collections of buzzword/keywords or coarse document structures will not be accepted. Failing that will be graded 5.0
  3. Late submissions will invite penalties.
  4. Non-adherence to submission guidelines will invite penalties.
  5. Slides must be discussed with the supervisor at least one week before the presentation. Presentation must be held in English!
  6. Participation and attendance in all seminar presentations is mandatory. Students must read the final submissions of their colleagues and participate in the discussions.
  7. Registration for the seminar takes place by the TUM Online Matching System.
  8. Once successfully registered for the seminar
    1. Students select at most 3 free available individual seminar topics (available on Moodle) of their choice.
    2. Send the selected topics via email (subject: V2CPS) in a preferred order from 1 (=most preferred topic) to 3 to Mojdeh Golagha.
  9. Once allotted a topic (you will get a confirmation email),
    1. Students must acknowledge their acceptance of the topic and participation in the seminar latest by TBA.
    2. Students willing to quit the seminar must send a cancellation email by TBA , failing which they will be graded 5.0

Content

Cyber Physical Systems (CPS) are one type of multipart engineering systems, which is based on the integration of physical, computational and communication parts. CPS is widely used in biomedical and healthcare systems, autonomous automotive systems, automatic pilot avionics, smart grids and many other industrial applications.

Cyber physical systems are growing rapidly. While verification and validation are major parts in the development process of such systems, we believe that research and education in this field is of great importance for business for years to come.

Their primary characteristic that is central to this seminar is the high potential cost of failure. Often the interface of such systems to the physical world deals with human lives. Thus, the need to prevent any catastrophic failure in the combination of hardware and software components provides major technical challenges in verification and validation of such systems. This concern forms the core of this seminar.

Traditional verification and validation methodologies are not sufficient for these systems. There are ongoing researches to overcome the rising challenges. Following papers address the research challenges in CPS verification and validation:

-        X. Zheng and C. Julien, "Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward," Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 2015 IEEE/ACM 1st International Workshop on, Florence, 2015, pp. 15-18. doi: 10.1109/SEsCPS.2015.11

-        X. Zheng, C. Julien, M. Kim and S. Khurshid, "On the State of the Art in Verification and Validation in Cyber Physical Systems", The University of Texas at Austin, The Center for Advanced Research in Software Engineering, Tech. Rep. TR-ARiSE-2014 , 2014

Areas of interest include but are not limited to:

  • Formal modelling and verification of hybrid systems
  • Different approaches to automatic test case generation/selection
  • Fault localization
  • Fault-injection and test of CPSs
  • Fault tolerance in CPSs

Objective

The goal of this seminar is twofold: on one hand, this seminar will introduce students to the major constituent of scientific method that is concerned with critically reading, understanding, summarizing, explaining and presenting existing scientific papers; on the other hand, the content of the seminar will provide students with an understanding of state of the art in Verification and validation of the Cyber physical systems.

Students will read one or more papers that are assigned to them by their supervisors; they are encouraged to find and read further relevant articles on the topic. Understanding the central statements of a paper includes highlighting, complementing and explaining possibly implicit assumptions as well as deliberately or accidentally incomplete chains of argumentation; it typically also includes coming up with own examples. This understanding should be reflected in the written exposé. This exposé must include the problem that is tackled in the original papers as well as the central assumptions, results, statements and arguments that were identified while reading the original paper. Merely paraphrasing the original paper is not sufficient.

Paper Submissions

We expect your paper to be maximum 15 pages in Springer LNCS style. We will not accept any other formats. All submissions must be as PDF files: no other file formats are acceptable. The presentation will be 30 minutes + 15 minutes of discussion.

Material and Suggested papers

See Moodle