Resources

  • 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)