MITHRIL Analysis日本語

INDUSTRY / MANUFACTURING

Manufacturing

生産安全とトレーサビリティを維持する

Assets: MES・設計図・PLC変更履歴

A/B/C are specifications in one workflow family. Durations are planned budgets, not measured completion times.

A · 競技型・証拠分析 · 30 min planned budget

承認済み保守と期限切れ接続を区別する

架空の製造組織で承認済み保守と期限切れ接続を区別する。MES・設計図・PLC変更履歴の合成snapshotを使用。生産安全とトレーサビリティを維持する。

Outputs and checks

Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例

family: manufacturing-workflow-v1 · grader: not-implemented

GitHub ↗

B · 業界シナリオ・修復 · 120 min planned budget

CI配布の署名・SBOM・変更承認を修復する

架空の製造組織でCI配布の署名・SBOM・変更承認を修復する。MES・設計図・PLC変更履歴の合成snapshotを使用。生産安全とトレーサビリティを維持する。

Outputs and checks

Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例

family: manufacturing-workflow-v1 · grader: not-implemented

GitHub ↗

C · 運用型・継続復旧 · 240 min planned budget

部品供給ソフト更新の改変を検知し段階復旧する

架空の製造組織で部品供給ソフト更新の改変を検知し段階復旧する。MES・設計図・PLC変更履歴の合成snapshotを使用。生産安全とトレーサビリティを維持する。

Outputs and checks

Negative controls: 事前承認済みの通常業務 / ログ欠落で判断不能な事例

family: manufacturing-workflow-v1 · grader: not-implemented

GitHub ↗

Related L0 educational exercise ↗ (not an implementation of A/B/C)

← All industries