BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//ELISA - ECPv6.15.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:ELISA
X-ORIGINAL-URL:https://elisa.tech
X-WR-CALDESC:Events for ELISA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20240310T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20241103T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20260308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20261101T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20251211
DTEND;VALUE=DATE:20251214
DTSTAMP:20260413T122327
CREATED:20250925T073805Z
LAST-MODIFIED:20251106T212544Z
UID:10000080-1765411200-1765670399@elisa.tech
SUMMARY:Linux Plumbers Conference: Tokyo\, Japan 2025
DESCRIPTION:[vc_row type=”in_container” full_screen_row_position=”middle” column_margin=”default” column_direction=”default” column_direction_tablet=”default” column_direction_phone=”default” scene_position=”center” text_color=”dark” text_align=”left” row_border_radius=”none” row_border_radius_applies=”bg” overflow=”visible” overlay_strength=”0.3″ gradient_direction=”left_to_right” shape_divider_position=”bottom” bg_image_animation=”none”][vc_column column_padding=”no-extra-padding” column_padding_tablet=”inherit” column_padding_phone=”inherit” column_padding_position=”all” column_element_direction_desktop=”default” column_element_spacing=”default” desktop_text_alignment=”default” tablet_text_alignment=”default” phone_text_alignment=”default” background_color_opacity=”1″ background_hover_color_opacity=”1″ column_backdrop_filter=”none” column_shadow=”none” column_border_radius=”none” column_link_target=”_self” column_position=”default” gradient_direction=”left_to_right” overlay_strength=”0.3″ width=”1/1″ tablet_width_inherit=”default” animation_type=”default” bg_image_animation=”none” border_type=”simple” column_border_width=”none” column_border_style=”solid”][vc_column_text css=”” text_direction=”default”]The Linux Plumbers Conference is the premier event for developers working at all levels of the plumbing layer and beyond. \nTaking place on Thursday 11th\, Friday 12th and Saturday 13th of December\, this year we will be both in person and remote (hybrid). However to minimize technical issues\, we’d appreciate most of the content presenters being in-person. \nThe in-person venue is the Toranomon Hills Forum\, Tokyo\, Japan. \n\nLPC Microconference\n\n\nA microconference contains several sessions based on the same general topic. Each session will be between 15 to 30 minutes in length and be discussion oriented. \nSafe Systems with Linux MC \nAs Linux continues to be deployed in systems with varying criticality constraints\, progress needs to be made in establishing consistent linkage between code\, tests\, and requirements\, to improve overall efficiency and ability to support necessary analysis.\nThis MC addresses critical challenges in expectation management (aka requirements tracking)\, documentation\, testing\, and artifact sharing within the Linux kernel ecosystem. While tests are contributed for the code\, traditionally the underlying requirement that the tests satisfies is likewise not documented in a structured manner. This has resulted in a large amount of “tribal knowledge” associated with subsystems\, which results in technical debt when maintainers stop working on subsystems. \nTaking in the feedback from last year’s “Safe Systems with Linux” miniconference 1\, on how we can improve the documentation of the kernel’s design [1a] the ELISA (Enabling Linux in Safety Applications) community has focused on prototyping a template for capturing the requirements with volunteer linux kernel subsystem maintainers. The ELISA architecture team 2 has been meeting weekly and has developed a structured approach for documenting testable expectations with a template that allows embedding requirements directly with relevant code (as requested in the initial workshop) while maintaining machine readability and forming a base for improving testing with initiatives like KernelCI. The prototype format got initial review and feedback in December at the ELISA workshop at Goddard [3] and after incorporating that feedback in the workshop in Lund in May [4]. \nInitial pilots in the TRACING subsystem [5] have demonstrated the value of this approach\, even resulting in the identification and fixing of previously unknown issues. [6\,7]\nBuilding on the last year’s discussions\, the goal of this miniconference is to get wider feedback from additional maintainers and developers of different subsystems on the approach being proposed. \nPotential Topics\n\nProgress on Linux Kernel Requirements Framework\nDiscussing the SPDX-based template for low-level requirements\, lessons learned from initial pilots\, and plans for wider adoption.\nTechnical Debt Reduction\nHow documented requirements capture understanding of original functionality\, and can be leveraged for verification when code needs to be rewritten (ie. C to Rust)\, etc.\nRequirements-Driven Testing\nHow documented requirements can drive test case development and validation. Connecting relevant test cases with specific requirements and code\, should be able to yield more efficient testing.\nSemantic Aspects of Kernel Requirements\nExploring how to properly document expected behaviors with consideration for design elements that impact or are impacted by these behaviors.\nPractical Implementation Challenges\nAddressing the balance between detailed requirements documentation and maintaining kernel development velocity.\nRequired tools for automation\nProgress on tools to generate\, validate\, and track work products increasing dependability throughout the kernel development process.\nIndustry Adoption\nHow safety-critical industries are beginning to leverage these developments for certification and compliance purposes. How their safety engineers can participate in contributing formalized requirements to the kernel and providing linkage.\nRequirements as an Education Tool\nHow linux kernel documentation can mine the requirements\, and help new contributors understand kernel functionality and design intent and attract new upsteam developers\n\nSession Highlights:\n\nAspects of Dependable Linux Systems – Kate Stewart (Linux Foundation)\, Philipp Ahmann (Etas GmbH (BOSCH)) – 12 Dec 2025\, 10:00\nNVIDIA Approach for Achieving ASIL B Qualified Linux: minimizing expectations from upstream kernel processes -Igor Stoppa (nvidia) -12 Dec 2025\, 10:10am\nApplying Program Verification to Linux Kernel Code: Challenges\, Practices\, and Automation – Keisuke Nishimura – 12 Dec 2025\, 10:35\nDefining and maintaining requirements in the Linux Kernel – Chuck Wolber\, Gabriele Paoloni (Red Hat)\, Kate Stewart (Linux Foundation) – 12 Dec 2025\, 11:00\nKUnit Testing Insufficiencies – Matthew Whitehead (The Boeing Company) – 12 Dec 2025\, 12:00\nExploring possibilities for integrating StrictDoc with ELISA’s requirements template approach for the Linux kernel – Tobias Deiminger (Linutronix GmbH) – 12 Dec 2025\, 12:25\nBASIL: Open Source Traceability for Safety-Critical Systems” – Luigi Pellecchia – 12 Dec 2025\, 12:40\nTooling and Sharing Traceability Discussion – Luigi Pellecchia\, Matthew Whitehead (The Boeing Company)\, Tobias Deiminger (Linutronix GmbH) – 12 Dec 2025\, 12:55\nWrap up and next steps – Kate Stewart (Linux Foundation)\, Philipp Ahmann (Etas GmbH (BOSCH)) – 12 Dec 2025\, 13:20\n\nLearn more about the sessions here. \n\n[/vc_column_text][/vc_column][/vc_row]
URL:https://elisa.tech/event/linux-plumbers-conference-tokyo-japan-2025/
CATEGORIES:Ambassador Presentations,Industry Conference
ATTACH;FMTTYPE=image/png:https://elisa.tech/wp-content/uploads/sites/19/2025/09/Linux-Plumbers-Conference-Tokyo-Japan-2025.png
END:VEVENT
END:VCALENDAR