Assurance Cases |
|
Regulation of Patient Management Software in Canada |
|
Workflow Management for Health Care Processes Meets Formal Verification |
|
Assurance Cases for Formally Demonstrated Conformance Relations |
|
The Tabular Expressions Toolbox for Matlab/Simulink |
|
Certification of Health IT Software |
|
The Rational Design Process Used for the Darlington Shutdown Systems |
|
Measuring and Assessing Software Trustworthiness: Approaches and Challenges |
|
Agenda - SCC Meeting 8: Nov 9-10 2011 |
|
Software Safety |
|
Keeping Things “As Simple As Possible, but Not Simpler" |
|
Robustness Assurance for Systems at Scale |
|
Assurance Cases and Software: Is there any evidence? |
|
What Goes Wrong With Software Development And Why? |
|
Automotive System Safety Engineering Practitioner Knowledge |
|
Thoughts on Assurance Cases |
|
DI&C systems safety demonstration framework research planned |
|
Role of Expert Judgement in Assurance |
|
Assessing Testing Evidence: Do We Know How? |
|
Confidence About Evidence and Its Role in an Argument |
|
Fuzz Testing for Creating Evidence in Security Assurance Cases |
|
The Role of Evidence in the Review of Infusion Pumps |
|
Assuring Medical Device InteroperabilityPlug-and-Play Open Systems |
|
Software Evidence in the Aviation Domain |
|
Automated Assurance Cases: Why and How? |
|