Resources
MIL-HDBK-516C Section 15 Conformance Case
Dependable Computing Publications
- SCT: A Safety Case Toolkit
M. Anthony Aiello, Ashlie B. Hocking, John Knight, Jonathan Rowanhill
2nd International Workshop on Assurance Cases for Software-intensive Systems, Naples, Italy (2014) - Arguing Software Compliance With ISO 26262
Ashlie B. Hocking, John Knight, M. Anthony Aiello, Shinichi Shiraishi
2nd International Workshop on Assurance Cases for Software-intensive Systems, Naples, Italy (2014) - Proving Model Equivalence in Model Based Design
Ashlie B. Hocking, John Knight, M. Anthony Aiello, Shinichi Shiraishi
25th IEEE International Symposium on Software Reliability Engineering (ISSRE), Naples, Italy (2014) - Formal Verification in Model Based Development
Ashlie B. Hocking, John C. Knight, and M. Anthony Aiello
SAE World Congress, Detroit MI (2015) - Integrating An Assurance Case Into Do-178B Compliant Software Development
John Knight, Jonathan Rowanhill, Uma Ferrell, Alec Bateman, Neha Gandhi
34th Digital Avionics Systems Conference, Prague, Czech Republic (2015) - A Comprehensive Safety Lifecycle
John Knight, Jonathan Rowanhill, M. Anthony Aiello, Kimberly Wasson
3rd International Workshop on Assurance Cases for Software-intensive Systems, Delft, The Netherlands (2015) - A Safety Condition Monitoring System
John Knight, Jonathan Rowanhill, Jian Xiang
3rd International Workshop on Assurance Cases for Software-intensive Systems, Delft, The Netherlands (2015) - Static Analysis of Physical Properties in Simulink Models
Ashlie B. Hocking, M. Anthony Aiello and John C. Knight
26th IEEE International Symposium on Software Reliability Engineering (ISSRE), Gaithersburg MD, (2015)