issues
search
openETCS
/
validation
WP4: Validation and verification strategy
8
stars
22
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
improve various sections
#200
jensgerlach
closed
10 years ago
0
add remarks on which sections are nor yet ready
#199
jensgerlach
closed
10 years ago
0
rename section files (including headings)
#198
jensgerlach
closed
10 years ago
0
Current state on improving D4.2.2
#197
jensgerlach
closed
10 years ago
0
D4.2.3 Hazard and Risk Ananlysis Methodology
#196
MariellePetitDoche
closed
9 years ago
3
Safety Plan: Chapter 3 - Lifecycle / chapter structure
#195
ghost
closed
9 years ago
4
Safety Plan: Chapter 3 - Lifecycle
#194
ghost
closed
9 years ago
5
Synchronize Additional Checks with the Eclipse Validation Framework
#193
MarcBehrens
closed
9 years ago
4
Write Verification of Transformers: Checks for SysML Constrain Checker
#192
BerndHekele
opened
10 years ago
1
Verification Work: Update/ revive the Tools Artifacts Matrix
#191
BerndHekele
opened
10 years ago
1
Verification Work: Behavioral testing done on SysML or SCADE level?
#190
BerndHekele
opened
10 years ago
2
Strategic Work: Verification Work
#189
BerndHekele
opened
10 years ago
0
Strategic Work: write verification for transformations
#188
BerndHekele
opened
10 years ago
2
Merge pull request #186 from openETCS/master
#187
MarcBehrens
closed
10 years ago
1
cleanup
#186
MarcBehrens
closed
10 years ago
0
Initial draft of DMI formalisazion
#185
MarcBehrens
closed
10 years ago
0
Changed the D4.2.3 to folder Reports
#184
janWelte
closed
10 years ago
0
D-4-2-3 Updated references and section document structure, as well as minor design changes
#183
janWelte
closed
10 years ago
0
First draft of Hazard and analysis report
#182
janWelte
closed
10 years ago
0
Update of branch Hazard-and-risk
#181
janWelte
closed
10 years ago
0
SysML Constraints to Verifiy Models for SysML to SCADE transformation
#180
janWelte
opened
10 years ago
0
PR for Review of D4.2.1 (TWT) - B/Event-B model - issue #171
#179
mgudemann
closed
10 years ago
0
Verification request Input of Bitwalker
#178
MarcBehrens
closed
8 years ago
1
Concurrent modelling and verification of model components
#177
UweSteinkeFromSiemens
opened
10 years ago
1
Changes regarding the section of the Universtiy of Rostock
#176
alexn84
closed
10 years ago
0
Review of D4.2.1
#175
MarcBehrens
closed
9 years ago
7
Review of D4.2.2
#174
MarcBehrens
closed
9 years ago
8
Review of D4.2.1 (Systerel)
#173
MariellePetitDoche
closed
10 years ago
14
Review D4.2.2 (MERCE)
#172
MERCEmentre
closed
9 years ago
8
Review of D4.2.1 (TWT)
#171
srieger
closed
10 years ago
11
Review of D4.2.1 (MERCE)
#170
MERCEmentre
closed
10 years ago
7
Review on D4.2.2 (Systerel)
#169
MariellePetitDoche
closed
10 years ago
3
Committer validation / jensgerlach
#168
mahlmann
closed
10 years ago
5
Committer validation / agracia
#167
mahlmann
closed
10 years ago
1
Committer validation / anacavalli
#166
mahlmann
closed
10 years ago
4
Committer validation / hansjoergmanz
#165
mahlmann
closed
10 years ago
2
Committer validation / MerlinPokam
#164
mahlmann
closed
10 years ago
1
Added PDF
#163
alexn84
closed
10 years ago
0
Added UROUserStoryReport to D4.2.1
#162
alexn84
closed
10 years ago
0
D4.2.2: improve layout
#161
vprevosto
closed
10 years ago
1
D4.2.2: Clarification needed
#160
vprevosto
closed
10 years ago
2
D4.2.2: References needed
#159
vprevosto
closed
10 years ago
2
Review of D4.2.2
#158
vprevosto
closed
10 years ago
1
Review D4.2.1 (1st V&V report on model) - editorial
#157
HardiHungar
closed
10 years ago
2
Review D4.2.1 (1st V&V report on model), Section 3
#156
HardiHungar
closed
10 years ago
6
Review D4.2.1 (1st V&V report on model), Section 1
#155
HardiHungar
opened
10 years ago
4
Request for Committer Rights for Stephan Jagusch (AEbt)
#154
MarcBehrens
closed
10 years ago
7
Review of D4.2.3 (Hazard and Risk Methodology)
#153
MarcBehrens
closed
9 years ago
6
Review of D4.2.2 (1st V&V report on implementation/ code)
#152
MarcBehrens
closed
9 years ago
5
Review of D4.2.1 (1st V&V report on model)
#151
MarcBehrens
closed
9 years ago
8
Previous
Next