From 8b52c3452684f5c1f0daa5eccc7d349007c7c9fa Mon Sep 17 00:00:00 2001 From: Paul Albertella Date: Thu, 28 Oct 2021 13:44:10 +0100 Subject: [PATCH] Draft of proposed approach Signed-off-by: Paul Albertella --- approach.md | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 approach.md diff --git a/approach.md b/approach.md new file mode 100644 index 0000000..5502edf --- /dev/null +++ b/approach.md @@ -0,0 +1,25 @@ +# OSEP proposed approach + +a) Identify and document system scope, losses and hazards + +* *Assumed* system context, boundaries of analysis, role of OS, etc +* OS-level losses/hazards that *may* violate a system's safety goals +* Specific to the topic: start simple and elaborate later! + +b) Identify and document constraints and mitigations +* Constraints: Criteria that must be satisfied to *prevent* hazard +* Mitigations: To reduce *impact* of hazards that are not prevented + +c) Identify and document kernel features or external mechanisms +* To implement OS- or system-level constraints and mitigations +* To be identified and/or investigated by other WGs? + +d) Investigate and document processes and tools to: +* Implement constraints or mitigations via engineering processes +* Verify constraints and mitigations (at all levels) +* Validate constraints, mitigations & verification measures in-context +* Identify or provide other evidence to support claims + +e) Identify and document claims and use cases +* To illustrate how a+b+c+d might support an in-context safety argument +* Use cases with kernel config(s) and hardware / system dependencies?