EDCC 2020 Workshop: DREAMS
Dynamic Risk managEment for AutonoMous Systems

Review DREAMS Workshop 2020

»I initiated and organized the DREAMS Workshop because we have been doing research on the topic of “dynamic risk management” for a long time already and because it has become more and more important in recent years. It is being increasingly discussed in different application domains in research, practice, and standardization. I consider it a core element for mastering the risks of critical autonomous systems.

With the DREAMS Workshop, I wanted to bring together different groups to create synergies and establish a shared understanding, starting with the undefined term “dynamic risk management”.

I am looking forward to getting feedback about the workshop and to hearing from anyone who might want to get involved in assisting with a potential future event.«  

Dr. Rasmus Adler

Videos and Recordings of the talks at the DREAMS Workshop

Privacy warning

With the click on the play button an external video from wwww.youtube.com is loaded and started. Your data is possible transferred and stored to third party. Do not start the video if you disagree. Find more about the youtube privacy statement under the following link: http://www.youtube.com/t/privacy_at_youtube

Keynote "A Safety Case plus SPIs Metric Approach for Self-Driving Car Safety" Prof. Philip Koopman at EDCC 2020

This keynote talk given by Philip Koopman puts Dynamic Risk Management into the big picture of safety assurance for self-driving vehicles. It focuses on the safety case and on monitoring its validity by means of Safety Performance Indicator.  DRM relates to the “runtime safety monitor” on slide 14 (minute 27).

Privacy warning

With the click on the play button an external video from wwww.youtube.com is loaded and started. Your data is possible transferred and stored to third party. Do not start the video if you disagree. Find more about the youtube privacy statement under the following link: http://www.youtube.com/t/privacy_at_youtube

External Talk: "Mathematical Risk Model for Assuring Functional Safety in Autonomous Vehicles" (Michael Woon at EDCC 2020)

Privacy warning

With the click on the play button an external video from wwww.youtube.com is loaded and started. Your data is possible transferred and stored to third party. Do not start the video if you disagree. Find more about the youtube privacy statement under the following link: http://www.youtube.com/t/privacy_at_youtube

External Talk: "Smart Safety – Safe detection of new hazards" (Dr. Detlev Richter at EDCC 2020)

This keynote talk by Detlev Richter from TüV Süd discusses Dynamic Risk Management in the context of smart manufacturing. It highlights the need for Dynamic Risk Management and provides a clear vision for its realization.
The working group for AI in smart manufacturing (of which Detlev Richter and Dr. Rasmus Adler are members) agreed on the need for DRM and a related recommended action was formulated in the upcoming German standardization roadmap for AI.  

 


The safety-administration shells (green boxes at minute 16:30) relate to
Digital Dependability Identities and their instantiation for functions/components/systems in the production domain like in
this success story with Sick AG. This can enable automated risk reasoning in an IT-backbone (see
https://www.basys40.de/ and  https://www.fab-os.org/).

Privacy warning

With the click on the play button an external video from wwww.youtube.com is loaded and started. Your data is possible transferred and stored to third party. Do not start the video if you disagree. Find more about the youtube privacy statement under the following link: http://www.youtube.com/t/privacy_at_youtube

External Talk: "Concepts of Dynamic Assurance for Trusted Autonomy" (Ganesh Pai at EDCC 2020)

That invited talk from Pai Ganesh provides an overview of dynamic assurance concepts, and an example of how these concepts can be implemented in aviation. It also refers to several research papers for further reading.

Privacy warning

With the click on the play button an external video from wwww.youtube.com is loaded and started. Your data is possible transferred and stored to third party. Do not start the video if you disagree. Find more about the youtube privacy statement under the following link: http://www.youtube.com/t/privacy_at_youtube

External Talk: "Safety Cases for Adaptive Systems of Systems: State of the Art & Current Challenges" (Elham Mirzaei, Carsten Thomas, Mirko Conrad at EDCC 2020)

That paper presentation by Elham Mirzaei focuses on dynamic safety cases. The approach is strongly related to our research given by Conditional Safety Certificates (ConSerts) and Digital Dependability Identities.

Dynamic safety cases enable runtime reasoning about the safety of systems/components that are dynamically composed at runtime. It is also the basis for making a composition aware of the current risk as it enables safe shared perception.

 

Privacy warning

With the click on the play button an external video from wwww.youtube.com is loaded and started. Your data is possible transferred and stored to third party. Do not start the video if you disagree. Find more about the youtube privacy statement under the following link: http://www.youtube.com/t/privacy_at_youtube

External Talk: "Enforcing Geofences for Managing Automated Transportation Risks in Production Sites" (Faiz Ui Muram at EDCC 2020)

That paper presentation by Faiz Ui Muram presents a simulation-based approach for identifying hazards during verification and validation to gain higher confidence in production side safety. The simulation is done at design-time (during V&V) but the fundamental idea is closely related to runtime-assurance. Furthermore, the paper contributes to the topic of continuous (safety) engineering.

DREAMS 2020 HAS MOVED FROM PHYSICAL MODE TO DIGITAL MODE DUE TO PANDEMIC COVID-19.

The DREAMS Workshop will be colocated with the 16th European Dependable Computing Conference (EDCC) 7 - 10 September 2020 Munich, Germany

http://edcc.dependability.org/

 

Registration

Please note that this workshop is free of charge for all participants (incl. paper publications).

All the workshops included in the EDCC conference will be held the 7th September 2020 as parallel virtual events, using ON24.com platform. Details will be published soon.

Please, press here to register!

(https://eveeno.com/edcc-2020)

 

Registration deadline for presenters: 6th of August.
Registration deadline for participants: 14th of August.

 

Note: the registration is used to better plan the event and it is mandatory for all workshop participants!

Autonomous systems have enormous potential and they are bound to be a major driver in future economical and societal transformations. Their key trait is that they pursue and achieve their more or less explicitly defined goals independently and without human guidance or intervention. In contexts where safety, or other critical properties, need to be guaranteed it is, however, presently hardly possible to exploit autonomous systems to their full potential. Unknowns and uncertainties are induced due to high complexity of the autonomous behaviors, the utilized technology and the volatile and highly complex system contexts. These characteristics render the base assumptions of established assurance methodologies (and standards) void, hence new approaches need to be investigated. One general approach to deal with such unknowns and uncertainties is to shift parts of the development time assurance activities into runtime when all required information can be resolved.

Giving systems runtime assurance capabilities means empowering them to monitor their environments (i.e. other collaborating systems as well as the physical environment), analyze and reason about implications regarding key safety requirements, and, execute control actions to ensure adherence to these requirements at any time – thus conducting Dynamic Risk Management (DRM). DRM has the potential to not only outright enable certain types of systems or applications, but also to significantly increase the performance of already existing ones. This is due to the fact that by resolving unknowns and uncertainties at runtime it will be possible to get rid of worst case assumptions that typically detriment the systems performance properties. The DREAMS workshop intends to explore concepts and techniques for realizing DRM. It invites experts, researchers, and practitioners for presentations and in-depth discussions about prediction models for risk identification, integration between strategic, tactical and operational risk management, architectures for dynamic risk management, and V&V of dynamic risk management.

DREAMS aims at bringing together communities from diverse disciplines, such as safety engineering, runtime adaptation, predictive modelling, control theory, and from different application domains such as automotive, healthcare, manufacturing, agriculture and critical infrastructures.

 

Topics of interest include but are not limited to:

  • DRM concepts and methods (e.g., methods to derive suitable risk metrics)
  • DRM architectures
  • Layered DRM approaches combining different scopes (e.g., combining DRM at trajectory planning level and at maneuver planning)
  • Collaborative DRM performed by groups of cyber-physical systems
  • AI-based DRM and trustworthiness considerations
  • DRM classifications and taxonomies
  • Case studies 

Time (Cest) DREAMS
14:30-14:40 Opening
Workshop presentation
14:40-15:10 Keynote: "Run-Time Monitoring of Safety Performance Indicators (SPIs) for Self-Driving Cars"
Prof. Phil Kopmann (Carnegie Mellon University, USA)
15:10-15:40

Keynote: “Requirements for a digital representation – safe detection of new hazards”
Dr. Detlev Richter (TÜV SÜD Vice President Global, Head of Industrial and Energy Products, Germany)

15:40-15:45 break
15:45-16:15

Workshop paper presentation

"Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges"
Elham Mirzaei (HTW Berlin, Germany), Carsten Thomas (HTW Berlin, Germany) and
Mirko Conrad (samoconsult GmbH, Germany)

16:15-16:45

"Enforcing Geofences for Managing Automated Transportation Risks in Production Sites"
Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, and Sasikumar Punnekkat
(School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden)

16:45-16:50 break
16:50-17:20

Invited talks

"Mathematical Risk Model for assuring functional safety in autonomous vehicles"
Michael Woon (Founder and CEO from retrospect, Germany)

17:20-17:50

"Concepts of Dynamic Assurance for Trusted Autonomy
Ganesh J. Pai (Principal Researcher, KBR / NASA Ames Research Center, USA)

Full Paper Submission June 22, 2020 (firm deadline)
Authors Notification June 29, 2020 (firm deadline)
Camera Ready Papers July 15, 2020 (firm deadline)

Submitted papers must be unpublished and not considered elsewhere for publication.
Submissions will undergo a rigorous review process handled by the Technical Program Committee.
Papers will be selected based on their originality, significance, relevance, and clarity of presentation.

Only electronic submissions in PDF format through the submission site (https://easychair.org/conferences/?conf=dreams2020 ) will be considered.

The DREAMS proceedings will be published to Springer Communications in Computer and Information Science (CCIS) (https://www.springer.com/series/7899)

Papers must be in English, up to 12 pages in Springer format, including references and appendices.
Information for authors, LaTeX and Microsoft Word templates, as well as formatting guidelines, can be found here.

Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.

Organizers

  • Rasmus Adler (Fraunhofer IESE, Germany)
  • Daniel Schneider (Fraunhofer IESE, Germany)
  • Philipp Schleiß (Fraunhofer IKS, Germany)

Program Committee

  • Phil Kopmann (Carnegie Mellon University, USA)
  • Naoki-sam Ishihama (Jaxa, Japan)
  • Patrik Feth (Sick ag, Germany)
  • Nicola Paltrinieri (Norwegian university of science and technology, Norway)
  • Eric Armengaud (AVL, Austria)
  • Ibrahim Habli (Univeristy of York, UK)
  • Yiannis Papadopulous (University of Hull, UK)
  • Ayhan Mehmed (TTTech Auto AG, Austria)
  • Lydia Gauerhof (Bosch, Germany)
  • Roman Gansch (Bosch, Germany)
  • John Rushby (SRI International. USA)
  • Gordon Blair (Lancaster University, UK) 
  • Daniel Görges (Technische Universität Kaiserslautern, Germany)