Experimental Physics and
Industrial Control System
| 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 <2023> 2024 | Index | 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 <2023> 2024 |
| <== Date ==> | <== Thread ==> |
|---|
| Subject: | Re: EPICS Software Supply Chain Risk Management (SSCRM) |
| From: | Jonathan Jacky via Tech-talk <tech-talk at aps.anl.gov> |
| To: | richard.k.evans at nasa.gov |
| Cc: | tech-talk at aps.anl.gov, S Banerian <banerian at uw.edu> |
| Date: | Mon, 10 Jul 2023 15:27:27 -0700 |
> "Given that EPICS is open source and used around the world, How do you know that EPICS is safe?"
> Question 2 - Has this question been addressed by anyone previously? ..
and are there any charts or papers that I can cite and/or reference when
I talk with the NASA CIO folks about EPICS and SSCRM.
Several years ago, staff at the University of Washington Medical Cyclotron Facility, and faculty and staff at the University of Washington Department of Computer Science and Engineering, did a multi-year project to apply modern formal verification methods and technology both to the EPICS core and an EPICS application program (an EPICS database on an IOC).
The project and its results were reported at the 2017 ICALEPS meeting. The slides give a quick overview of the project:
https://accelconf.web.cern.ch/icalepcs2017/papers/tudpl02.pdf (paper, 7 pages)
- Jonathan Jacky
- Replies:
- Re: [EXTERNAL] Re: EPICS Software Supply Chain Risk Management (SSCRM) Evans, Richard K. (GRC-H000) via Tech-talk
- Navigate by Date:
- Prev: Re: EPICS Software Supply Chain Risk Management (SSCRM) Pierrick M Hanlet via Tech-talk
- Next: Re: [EXTERNAL] Re: EPICS Software Supply Chain Risk Management (SSCRM) Evans, Richard K. (GRC-H000) via Tech-talk
- Index: 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 <2023> 2024
- Navigate by Thread:
- Prev: Re: EPICS Software Supply Chain Risk Management (SSCRM) Pierrick M Hanlet via Tech-talk
- Next: Re: [EXTERNAL] Re: EPICS Software Supply Chain Risk Management (SSCRM) Evans, Richard K. (GRC-H000) via Tech-talk
- Index: 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 <2023> 2024
·
Home
·
News
·
About
·
Base
·
Modules
·
Extensions
·
Distributions
·
Download
·
· Search · EPICS V4 · IRMIS · Talk · Bugs · Documents · Links · Licensing ·