Safety Qualification of Open Source Software Components

[Andrew.Butterfield at scss.tcd.ie]

Hi Gedare,
it works for me!

Andrew
--------------------------------------------------------------------
Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Lero at TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
                         http://www.scss.tcd.ie/Andrew.Butterfield/
--------------------------------------------------------------------



From: qualification <qualification-bounces at rtems.org> on behalf of Gedare Bloom <gedare at rtems.org>
Date: Tuesday, 16 July 2024 at 22:31
To: qualification at rtems.org <qualification at rtems.org>
Subject: Fwd: Safety Qualification of Open Source Software Components
[External Email] This email originated outside of Trinity College Dublin. Do not click links or open attachments unless you recognise the sender and know the content is safe.

Is this list still on? My student Vijay and I would be interested to
talk to anyone in here, see below:

---------- Forwarded message ---------
From: Vijay Kumar Banerjee <vijay at rtems.org>
Date: Thu, Jul 11, 2024 at 2:34 PM
Subject: Safety Qualification of Open Source Software Components
To: RTEMS Users RTEMS <users at rtems.org>, Gedare Bloom <gedare at rtems.org>


Hi all,

We are starting a project where we are seeking to understand current
industry problems associated with safety qualification and
certification, especially of open-source software. We are keen to
speak with you and discuss the current practice and challenges related
to safety qualification.

RTEMS has been used in many safety-critical systems across different
domains and recent prequalification efforts led by ESA have been of
interest to the wider RTEMS community. If you have experience working
with safety-critical systems and would like to share some of your
insights with us, we are interested in setting up a virtual meeting
before August 9th, 2024. The following calendar link has my
availability for the coming weeks.

https://calendly.com/vijaybanerjee

Thank you,


Vijay Banerjee
Graduate Research Assistant
University of Colorado Colorado Springs
Department of Computer Science
he/him

Gedare Bloom, Ph.D.
Associate Professor
Department of Computer Science
College of Engineering and Applied Science
he/him
_______________________________________________
qualification mailing list
qualification at rtems.org
http://lists.rtems.org/mailman/listinfo/qualification
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/qualification/attachments/20240717/d49d6e47/attachment.htm>