A cyber physical safety principle for autonomous and C-ITS Towards efficient traffic flow under safety conditions.

Transcription

1 A cyber physical safety principle for autonomous and C-ITS Towards efficient traffic flow under safety conditions. For a sustainable and competitive Sweden Kenneth Östberg kenneth.otsberg@ri.se +46 (0) October 2017 Research Institutes of Sweden SAFETY AND TRANSPORT ELECTRONICS

2 Projekt intelligent TRAffic management System based on ITS FFI Effektiva och uppkopplade transportsystem Research Institutes of Sweden SAFETY AND TRANSPORT ELECTRONICS

3 Project management Kenneth Östberg RISE (Henrik Eriksson) FFI project itransit intelligent TRAffic management System based on ITS Partners : VCC, AstaZero, ÅF, Chalmers, RISE Duration : ( ) Budget : KSEK WP : 2) ITS Stations 3) Traffic Management Server 4) Positioning and Digital Map 5) Demonstrators

4 long time WP2 - RISE ITS node ETSI BSA CAM LDM intelligent traffic management C-ITS CPS Digitalization WP3 ÅF, Chalmers Accurate & Reliable & Affordable Positioning GNSS (GPS..) Digital maps near time WP3 VCC (DriveMe) Testing Management Steer-by-server SPAS ( ITS central station ) GDM (all testing) Information fusion Object detection Motion estimation Collision estimation Risk mitigation Visualization

5 Results: 11 Master thesis 5 Articles / publications Collaboration with industry (except partners) - HiQ : 3D & VR visualization (risk) - Carmenta AB : 2D visualization on webserver Object Management Group ( OMG UML / SysML ) WG UncertaintyModelling UM ( RISE cooperation with KTH ) Continuation projects: - Chronos 1 (2) - Lloyd University of York RR-KTH RISE (planning phase).

6 Three parts for RISE (SP) in WP 2/3: 1) Specify Design Implement Verify an ITS Station (node) Local Dynamic Map (LDM) a storage unit under ISO26262 ( SEooC Part 10 Informative ) - For supporting testing and validation of traffic scenarios - A unified steer-by-server and vehicle-node component Platform Independent Model (PIM) -> ITS / SPAS / Chronos / CTC / 2) Research about formal approaches towards certification. 3) Research about intelligent traffic management The Cyber Physical Safety principle

7 Research challenges cooperative safety in a C-ITS: 1) Safe (stop) trajectories? 2) Judgement of risk level and models for safe path for objects. 3) Algorithms for decision making in real time for a C-ITS. insurance - regulation - safety - effective traffic flow - ego & cooperative - AI A cyber physical safety principle for autonomous and C-ITS Towards efficient traffic flow under safety conditions.

8 The context EU - Digital single market Efficient and safe transport system multi modal - insurance cases & business cases EU directive 2010/40/EU Intelligent Transport System (ITS) ETSI ITS standards 2014 for an ITS-Station - ( safety & security & privacy / GDPR & business models ) Sweden - Digitala Agendan Vertical (internal) and horizontal (external) information flow sharing & integration. transport ITS ( Cyber Physical System - Cyber Physical Safety - Cyber Security ) Lag om intelligenta transportsystem vid vägtransporter; SFS 2013:315 Transportpolitiskamålen : Hänsynsmålen & Funktionsmålen industry I4.0 ( Cyber Physical System - Cyber Security ) individual IoT ( Cyber Security )

9 Intelligent Traffic Management Business & value chains - Application - Service Platform - B2B - (P2P)2 - trusted 3d part - charging/billing - upgrading - management Infrastructure Optimal efficient traffic flow?? C-ITS: Autonomous Assurance Ensurance Certification Insurance Cyber Physical System Cyber Physical Safety Functional Safety CyberSecurity

10 Cyber Physical Safety Principle Balance metrics for intelligent traffic management 1) efficient traffic flow under 2) safety constraints Measure metrics and regulate on them combined to optimize. Co-operative : broadcast information & intentions. ( operate in different cloud based configurations ) No synchronization, no consensus a natural way. An ego view combined with cooperative perspectives. Parallel and continuous run time activity. Super positioning of risk potentials multi risks evaluation - decision. Device the smallest principle/model there ever can be truly minimal. Based on a formal model of uncertainty.

11 Formal parser ASN.1 (ISO OSI) Formal generator model driven Platform Independent Model (PIM) (HW) Assurance (nominal & security & safety) Ensurance SPAS Certification Insurance AUTOSAR Chronos 4G 5G G5 (WiFi) (P2P)2 WP2 ITS station / server / (R-AS) sensors : GPS & CAM HW : I/O + CPU Local Dynamic Map Data Dictionary Management ISO SEooC Hyper Visor / RTOS actuators action 1) Efficient traffic 2) Safe traffic risk potentials ITS (ETSI) CLI (n) Browsers (m) trajectory etc

12 Display in browsers Carmenta 2D & HiQ 3D Unity from G/LDM same time - same view Mix real cars with virtual Intelligent Traffic Management

13 Intelligent Traffic Management Ψ 1 Steer 1) Efficient traffic 2) Safe traffic Ψ 3 Cyber Physical System mechanics electronics mechatronics cybernetics (feedback) uncertainty ψ risk potential ψ Brake dq dt = v dv dt = a Accelerate 1) Ego view 2) Cooperative perspectives Mechanics Kinematic Dynamic F = ma 1) E & m -> ψ 2) ψ <-> ψ 3) ψ <-> F 4) F -> E & m Concept is being validated now

14 Formal foundation of Cyber Physical System (CPS) for Safety & Security in ITS Functional Safety ISO Cyber Security Cyber Physical Safety Physics All 7 basic SI units Physics (physiology) natural science principles Model of Uncertainty q m Ψ t CPS Foundation Philosophy formal science principles random Mechanics Electrodynamics Ψ Thermodynamics statistics

15 THANKS! Kenneth Östberg Research Institutes of Sweden SAFETY AND TRANSPORT ELECTRONICS