Add assisting files for closed misbehaviours and runtime analysis#26

Merged

aschemmel-tech merged 124 commits intoeclipse-score:mainfrom

score-json:main

Mar 31, 2026

Commits on Dec 2, 2025

Halnasri resolve tt confidence feedback (#21)

authored

Commits on Dec 4, 2025

Commits on Dec 5, 2025

Resolve TT-PROVENANCE Feedback (#14)

authored

Commits on Dec 8, 2025

halnasri-Revisit TT-RESULTS (#17)

authored

Commits on Dec 9, 2025

Commits on Dec 15, 2025

Erikhu1 sync with prod (#31)

Erikhu1
and
aschemmel-tech
authored

Commits on Dec 16, 2025

Halnasri fix statements (#30)
halnasri
authored

Commits on Dec 17, 2025

Removed multiple validators from statements by splitting them up (#35)

authored

Commits on Jan 12, 2026

Erikhu1 sync with prod (#38)

authored

Commits on Jan 13, 2026

Erikhu1 fix code scanning alerts (#40)
Erikhu1
authored

Commits on Jan 16, 2026

Erikhu1 matrix specification (#43)
Erikhu1
authored

Commits on Jan 20, 2026

add reference to check amalgamation in JLS-14 (#44)
Erikhu1
authored

Commits on Jan 21, 2026

Resolve TA-Analysis comments (#39)
halnasri
authored

Commits on Jan 22, 2026

remove TSF/MemoryEfficientTest ResultData.db from stash (#46)
halnasri
authored

Commits on Jan 26, 2026

fix branch checkout structure in publish_test_data_* workflows (#49)
halnasri
authored
Halnasri fix ci build documentation (#50)
halnasri
authored

Commits on Feb 27, 2026

started with TA-Misbehaviours

LucaFgr
authored and
ThomasClausnitzer
committed
Filled out Checklist for TA-Behaviours

LucaFgr
authored and
ThomasClausnitzer
committed
filled out checklist for TA-Misbehaviours

LucaFgr
authored and
ThomasClausnitzer
committed
added additional context information

LucaFgr
authored and
ThomasClausnitzer
committed
added checklist answers for TA-Behaviours and TA-Constraints

LucaFgr
authored and
ThomasClausnitzer
committed
cosmetic changes to TA-BEHAVIOURS

LucaFgr
authored and
ThomasClausnitzer
committed
small updates to TA-Misbehaviours

LucaFgr
authored and
ThomasClausnitzer
committed
created JLS-54 to JLS-60

LucaFgr
authored and
ThomasClausnitzer
committed
cosmetic change to JLS-54

LucaFgr
authored and
ThomasClausnitzer
committed
update

LucaFgr
authored and
ThomasClausnitzer
committed
improved checklist and evidence for TA-Behaviour

LucaFgr
authored and
ThomasClausnitzer
committed
worked on TA-Misbehaviours

LucaFgr
authored and
ThomasClausnitzer
committed
added JLS-70 and JLS-71

LucaFgr
authored and
ThomasClausnitzer
committed
added JLS-72

LucaFgr
authored and
ThomasClausnitzer
committed
Worked on Context file of TA-Constraints

LucaFgr
authored and
ThomasClausnitzer
committed
worked on misbehaviours context file

LucaFgr
authored and
ThomasClausnitzer
committed
halnasri-Revisit_TT_INDICATORS (#28)

authored and
ThomasClausnitzer
committed
remove references to parent workflow for JLS-54 and JLS-55

LucaFgr
authored and
ThomasClausnitzer
committed
Added TODOs/Comments to TA-Behaviours and TA-Constraints Context files

LucaFgr
authored and
ThomasClausnitzer
committed
created JLS-56

LucaFgr
authored and
ThomasClausnitzer
committed
resolved TODOs in TA-Behaviours

LucaFgr
authored and
ThomasClausnitzer
committed
edited JLS 71

halnasri
authored and
ThomasClausnitzer
committed
JLS-70 and JLS-72

halnasri
authored and
ThomasClausnitzer
committed
documented misunderstandings

halnasri
authored and
ThomasClausnitzer
committed
added https validator to JLS 70 and 71

halnasri
authored and
ThomasClausnitzer
committed
added JLS-73

halnasri
authored and
ThomasClausnitzer
committed
small fix

halnasri
authored and
ThomasClausnitzer
committed
added references to JLS 24 and 31

halnasri
authored and
ThomasClausnitzer
committed
edited zthe checklist of TA-Misbehaviour

halnasri
authored and
ThomasClausnitzer
committed
added https validator to JLS-24

halnasri
authored and
ThomasClausnitzer
committed
typos

halnasri
authored and
ThomasClausnitzer
committed
fix pr count gate and coverage gate and add check_artifact_exists evidence to statements JLS-54 and JLS-55

halnasri
authored and
ThomasClausnitzer
committed
edited artifact output for the coverage gate

halnasri
authored and
ThomasClausnitzer
committed
version control for PR and coverage gate workflow

halnasri
authored and
ThomasClausnitzer
committed
fix file naming in workflows

halnasri
authored and
ThomasClausnitzer
committed
fix answers to the checklist of TA-CONSTRAINTS

halnasri
authored and
ThomasClausnitzer
committed
edited JLS 72

halnasri
authored and
ThomasClausnitzer
committed
edited references for JLS 56

halnasri
authored and
ThomasClausnitzer
committed
TA-constraints edited checklist

halnasri
authored and
ThomasClausnitzer
committed
set pr count gate to 15 open PRs

halnasri
authored and
ThomasClausnitzer
committed
small fixes

halnasri
authored and
ThomasClausnitzer
committed
exception handling tests evidence

LucaFgr
authored and
ThomasClausnitzer
committed
TA-Misbehaviours stress tests

LucaFgr
authored and
ThomasClausnitzer
committed
TA-Misbehaviours list of misbehaviours

LucaFgr
authored and
ThomasClausnitzer
committed
edited answer about risk analyses in TA-INDICATORS

halnasri
authored and
ThomasClausnitzer
committed
added JLS-76 and comments to TT-Misbehaviours

LucaFgr
authored and
ThomasClausnitzer
committed
removed JLS-69, its link and replace context answer with JLS-11.

LucaFgr
authored and
ThomasClausnitzer
committed
replaced JLS-69 by JLS-11 in TA-Indicators context file

LucaFgr
authored and
ThomasClausnitzer
committed
added link of TA-Misbehaviours to JLS-11

LucaFgr
authored and
ThomasClausnitzer
committed
added explanation of why there are no incentives to manipulate information

LucaFgr
authored and
ThomasClausnitzer
committed
added answer for undiscovered expectations

LucaFgr
authored and
ThomasClausnitzer
committed
answered new expectation identification question

LucaFgr
authored and
ThomasClausnitzer
committed
added test data to answer

LucaFgr
authored and
ThomasClausnitzer
committed
test repo renaming effects

LucaFgr
authored and
ThomasClausnitzer
committed
filled out remaining answer in TA-Constraints

LucaFgr
authored and
ThomasClausnitzer
committed
answered to TA-Behaviours

LucaFgr
authored and
ThomasClausnitzer
committed
answered result evaluation question in TA-Misbehaviours

LucaFgr
authored and
ThomasClausnitzer
committed
added answer to fault induction test misbehaviour

LucaFgr
authored and
ThomasClausnitzer
committed
answered ta-misbehaviour question, added evidence to JLS-76

LucaFgr
authored and
ThomasClausnitzer
committed
add risk analysis

halnasri
authored and
ThomasClausnitzer
committed
small fixes

halnasri
authored and
ThomasClausnitzer
committed
rewrite steps overview

halnasri
authored and
ThomasClausnitzer
committed
replace - with comma in TA-Behaviours context file

LucaFgr
authored and
ThomasClausnitzer
committed
Change phrasing of JLS-24

LucaFgr
authored and
ThomasClausnitzer
committed
changed risk analysis AOU-07 formulation

LucaFgr
authored and
ThomasClausnitzer
committed
delete unnecessary section in risk analysis

LucaFgr
authored and
ThomasClausnitzer
committed
deleted unnecessary section in risk analysis

LucaFgr
authored and
ThomasClausnitzer
committed
changed naming of first risk analysis step

LucaFgr
authored and
ThomasClausnitzer
committed
changed referrals to risk_analysis in ta-indicators and ta-misbehaviours
ThomasClausnitzer
committed
changed links from legacy gitlab TSF documentation to new ecplise TSF documentation.
ThomasClausnitzer
committed
Added a control structure diagram both as drawio/png and embedded it in the risk_analysis.
ThomasClausnitzer
committed
Change risk_analysis headers and structure to fit expected steps of RAFIA STPA procedure.
ThomasClausnitzer
committed
Remade part 4 Unsafe Control Actions to fit review.
ThomasClausnitzer
committed
Add step 5 Controller Constraints.
ThomasClausnitzer
committed
Add step 6 Control loops to risk_analysis
ThomasClausnitzer
committed
Add step 8 Causal Scenario Constrains to risk analysis
ThomasClausnitzer
committed
Add step 10 Review of STPA results to risk analysis.
ThomasClausnitzer
committed
Reworked step 9 Misbehaviours and Expectations in risk analysis to be in line with the STPA review guide.
ThomasClausnitzer
committed
Update markdown tables of risk_analysis to follow column names and order of STPA results schema in TSF documentation.
ThomasClausnitzer
committed
Add additional Controller Functional Constraints under 5) Device Cotroller Constraints for risk_analysis to fulfill STPA review requirements.
ThomasClausnitzer
committed
Updated step 7) Causal Scenarios to follow review guidelines in risk_analysis
ThomasClausnitzer
committed
TA-Constraints: add AOU-31 resource/time budget assumption
ThomasClausnitzer
committed
Removed typos and irregularities for review changes.
ThomasClausnitzer
committed
Replace legacy UCA IDs with current combined IDs as in review.
ThomasClausnitzer
committed
Changed minor remarks from review.
ThomasClausnitzer
committed
Changed failure description in 6) Control Loops and Sequences in risk_analysis
ThomasClausnitzer
committed
Changed minor errors in STPA diagram.
ThomasClausnitzer
committed

Commits on Mar 2, 2026

Sync up of latest changes from prod/main into dev/main (#51)

authored

Commits on Mar 11, 2026

Commits on Mar 12, 2026

Commits on Mar 13, 2026

Commits on Mar 16, 2026

Commits on Mar 17, 2026

Merge pull request #59 from score-json/ThomasClausnitzer-history_sync_after_pr24
ThomasClausnitzer
authored

Commits on Mar 26, 2026

Embedd additional documents in the TSF/docs folder (#61)
ThomasClausnitzer
authored

Commits on Mar 31, 2026

Add changes due to review comments of upstream PR for runtime analysis and closed misbehaviours.
ThomasClausnitzer
committed