Skip to content

Commit

Permalink
Merge pull request #31 from igor-stoppa/main
Browse files Browse the repository at this point in the history
Update README.md for Contributions to clarify the provenance / status of contributed documents
  • Loading branch information
reiterative authored Mar 14, 2024
2 parents f8daaf2 + ec08326 commit 8beb015
Showing 1 changed file with 21 additions and 18 deletions.
39 changes: 21 additions & 18 deletions Contributions/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,25 +5,28 @@ compatible licenses, and peer-reviewed derived work, produced under the
ELISA umbrella.

## Index
* [Interference Scenarios for an ARM64 Linux System](Interference_Scenarios_for_an_ARM64_Linux_System.pdf)
(3rd party) Analysis of a reference system based on ARM64, running Linux.
It provides architectural elements, both SW and HW, which are then used
as reference for describing examples of interference that the system is
subject to.
* [Interference Scenarios for an ARM64 Linux System](Interference_Scenarios_for_an_ARM64_Linux_System.md)
(3rd party) MarkDown version of same-named pdf, meant to undergo peer
review and eventually transition to community-backed status.

* [Safety Requirements for a Generic Linux System](Safety_Requirements_for_a_Generic_Linux_System.pdf)
(3rd party) Based on the previous document, this is a collection of
requirements meant to address Functional Safety in the above-mentioned
system, with focus on both Freedom From Interference and Availability.
These markdown documents are actively extended and reviewed, as part of safety-related work done within ELISA.

* [CheckList for Safety Claims on a Generic Linux System](CheckList_for_Safety_Claims_on_a_Generic_Linux_System.md)
(3rd party) Non-exhaustive list of safety woes that can affect one's system qualification and should be explicitly addressed, in preparation to the qualification process.
The rationale for including these, both from a FuSa and an architectural perspective, can be found in the two documents below.

* [Safety Requirements for a Generic Linux System](Safety_Requirements_for_a_Generic_Linux_System.md)
(3rd party) MarkDown version of same-named pdf, meant to undergo peer
review and eventually transition to community-backed status.
(3rd party) Collection of requirements meant to address Functional Safety, with focus on both Freedom From Interference and Availability.
They take as reference a generic ARM64 system, running Linux.

* [Interference Scenarios for an ARM64 Linux System](Interference_Scenarios_for_an_ARM64_Linux_System.md)
(3rd party) Analysis of a reference system based on ARM64, running Linux. It provides architectural elements, both SW and HW, which are then used
as reference for describing examples of interference that the system is subject to.

## Seminal Documents
These pdf documents are provided as both reference and baseline. They represent the starting point for the work done within ELISA.
They are not expected to evolve further.

* [CheckList for Safety Claims on a Generic Linux System](CheckList_for_Safety_Claims_on_a_Generic_Linux_System.md)
Based on the previous two documents, this is a non-exhaustive list of safety woes that can affect one's system qualification and should be explicitly addressed, in preparation to the qualification process.
* [Safety Requirements for a Generic Linux System](Safety_Requirements_for_a_Generic_Linux_System.pdf)
(3rd party) Collection of requirements meant to address Functional Safety, with focus on both Freedom From Interference and Availability.
They take as reference a generic ARM64 system, running Linux. Original release.

## External links
* [Interference Scenarios for an ARM64 Linux System](Interference_Scenarios_for_an_ARM64_Linux_System.pdf)
(3rd party) Analysis of a reference system based on ARM64, running Linux. It provides architectural elements, both SW and HW, which are then used
as reference for describing examples of interference that the system is subject to. Original relese.

0 comments on commit 8beb015

Please sign in to comment.