Software Assurance Tools to Improve Evidence Strength |
|
SCC 11 Agenda |
|
SCC 12 Agenda |
|
Competencies Required for Engineering of Digital Systems in Nuclear Power Plant |
|
Challenges in Developing a Safety Standard for Medical Application Platforms |
|
Overview |
|
Safe and Secure Software Systems and the Role Professional Licensure |
|
Bodies of Knowledge and Competency Models for SW and System Eng |
|
The Educational Value of Grand Challenge Problems - Wassyng |
|
Challenges in Engineering Automotive Software and Competency Requirements - Ramesh |
|
SCC 12 - Introduction and Agenda - Paul Joannou.pdf |
|
Applying Systems Thinking to System Safety Requirements |
|
Evaluating Hazard Analysis Of A Distributed Digital System For Nuclear Reactor Safety |
|
System Safety Requirements Review |
|
The Four Types of Safety-Related Requirements |
|
Architecture-Centric Strategies for Addressing Challenges in Software-reliant Safety-critical Systems |
|
Generating Executable Software Requirements Through Hazard Analysis |
|
Modeling And Specifying Requirements for Safety-Critical Systems |
|
Quality, Measurement (and Assurance Cases) |
|
Deriving Software Safety Requirements - Principles and Caveats - John McDermid.pdf |
|
STPA-Primer-v0.pdf |
|