Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 28, 2014

• Management of Radio Communication: Ready output added

  Show description for 58b9299
  UweSteinkeFromSiemens

  committed
  58b9299

  Copy full SHA for 58b9299

Commits on Jan 13, 2014

• Merge pull request #62 from janWelte/master

  Show description for 4ecad40
  MariellePetitDoche

  committed
  4ecad40

  Copy full SHA for 4ecad40

• Slides for GSN wit the tool ACedit

  janWelte

  committed
  1becbbf

  Copy full SHA for 1becbbf

Commits on Dec 20, 2013

• Merge branch 'master' of https://github.com/openETCS/model-evaluation

  

  Matthias Güdemann

  committed
  c03dcc2

  Copy full SHA for c03dcc2

• functional validation with ProB

  

  Matthias Güdemann

  committed
  e8bf25b

  Copy full SHA for e8bf25b

Commits on Dec 19, 2013

• ReqCycle slides

  MariellePetitDoche

  committed
  a354900

  Copy full SHA for a354900

Commits on Dec 17, 2013

• more proofs automatic

  hm-teststudent

  committed
  583f0f0

  Copy full SHA for 583f0f0

Commits on Dec 14, 2013

• small corrections for l_partner : ER_connections case for data refinement

  hm-teststudent

  committed
  17a59a7

  Copy full SHA for 17a59a7

Commits on Dec 13, 2013

• removed establish_ER_connection

  hm-teststudent

  committed
  047e0d7

  Copy full SHA for 047e0d7

• removed ER_connections set

  hm-teststudent

  committed
  58ddb3e

  Copy full SHA for 58ddb3e

• added reverse invariant to ER_connections <: {comm_partner, hand_over_partner}

  hm-teststudent

  committed
  cffb1b8

  Copy full SHA for cffb1b8

• bein remove ER_connections set

  

  Matthias Güdemann

  committed
  61550d6

  Copy full SHA for 61550d6

• refinement 2 variables for ER connections

  

  Matthias Güdemann

  committed
  c93bc4f

  Copy full SHA for c93bc4f

Commits on Dec 12, 2013

• start 2 variable model for communication

  

  Matthias Güdemann

  committed
  39bdd44

  Copy full SHA for 39bdd44

Commits on Dec 5, 2013

• Slides from today

  MariellePetitDoche

  committed
  c6ff5f7

  Copy full SHA for c6ff5f7

Commits on Dec 4, 2013

• Updated version

  

  cecilebraun

  committed
  20425a2

  Copy full SHA for 20425a2

Commits on Dec 2, 2013

• Image for the datadictionary

  

  cecilebraun

  committed
  836d5f3

  Copy full SHA for 836d5f3

• Data types from Subset 026-7 added as examples

  Show description for 708e98a
  UweSteinkeFromSiemens

  committed
  708e98a

  Copy full SHA for 708e98a

Commits on Nov 20, 2013

• implement safety requirement REQ_FMEA_ID_05

  

  Matthias Güdemann

  committed
  082771c

  Copy full SHA for 082771c

• add c4 context

  

  Matthias Güdemann

  committed
  89af5ae

  Copy full SHA for 89af5ae

Commits on Nov 15, 2013

• add bum, bpr files

  

  Matthias Güdemann

  committed
  7b94a85

  Copy full SHA for 7b94a85

• started different modeling approach for communication model

  

  Matthias Güdemann

  committed
  6899703

  Copy full SHA for 6899703

• Merge branch 'master' of https://github.com/openETCS/model-evaluation

  

  Matthias Güdemann

  committed
  d253b57

  Copy full SHA for d253b57

Commits on Nov 14, 2013

• added slides for secondary tools

  JonasHelming

  committed
  7182aaa

  Copy full SHA for 7182aaa

• Update README.md

  MariellePetitDoche

  committed
  46567aa

  Copy full SHA for 46567aa

Commits on Oct 31, 2013

• more work on safety criteria

  

  Matthias Güdemann

  committed
  c3b83f1

  Copy full SHA for c3b83f1

Commits on Oct 25, 2013

• add on_track invariant to machine

  

  Matthias Güdemann

  committed
  4bb64a4

  Copy full SHA for 4bb64a4

• add guards to prove invariants

  

  Matthias Güdemann

  committed
  a22c080

  Copy full SHA for a22c080

Commits on Oct 24, 2013

• added some invariants

  

  Matthias Güdemann

  committed
  ea2902d

  Copy full SHA for ea2902d

Commits on Oct 23, 2013

• added first safety criterion to model

  Show description for 151b289
  

  Matthias Güdemann

  committed
  151b289

  Copy full SHA for 151b289

• remove change indicators from ReqIf file

  

  Matthias Güdemann

  committed
  fa5da75

  Copy full SHA for fa5da75

• ProR links from safety criteria to referenced SRS paragraphs

  

  Matthias Güdemann

  committed
  54b8628

  Copy full SHA for 54b8628

Commits on Oct 22, 2013

• added Safety Criteria to Reqif file

  

  Matthias Güdemann

  committed
  bea500a

  Copy full SHA for bea500a

Commits on Oct 17, 2013

• Slides from the today telco.

  MariellePetitDoche

  committed
  85ed775

  Copy full SHA for 85ed775

Commits on Sep 25, 2013

• Resolving https://github.com/openETCS/model-evaluation/issues/59#issuecomment-25067234

  jastram

  committed
  623dd17

  Copy full SHA for 623dd17