diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 4c1d741..f27ca81 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -11,7 +11,7 @@ on: jobs: deploy: - runs-on: ubuntu-20.04 + runs-on: ubuntu-22.04 env: PR_PATH: pull/${{github.event.number}} steps: diff --git a/docs/workshops/2025-05-Lund/1-1-Welcome_Introductions.pdf b/docs/workshops/2025-05-Lund/1-1-Welcome_Introductions.pdf new file mode 100644 index 0000000..da0b6a6 Binary files /dev/null and b/docs/workshops/2025-05-Lund/1-1-Welcome_Introductions.pdf differ diff --git a/docs/workshops/2025-05-Lund/1-2-Ask_me_anything.pdf b/docs/workshops/2025-05-Lund/1-2-Ask_me_anything.pdf new file mode 100644 index 0000000..b2a2168 Binary files /dev/null and b/docs/workshops/2025-05-Lund/1-2-Ask_me_anything.pdf differ diff --git a/docs/workshops/2025-05-Lund/1-3_Arduino_Portenta_X8_as_a_community_reference_hardware_for_safe_systems.pdf b/docs/workshops/2025-05-Lund/1-3_Arduino_Portenta_X8_as_a_community_reference_hardware_for_safe_systems.pdf new file mode 100644 index 0000000..e59b0c6 Binary files /dev/null and b/docs/workshops/2025-05-Lund/1-3_Arduino_Portenta_X8_as_a_community_reference_hardware_for_safe_systems.pdf differ diff --git a/docs/workshops/2025-05-Lund/1-4-Example_System.pdf b/docs/workshops/2025-05-Lund/1-4-Example_System.pdf new file mode 100644 index 0000000..01466d6 Binary files /dev/null and b/docs/workshops/2025-05-Lund/1-4-Example_System.pdf differ diff --git a/docs/workshops/2025-05-Lund/1-5-Community_interaction.pdf b/docs/workshops/2025-05-Lund/1-5-Community_interaction.pdf new file mode 100644 index 0000000..9207db7 Binary files /dev/null and b/docs/workshops/2025-05-Lund/1-5-Community_interaction.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-1-Safe_vs_safety.pdf b/docs/workshops/2025-05-Lund/2-1-Safe_vs_safety.pdf new file mode 100644 index 0000000..e3ccf1f Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-1-Safe_vs_safety.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-2_How_far_do_we_go_at_the_hardware_level.pdf b/docs/workshops/2025-05-Lund/2-2_How_far_do_we_go_at_the_hardware_level.pdf new file mode 100644 index 0000000..fb80eff Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-2_How_far_do_we_go_at_the_hardware_level.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-3_PX4Space.pdf b/docs/workshops/2025-05-Lund/2-3_PX4Space.pdf new file mode 100644 index 0000000..9b21b57 Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-3_PX4Space.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-4_SPDX_Safety_Profile.pdf b/docs/workshops/2025-05-Lund/2-4_SPDX_Safety_Profile.pdf new file mode 100644 index 0000000..4721649 Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-4_SPDX_Safety_Profile.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-5_Safe_Continuous_Deployment.pdf b/docs/workshops/2025-05-Lund/2-5_Safe_Continuous_Deployment.pdf new file mode 100644 index 0000000..fb21d08 Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-5_Safe_Continuous_Deployment.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-6_Resilient_Safety_Analysis_and_Qualification.pdf b/docs/workshops/2025-05-Lund/2-6_Resilient_Safety_Analysis_and_Qualification.pdf new file mode 100644 index 0000000..01bca0b Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-6_Resilient_Safety_Analysis_and_Qualification.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-7_KernelCI_BASIL_&_Testing.pdf b/docs/workshops/2025-05-Lund/2-7_KernelCI_BASIL_&_Testing.pdf new file mode 100644 index 0000000..3b899ce Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-7_KernelCI_BASIL_&_Testing.pdf differ diff --git a/docs/workshops/2025-05-Lund/2-8_Linux_Kernel_Requirements.pdf b/docs/workshops/2025-05-Lund/2-8_Linux_Kernel_Requirements.pdf new file mode 100644 index 0000000..1fe5318 Binary files /dev/null and b/docs/workshops/2025-05-Lund/2-8_Linux_Kernel_Requirements.pdf differ diff --git a/docs/workshops/2025-05-Lund/3-1_Trustable_Software_Framework.pdf b/docs/workshops/2025-05-Lund/3-1_Trustable_Software_Framework.pdf new file mode 100644 index 0000000..4a81474 Binary files /dev/null and b/docs/workshops/2025-05-Lund/3-1_Trustable_Software_Framework.pdf differ diff --git a/docs/workshops/2025-05-Lund/3-2_Rust_in_Safety_Critical_Applications_and_Implications_for_ELISA.pdf b/docs/workshops/2025-05-Lund/3-2_Rust_in_Safety_Critical_Applications_and_Implications_for_ELISA.pdf new file mode 100644 index 0000000..9d59fbd Binary files /dev/null and b/docs/workshops/2025-05-Lund/3-2_Rust_in_Safety_Critical_Applications_and_Implications_for_ELISA.pdf differ diff --git a/docs/workshops/2025-05-Lund/3-3-Best_Practices_Standard.pdf b/docs/workshops/2025-05-Lund/3-3-Best_Practices_Standard.pdf new file mode 100644 index 0000000..8edb4de Binary files /dev/null and b/docs/workshops/2025-05-Lund/3-3-Best_Practices_Standard.pdf differ diff --git a/docs/workshops/2025-05-Lund/3-4-Wrap-up.pdf b/docs/workshops/2025-05-Lund/3-4-Wrap-up.pdf new file mode 100644 index 0000000..dec0ad6 Binary files /dev/null and b/docs/workshops/2025-05-Lund/3-4-Wrap-up.pdf differ diff --git a/docs/workshops/index.md b/docs/workshops/index.md index b70d708..9c051ce 100644 --- a/docs/workshops/index.md +++ b/docs/workshops/index.md @@ -9,6 +9,28 @@ The following list contains results and work products from past ELISA workshops * This is not peer-reviewed content and it is intended only as a historical record of outcomes and discussions, to provide context for current ELISA activities. * Any decisions or actions based on the information in the workshop content should be made with careful consideration and further investigation as necessary. +## May 2025 (Lund) + +| Title | Presenter(s) | Last revisited | +| ----- | ------------ | -------------- | +| [Welcome & Introductions](2025-05-Lund/1-1-Welcome_Introductions.pdf) | Philipp Ahmann, ETAS GmbH; Kate Stewart, Linux Foundation; Robert Fekete, Volvo Cars |2025-05-09 | +| [Ask Me Anything about ELISA or Use of OSS in Safety Critical Applications](2025-05-Lund/1-2-Ask_me_anything.pdf) | Philipp Ahmann, ETAS GmbH; Gabriele Paoloni, Red Hat |2025-05-09 | +| [Arduino Portenta X8 as a community reference hardware for safe systems](2025-05-Lund/1-3_Arduino_Portenta_X8_as_a_community_reference_hardware_for_safe_systems.pdf) | David Cuartielles, Arduino |2025-05-09 | +| [Example System within ELISA as Cross Community Effort with AGL, Eclipse S-Core, KernelCI, Xen, Zephyr, and more](2025-05-Lund/1-4-Example_System.pdf) | Philipp Ahmann, ETAS GmbH; Yuichi Kusakabe, Honda Motors |2025-05-09 | +| [Interaction between ELISA and Adjacent Communities such as Eclipse, Linaro, Rust, SPDX, Yocto, and more](2025-05-Lund/1-5-Community_interaction.pdf) | Kate Stewart, Linux Foundation; Philipp Ahmann, ETAS GmbH |2025-05-09 | +| [Safety Linux vs Safe(ty) Linux](2025-05-Lund/2-1-Safe_vs_safety.pdf) | Philipp Ahmann, ETAS GmbH; Paul Albertella, Codethink |2025-05-09 | +| [How far do we go at the hardware level? An analysis of current state of kernel and integration](2025-05-Lund/2-2_How_far_do_we_go_at_the_hardware_level.pdf) | Olivier Charrier, Wind River; Alessandro Carminati, Red Hat |2025-05-09 | +| [PX4Space](2025-05-Lund/2-3_PX4Space.pdf) | Pedro Roque, KTH Royal Institute of Technology |2025-05-09 | +| [SPDX Safety Profile](2025-05-Lund/2-4_SPDX_Safety_Profile.pdf) | Nicole Pappler, AlektoMetis |2025-05-09 | +| [Safe Continuous Deployment](2025-05-Lund/2-5_Safe_Continuous_Deployment.pdf) | Håkan Sivcernona, Volvo Cars |2025-05-09 | +| [Resilient Safety Analysis and Qualification](2025-05-Lund/2-6_Resilient_Safety_Analysis_and_Qualification.pdf) | Igor Stoppa, Nvidia |2025-05-09 | +| [KernelCI, BASIL & Testing](2025-05-Lund/2-7_KernelCI,_BASIL_&_Testing.pdf) | Luigi Pelliccia, Red Hat; Gustavo Padovan, Collabora |2025-05-09 | +| [Requirements Traceability](2025-05-Lund/2-8_Linux_Kernel_Requirements.pdf) | Kate Stewart, Linux Foundation; Gabriele Paoloni, Red Hat | 2025-05-09 | +| [Trustable Software Framework](2025-05-Lund/3-1_Trustable_Software_Framework.pdf) | Paul Albertella, Codethink; Daniel Krippner, ETAS GmbH |2025-05-09 | +| [Review Role of Rust in Safety Critical Applications and Explore Potential Implication for ELISA](2025-05-Lund/3-2_Rust_in_Safety_Critical_Applications_and_Implications_for_ELISA.pdf) | Paul Albertella, Codethink; Daniel Krippner, ETAS GmbH |2025-05-09 | +| [Best Practices Standard](2025-05-Lund/3-3_Best_Practices_Standard.pdf) | Philipp Ahmann, ETAS GmbH; Gabriele Paoloni, Red Hat; Olivier Charrier, Wind River |2025-05-09 | +| [Workshop wrap-up](2025-05-Lund/3-4_Wrap-up.pdf) | Philipp Ahmann, ETAS GmbH; Kate Stewart, Linux Foundation |2025-05-09 | + ## December 2024 (Maryland) | Title | Presenter(s) | Last revisited |