Joint ITU-T and SDL Forum Society workshop on ITU System Design Languages Geneva, 5 th -6 th Sep 008 Model-based development of self-organized earthquake early warning systems Joachim Fischer Klaus Ahrens, Ingmar Eveslage, Frank Kühnlenz SAFER = Seismic early warning For EuRope
Outline Fast trip through the - nature of earthquakes - seismological analysis Prototyping and administrating infrastructure for EEWS - modeling languages SDL, UML, ASN. - tool chain as an adoption and extension of PragmaDev DS - geographical context relation First use cases of SOSEWIN: EEWS prototype Istanbul Conclusions
Danger for Mega-City Istanbul earthquake risk map Task 4.4 Sebastian Heglmeier, Björn Lichtblau, Jens Nachtigal, Jens-Peter Redlich, Kevin Fleming, Claus Milkereit, Matteo Picozzi, Ingo Veit, Klaus Ahrens, Ingmar Eveslage, Joachim Fischer, Frank Kühnlenz Marmara Sea Black Sea Egypt France Germany Greece Island Italy Norway Romania Switzerland Turkey >4 Mio. inhabitants, yearly addition of 50.000 many buildings were smutty and illegal established 50% of Turkish economic output
Current Seismometer Networks isolated high-cost sensitive seismometers (5.000 0.000 / node) far away of living areas wired connected high-cost sensitive seismometers far away of living areas wire-less connected centralized management high-cost sensitive seismometers directed antennas far away of living areas WLAN Access-Point 4
Various Goals of Seismometer Networks hypocentre event time magnitude ~ energy arrival time seismometer local intensity ~ rest energy arrival time in a living area precise computation of magnitude event time epicentre depth evaluation time time 5
Various Goals of Seismometer Networks hypocentre event time P-wave arrival time evaluation time x P-wave arrival time in a living area S-wave Early Warning prediction of max. local intensity surface wave time intensity ~ local energy x 6
Various Goals of Seismometer Networks hypocentre event time Rapid Response online shake maps P-wave arrival time S-wave prediction intensity ~ local energy of many positions S-wave arrival time shake map generation time time 7
Our Approach: Paradigm of Self-Organisation network characteristics low-cost seismometer (00 / node) wire-less meshed, multi-hop decentralized management adaptive application Early Warning restricted mobility ad-hoc time-tolerant + high density directly in living areas!!! adaptive routing Rapid Response 8
System Integration with existing infrastructures 9 GSM/WMAX Split TCP Internet 6 4 5
SOSEWIN Software Architecture Sensor-Data Provider (SDP) Application Application Layer Layer Communication Layer Seismometer Driver Linux GPS- Receiver Driver SeedLink Server (SLS) Alarming Protocol (AP) TCP / UDP Optimized Link State Routing (OLSR) Medium Access Control (MAC) File Transfer Protocol (ftp) Wireless Local Area Network (WLAN) 0
Alarm Protocol Principle three-level alarming procedure for avoiding fault alarms () Single node alarm (P-wave recognition, S-wave prediction) only the corresponding group leader node is informed immediately () Group alarm (a critical number of group members are in Signal-Node Alarm Status) (all) other group leaders are informed immediately () System alarm (a critical number of group leader nodes are in Group Alarm Status) all gateway nodes are informed immediately
Model-based EEWS Prototyping & Administrating Infrastructure should support. model development of software components for - seismic signal-analyzing - protocol software offering cooperative alarming and - other domain-specific distributed services GIS-based earthquake input data streams (synthesizer, time series). generation of simulators to test network models GIS-based network configuration observation and evaluation of the network under different artificial earthquake scenarios. generation and usage of target code from improved network models GIS-based system installation monitoring, evaluation and administrating of the network under different artificial and real earthquake scenarios maintenance network model step-wise improvement of the EEWS real network
Model-based EEWS Prototyping & Administrating Infrastructure real network
Network Topology Editor 4
SOSEWIN Nodes and Alarm Protocol Entities signal analysing Sensing Node sensing nodes routing nodes leading nodes temporary nodes gateway nodes external nodes sensing management transport idle leading input stream of accelerometric raw data signal analysing Leading Node sensing management transport active leading signal analysing Sensing Node SOSEWIN Application Layer sensing management transport idle leading Gateway or Temporary Node transport OLSR / WLAN SOSEWIN Communication Layer 5
SDL-RT Development of Alarm Protocol Entities 6
978445669 ms 97844567 ms 97844567 ms 97844567 ms 978445674 ms 978445675 ms 978445679 ms 978445684 ms 978445685 ms 978445686 ms 978445689 ms 978445690 ms 97844569 ms 978445694 ms 978445695 ms 978445696 ms 978445704 ms 978445705 ms 978445706 ms 978445707 ms 97844570 ms 9784457 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844575 ms 97844577 ms 978445745 ms 978445747 ms 978445769 ms 97844577 ms 97844577 ms 9784458 ms 9784458 ms 97844585 ms 97844587 ms 978445869 ms 97844587 ms 97844587 ms 9784459 ms 9784459 ms 97844595 ms 978445969 ms 97844597 ms 97844597 ms 97844607 ms 97844607 ms 97844607 ms 978446074 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 97844647 ms 97844647 ms 97844647 ms 978446474 ms 978446569 ms 97844657 ms 97844657 ms 9784466 ms 9784466 ms 97844665 ms 978446669 ms 978446670 ms 97844667 ms 97844667 ms 9784467 ms 9784467 ms 97844675 ms 978446769 ms 97844677 ms 97844677 ms 97844677 ms 978446774 ms 97844687 ms 97844687 ms 9784477 ms 0 SensingEntity gnalanalyzingenti LeadingEntity ManagingEntity TransportEntity TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti GatewayEntity group prealarm groupalarm group LN_LN_Alarm LN_LN_Alarm LN_EN_Alarm group systemalarm LN_EN_Alarm SDL-RT Tool Chain: From Models to Code Model Checker Graphical Editor SDL-RT SDL UML C++ ASN. RTDS basic patterns Compiler C++ code MSC-Viewer C++ Compiler/ Linker experiment experiment repository repository Debugger Single Node Simulator Network Simulator Linux OpenWRT Logger 7
978445669 ms 97844567 ms 97844567 ms 97844567 ms 978445674 ms 978445675 ms 978445679 ms 978445684 ms 978445685 ms 978445686 ms 978445689 ms 978445690 ms 97844569 ms 978445694 ms 978445695 ms 978445696 ms 978445704 ms 978445705 ms 978445706 ms 978445707 ms 97844570 ms 9784457 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844575 ms 97844577 ms 978445745 ms 978445747 ms 978445769 ms 97844577 ms 97844577 ms 9784458 ms 9784458 ms 97844585 ms 97844587 ms 978445869 ms 97844587 ms 97844587 ms 9784459 ms 9784459 ms 97844595 ms 978445969 ms 97844597 ms 97844597 ms 97844607 ms 97844607 ms 97844607 ms 978446074 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 97844647 ms 97844647 ms 97844647 ms 978446474 ms 978446569 ms 97844657 ms 97844657 ms 9784466 ms 9784466 ms 97844665 ms 978446669 ms 978446670 ms 97844667 ms 97844667 ms 9784467 ms 9784467 ms 97844675 ms 978446769 ms 97844677 ms 97844677 ms 97844677 ms 978446774 ms 97844687 ms 97844687 ms 9784477 ms 0 SensingEntity gnalanalyzingenti LeadingEntity ManagingEntity TransportEntity TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti GatewayEntity group prealarm groupalarm group LN_LN_Alarm LN_LN_Alarm LN_EN_Alarm group systemalarm LN_EN_Alarm SDL-RT Tool Chain: From Models to Code Model Checker Graphical Editor SDL-RT+ SDL UML C++ ASN. RTDS basic patterns Compiler C++ code C++ Compiler/ Linker asynchronous communicating experiment experiment state machines by message exchange, timer repository repository plus aggregation of state machines (blocks) Missing block structures as namespaces also non-shared memory message coding dynamic block creation Debugger Single Node Simulator Network Simulator Linux OpenWRT Logger 8
978445669 ms 97844567 ms 97844567 ms 97844567 ms 978445674 ms 978445675 ms 978445679 ms 978445684 ms 978445685 ms 978445686 ms 978445689 ms 978445690 ms 97844569 ms 978445694 ms 978445695 ms 978445696 ms 978445704 ms 978445705 ms 978445706 ms 978445707 ms 97844570 ms 9784457 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844575 ms 97844577 ms 978445745 ms 978445747 ms 978445769 ms 97844577 ms 97844577 ms 9784458 ms 9784458 ms 97844585 ms 97844587 ms 978445869 ms 97844587 ms 97844587 ms 9784459 ms 9784459 ms 97844595 ms 978445969 ms 97844597 ms 97844597 ms 97844607 ms 97844607 ms 97844607 ms 978446074 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 97844647 ms 97844647 ms 97844647 ms 978446474 ms 978446569 ms 97844657 ms 97844657 ms 9784466 ms 9784466 ms 97844665 ms 978446669 ms 978446670 ms 97844667 ms 97844667 ms 9784467 ms 9784467 ms 97844675 ms 978446769 ms 97844677 ms 97844677 ms 97844677 ms 978446774 ms 97844687 ms 97844687 ms 9784477 ms 0 SensingEntity gnalanalyzingenti LeadingEntity ManagingEntity TransportEntity TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti GatewayEntity group prealarm groupalarm group LN_LN_Alarm LN_LN_Alarm LN_EN_Alarm group systemalarm LN_EN_Alarm SDL-RT Tool Chain: From Models to Code Model Checker Graphical Editor SDL-RT SDL UML C++ ASN. RTDS basic patterns Compiler C++ code C++ Compiler/ Linker Class Diagrams for describing experiment experiment OO data types repository repository Uses Case & Sequence Diagrams for requirement specification Debugger Single Node Simulator Network Simulator Linux OpenWRT Logger 9
978445669 ms 97844567 ms 97844567 ms 97844567 ms 978445674 ms 978445675 ms 978445679 ms 978445684 ms 978445685 ms 978445686 ms 978445689 ms 978445690 ms 97844569 ms 978445694 ms 978445695 ms 978445696 ms 978445704 ms 978445705 ms 978445706 ms 978445707 ms 97844570 ms 9784457 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844575 ms 97844577 ms 978445745 ms 978445747 ms 978445769 ms 97844577 ms 97844577 ms 9784458 ms 9784458 ms 97844585 ms 97844587 ms 978445869 ms 97844587 ms 97844587 ms 9784459 ms 9784459 ms 97844595 ms 978445969 ms 97844597 ms 97844597 ms 97844607 ms 97844607 ms 97844607 ms 978446074 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 97844647 ms 97844647 ms 97844647 ms 978446474 ms 978446569 ms 97844657 ms 97844657 ms 9784466 ms 9784466 ms 97844665 ms 978446669 ms 978446670 ms 97844667 ms 97844667 ms 9784467 ms 9784467 ms 97844675 ms 978446769 ms 97844677 ms 97844677 ms 97844677 ms 978446774 ms 97844687 ms 97844687 ms 9784477 ms 0 SensingEntity gnalanalyzingenti LeadingEntity ManagingEntity TransportEntity TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti GatewayEntity group prealarm groupalarm group LN_LN_Alarm LN_LN_Alarm LN_EN_Alarm group systemalarm LN_EN_Alarm SDL-RT Tool Chain: From Models to Code Model Checker Graphical Editor SDL-RT SDL UML C++ ASN. RTDS basic patterns Compiler C++ code sequential code (action description) C++ Compiler/ Linker experiment experiment repository repository Debugger Single Node Simulator Network Simulator Linux OpenWRT Logger 0
978445669 ms 97844567 ms 97844567 ms 97844567 ms 978445674 ms 978445675 ms 978445679 ms 978445684 ms 978445685 ms 978445686 ms 978445689 ms 978445690 ms 97844569 ms 978445694 ms 978445695 ms 978445696 ms 978445704 ms 978445705 ms 978445706 ms 978445707 ms 97844570 ms 9784457 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844574 ms 97844575 ms 97844576 ms 97844577 ms 97844575 ms 97844577 ms 978445745 ms 978445747 ms 978445769 ms 97844577 ms 97844577 ms 9784458 ms 9784458 ms 97844585 ms 97844587 ms 978445869 ms 97844587 ms 97844587 ms 9784459 ms 9784459 ms 97844595 ms 978445969 ms 97844597 ms 97844597 ms 97844607 ms 97844607 ms 97844607 ms 978446074 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 978446 ms 978446 ms 9784465 ms 97844669 ms 9784467 ms 9784467 ms 97844647 ms 97844647 ms 97844647 ms 978446474 ms 978446569 ms 97844657 ms 97844657 ms 9784466 ms 9784466 ms 97844665 ms 978446669 ms 978446670 ms 97844667 ms 97844667 ms 9784467 ms 9784467 ms 97844675 ms 978446769 ms 97844677 ms 97844677 ms 97844677 ms 978446774 ms 97844687 ms 97844687 ms 9784477 ms 0 SensingEntity gnalanalyzingenti LeadingEntity ManagingEntity TransportEntity TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti ManagingEntity TransportEntity LeadingEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti TransportEntity SensingEntity gnalanalyzingenti GatewayEntity group prealarm groupalarm group LN_LN_Alarm LN_LN_Alarm LN_EN_Alarm group systemalarm LN_EN_Alarm SDL-RT Tool Chain: From Models to Code Model Checker Graphical Editor SDL-RT SDL UML C++ ASN. RTDS basic patterns Compiler Basic & Packed Encoding C++ code MSC-Viewer C++ Compiler/ Linker experiment experiment repository repository Debugger Single Node Simulator Network Simulator Linux OpenWRT Logger
Different Experiment Set-Ups for Testing Simulation Set-Up : Developers Computer Simulation Set-Up : Developer s Computer VM Developer s Computer VM Developer s Computer VM VM4 Developer s Computer Set-Up : Set of Virtual Machines Set-Up 4: Real World
First Use Case: SOSEWIN Prototype in Atakoy
First Recognized Earthquake Event GFZ Potsdam - Earthquake Bulletin Region: Turkey Time: 008-07-0 07:50:00.6 UTC Magnitude: 4.7 Epicentre: 7.77 E 9.9 N Depth: 0 km Distance from Atakoi: 60 km 4
Second Temporary Use Case: Fatih-Sultan-Mehmet Bridge 5 total length.50 m breadth 9,4 m hight 64 m opening 988
Summary, Conclusions a first version of a prototyping and administrating infrastructure for self-organized EEWS and rapid response systems SDL-RT with only few extensions is a powerful DSL for EEWS specifications SOSEWIN as a first use case in Istanbul plan for automated deployment of the alarming protocol at the SOSEWIN-network in Atakoi generated from tested SDL-RT+ specifications more tests for further improvements of the infrastructure of real-time and robustness characteristics of SOSEWIN establishment of a consortia for a commercial EEWS product development 6