Welcome to the SSRM symposium web site

An invitation to the SSRM symposium

Simulation-based System Risk Management

Tel-Aviv University, 26-Oct 2011

Synopsis

Date: Wednesday, 26-October 2011, 10 am to 5 pm
Where: Tel Aviv University, Schreiber building, room 6
Title: SSRM symposium (Simulation-based System Risk Management)
Topic: Simulation-based approaches for finding and categorizing high-risk scenarios in socio-technical systems
Web site with more information: http://www.cs.tau.ac.il/~amiramy/ssrm
Organizers: Prof. Amiram Yehudai (TAU), Yoav Hollander (Foretellix)

The symposium is open to all. Please confirm your attendance ASAP by emailing ssrm_symposium@cs.tau.ac.il . Also, feel free to forward this invitation to anybody else who might be interested.

Overview

As the modern world produces more complex and integrated socio-technical systems, understanding their risks and tradeoffs becomes ever more crucial. We are all familiar with socio-technical accidents (in areas such as aviation, military systems, medical systems etc.) whose causes, which seem obvious in retrospect, were hidden beforehand by the systems’ complexity.

Let’s call this problem (finding and qualifying risks in socio-technical systems) System Risk Management or SRM for short. Currently there are various approaches to SRM, such as fault-trees, formal analysis etc. However, we believe that these approaches will not suffice as the problem continues to grow.

Meanwhile, simulation-based verification has proven itself as the most effective bug-finding approach in the complex world of electronic system design (more on this in the web site). Thus we believe that Simulation-based SRM (SSRM) has a lot of promise. It is, however, fairly rare in practice – there are still quite a few challenges to overcome.

The SSRM symposium is meant to bring together people from industry and the academic world to discuss SRM in general and SSRM specifically, in the hope of bootstrapping this new, interdisciplinary area.

Please visit the Symposium’s web site at http://www.cs.tau.ac.il/~amiramy/ssrm for further information, including topics of interest, FAQ, references, abstracts etc.

Tentative agenda

9:30 to 10:00: Registration and refreshments
10:00 to 10:20: Prof. Amiram Yehudai, TAU: Opening remarks
10:20 to 11:00 Yoav Hollander, Foretellix: “Socio-technical risks and simulation - background and some observations”
11:00 to 11:30: Nir Beth Halachmi, Program Manager, Elbit Systems' UAV division: "Examples of risks caused by multi-domain combinations - a look into the world of UAVs" and a short video
11:30 to 11:45: Break
11:45 to 12:15: Boris Zaets, Managing director, Ram Craft Ltd: “Safety management in multidisciplinary systems”
12:15 to 12:45: Discussion
12:45 to 1:45: Lunch (in any of the university restaurants)

1:45 to 2:15: Moshe Levinger, Area manager, Verification and Analytics, IBM research: “Initial thoughts on the relationship between system engineering validation and hardware verification"
2:15 to 2:45: Gennady Waizman, Geosimulation lab, TAU: “Estimation of accident risk at road black spots with the SAFEPED agent-based simulation software”
2:45 to 3:15: Dr. Assaf Marron, Weizmann institute: “Composing Independent Behaviors into Executable Systems and Models “
3:15 to 3:30: Break
3:30 to 4:40: Discussions and short presentations
4:40 to 5:00: Prof. Amiram Yehudai, TAU: Closing remarks

Note: We have the room until 6 – some people may want to stay for a smaller-forum discussion