openETCS/model-evaluation openETCS/model-evaluation

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    TeX
  • Created almost 12 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
openETCS/model-evaluation
github

openETCS

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

More Repositories

1

modeling

WP3 Top Level Project: to cover all tasks related with modeling
C
31
star
2

toolchain

WP7: Top Level Project for the toolchain
TeX
26
star
3

ecosystem

part of WP7: openECTS Ecosystem
TeX
13
star
4

openetcs.github.com

Public openETCS Website
CSS
12
star
5

validation

WP4: Validation and verification strategy
HTML
8
star
6

governance

part of WP1: information needed to run project management in openetcs
TeX
7
star
7

SSRS

task related activities related to Sub-Systems Requirement Specification (SSRS)
D
7
star
8

dataDictionary

This repository is the container for the openETCS data dictionary
C
6
star
9

requirements

WP2: Top Level Project for openETCS requirements
TeX
5
star
10

product-backlog

Product backlog of the openETCS project
3
star
11

Dissemination

WP6: Top Level Project for openETCS dissemination activities
TeX
3
star
12

SRS-Analysis

WP3 Repositories for SysML modelling of the SRS
TeX
3
star
13

internal-assessment

part of WP4: activities for internal assessor task
TeX
2
star
14

srcAndBinary

Code Artefacts resulting from Modelling Activities
C
2
star
15

eclipse-platform-evaluation

part of WP7: evaluation of Eclipse tools for openETCS
Java
2
star
16

methodology-report

part of WP2: result of the task for investigating state-of-the-art methodologies
2
star