Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Create 2024-03-22.md #665

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Create 2024-03-22.md #665

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
42 changes: 42 additions & 0 deletions safety/2024-03-22.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
# SPDX FuSa Meeting 2024-03-22

## Attendees
* Maximillian Huber
* Chuck Woebel
* Stanislav Pankevich
* Ayan Kumar Halder
* Nicole Pappler
* Kate Stewart

## Agenda
* Discussion of Requirements
* SPDX prototype from Stanislav

## Notes
* Xen project working on formalizing requirements as well, willing to collaborate with Zephyr.
### Requirements for Requirements
* Requirements for Requirements is open topic in Zephyr. Looking for equivalent of coding standards.
* https://www.tc.faa.gov/its/worldpac/techrpt/ar0832.pdf
* IEEE https://www.cse.msu.edu/~cse870/IEEEXplore-SRS-template.pdf
* InCOSE: https://www.google.com/url?q=https://www.incose.org/docs/default-source/working-groups/requirements-wg/gtwr/incose_rwg_gtwr_v4_040423_final_drafts.pdf?sfvrsn%3D5c877fc7_2&sa=D&source=docs&ust=1711125245090985&usg=AOvVaw1urGFymQve__bc84IRCbyR
https://www.google.com/url?q=https://www.incose.org/docs/default-source/working-groups/requirements-wg/rwg_products/incose_rwg_gtwr_summary_sheet_2022.pdf?sfvrsn%253Da95a6fc7_2&sa=D&source=docs&ust=1711125245089991&usg=AOvVaw3dBTpYnfTM8hQ2eCXaSZ11
* Discussion of Zephyr use of relationships for SPDX relationships.
* Discussion of CHATGPT - semaphore requirement; not ready for CI automation. Edge cases semantics.

### Strictdoc with SPDX
* From Stanislav demo of prototype SPDX requirments
* Introduction of Requirement Class to model?
* Introduction of Assumptions (of environment) to SPDX model? Things
* Should we look at "Needs" (as per INCOSE).
* Moving Grammars to own files, and making it parameterizable
* SPDX Grammar, SDG, Automotive.

### Relationships with SPDX for safety case
* Process aspects - what makes sense extend vocabulary?

## Decisions

## Action Items
* Merging SDG & SPDXG - next steps: Stanislav, Kate, Gary - with Nicole as optional

## Next SPDX FuSa Meeting 2024-03-28