INDUSTRY / WATER
Water
水質安全と独立観測を維持する
Assets: 水質センサー・historian・保守ID
A/B/C are specifications in one workflow family. Durations are planned budgets, not measured completion times.
A · 競技型・証拠分析 · 30 min planned budget
水質値の時刻ずれと偽造候補を区別する
架空の上下水道組織で水質値の時刻ずれと偽造候補を区別する。水質センサー・historian・保守IDの合成snapshotを使用。水質安全と独立観測を維持する。
Outputs and checks
- 根拠event IDの正確性
- 正常対照の維持
- 未観測事項を断定しない
Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例
family: water-workflow-v1 · grader: not-implemented
GitHub ↗B · 業界シナリオ・修復 · 120 min planned budget
遠隔監視と制御権限の境界を修復する
架空の上下水道組織で遠隔監視と制御権限の境界を修復する。水質センサー・historian・保守IDの合成snapshotを使用。水質安全と独立観測を維持する。
Outputs and checks
- security test通過
- 正規業務test通過
- 過大権限を追加しない
Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例
family: water-workflow-v1 · grader: not-implemented
GitHub ↗C · 運用型・継続復旧 · 240 min planned budget
遠隔監視の欠落で安全確認へ切り替える
架空の上下水道組織で遠隔監視の欠落で安全確認へ切り替える。水質センサー・historian・保守IDの合成snapshotを使用。水質安全と独立観測を維持する。
Outputs and checks
- 事前設定SLO/RTO/RPOを満たす
- 証拠保全
- 誤検知上限内
- 残余リスクと引継ぎ
Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例
family: water-workflow-v1 · grader: not-implemented
GitHub ↗