linux-kernel - Re: [ANNOUNCE][CFP] Kernel Dependability & Assurance Micro Conference

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <34aa3ed4-7405-d1b2-f884-30ee5ad279aa@linuxfoundation.org>
Date:   Fri, 10 Jul 2020 08:42:08 -0600
From:   Shuah Khan <skhan@...uxfoundation.org>
To:     Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
        linux-safety@...ts.elisa.tech
Cc:     Kate Stewart <kstewart@...uxfoundation.org>,
        "lukas.bulwahn@....de" <lukas.bulwahn@....de>,
        "devel@...ts.elisa.tech" <devel@...ts.elisa.tech>,
        Shuah Khan <skhan@...uxfoundation.org>
Subject: Re: [ANNOUNCE][CFP] Kernel Dependability & Assurance Micro Conference
 - LPC 2020

On 7/9/20 2:58 PM, Shuah Khan wrote:

+ devel@...ts.elisa.tech <devel@...ts.elisa.tech>

> This is the call for proposals for the Kernel Dependability & Assurance
> Micro Conference at the Linux Plumbers Conference 2020. It will take
> place online during the Linux Plumbers Conference on August 24th-28th,
> 2020.
> 
> The Kernel Dependability & Assurance Micro Conference is intended to
> bring the safety-critical systems community and the kernel community
> together to start a dialogue and collaboration on making sure that the
> kernel is fit to be used in safety-critical systems and that questions
> from the safety community and other wrt. software quality can be
> answered adequately.
> 
> The goal for this conference is to explore kernel dependability as it
> relates to safety-critical applications in the areas of uptime, tooling,
> and processes. The focus is going to be on the following topics.
> 
> - Kernel Quality Assurance beyond Testing and CI?
> 
> - Understanding the User's Expectations on Software Quality for
>    business-critical systems
> 
> - Define safety requirements for overall kernel: features, tests etc.
> 
> - Define run-time characteristics and requirements
> 
> - Identify missing features necessary to operate in safety critical
>    environments.
> 
> - Discuss safety features
> 
> - Regression Testing for safety: Identify configurations and tests
>    critical and important for safety quality and dependability
> 
> - Discuss and identify gaps in tests.
> 
> - Add tests and add configurations to existing test rings.
> 
> - Understanding the Kernel Development Organization and Management
> 
> - Assessing, Measuring and Evaluating the Development Process
> 
> We encourage submissions that do not present a final solution. Instead,
> that serves to get feedback from the community, to point to action items
> for future development, and that can result in patches for the Linux
> Kernel and Linux ecosystem in the future.
> 
> Please submit your proposals on the LPC website at:
> 
> https://www.linuxplumbersconf.org/event/7/abstracts/#submit-abstract
> 
> And be sure to select "Kernel Dependability & Assurance MC" in the Track
> pulldown menu.
> 
> Proposals must be submitted by August 2nd, and submitters will be
> notified of acceptance by August 9th.
> 
> thanks,
> -- Shuah