Presentation is loading. Please wait.

Presentation is loading. Please wait.

Supported by: openETCS openETCS: An evolution to formalized specification for non-interpretable application Istanbul, 01-03.04.2014 Klaus-Rüdiger Hase.

Similar presentations


Presentation on theme: "Supported by: openETCS openETCS: An evolution to formalized specification for non-interpretable application Istanbul, 01-03.04.2014 Klaus-Rüdiger Hase."— Presentation transcript:

1 supported by: openETCS openETCS: An evolution to formalized specification for non-interpretable application Istanbul, Klaus-Rüdiger Hase Project

2 Objectives Objectives and major expected Outcomes Formal Specification Model based Development Framework Set of Reference Unit Tools Software Tools 2014: openETCS Open License Terms apply

3 EVC Vehicle Equipment 2 Human Factor EVC Vehicle Equipment 3 Human Factor EVC Vehicle Equipment 4 Human Factor EVC Vehicle Equipment 1 Human FactorETCS SRS “Prosa” Open Formal Specification openETCS Linus’ Law: “Many eyes make all bugs shallow” 2014: openETCS Open License Terms apply

4 Organization Basics Implemen- tation I (2011)II ( )III ( ) Phases VI ( ) Prepare Project Management / Governance „Track Use Cases“ SW Tools openETCS Option Call M1M5M6M2M3M4 Interfaces: STI / API (semi) Formal Specification TCSim Prototype openETCS openETCS Reference OBU openETCS Foundation e.V. ITEA2 Project ITEA2 Project Funded by: 2014: openETCS Open License Terms apply

5 https://github.com/openETCShttp://www.openETCS.org 2014: openETCS Open License Terms apply

6 Tools Chain Results D7.1 Results 2014: openETCS Open License Terms apply

7  git on GitHub  Eclipse Modeling Framework  ProR  SysML + Papyrus  semi-formal specification & modelling  Artefacts  “ openETCS Open License Terms” Key results: openETCS Tools Chain (1) 2014: openETCS Open License Terms apply

8 Result of our OSS Tools “Market” research:  SysML- compatible strict formal Tools not yet in OSS  “Formal Spec.” & “Ref. OBU SW” cannot wait !  Start with SCADE input from Papyrus Certified for CENELEC EN50128 SIL 4 development Widely accepted in industry (avionics, rail, process control) “Lustre”: Synchronous data flow programming language  Migration plan CSS  OSS via Key results: openETCS Tools Chain (2) 2014: openETCS Open License Terms apply

9 Very Long Term Support ? Members of the Eclipse Foundation TOPCASED sustainability thanks OSS Long Term Availability of Software Tools?German ATP System (PZB): 1934 … 2050 ? >100 Years 78 Years 2014: openETCS Open License Terms apply

10 SCRUM Sprint 2 … 4 Weeks Process Innovation CENELEC EN V Model & Role Model SIL 4 Software Development SRCUM Incremental step by step development in 2-4 weeks sprints by self-managed teams. ETCS OBU SW ~45% probability of projects failing  Phase Models 2014: openETCS Open License Terms apply Agile vs. Waterfall & V-Model: 30% … 80% R&D Savings

11 EN 50128:2011 Classic CENELEC V Model  Agile V 2014: openETCS Open License Terms apply Design Rules Project Initialization & MonitoringModel Tools SRS: Sprint Back Log Sprint 2 … 4 Weeks

12 Outlook open ETCS SW building blocks: ETCS ETCS+ (Corridor Package) PZB PZB+ATB PZB+ATB+SCMT EVC Vehicle Equipment FFFIS API HW Parameters “openIT4SR” Follow-up Project PZBSCMT ATB openETCS + open Corridor Legacy SystemsopenSTM other class B 2014: openETCS Open License Terms apply

13 openETCS Project Schedule Overview Organization Basics Implemen- tation I (2011)II ( )III ( ) Phases PrepareProject Management / Governance „Track Use Cases“ Adoption ERTMS Users Gr. SW Tools  ERA, EUG, Railways openETCS Option Call M1M5M6M2M3M4 M9 M7 M8 VI ( ) Commercializing Goal:  New Industrial Standard openETCS Foundation e.V. Interfaces: STI / API (semi) Formal Specification Commercializing TCSim Prototype openETCS openETCS Reference OBU 2014: openETCS Open License Terms apply

14 That was it … Thank you very much for your attention. If you are interested in our work … It’s open! You can join at any time!   2014: openETCS Open License Terms apply


Download ppt "Supported by: openETCS openETCS: An evolution to formalized specification for non-interpretable application Istanbul, 01-03.04.2014 Klaus-Rüdiger Hase."

Similar presentations


Ads by Google