Resources
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)
Safety Cases
- Under Construction
Security Cases
- Under Construction
Rigorous Argument
- Under Construction
Formal Specification
- Under Construction
Formal Verification
- Under Construction