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