Resources
Dependable Computing Publications
- Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture
Jonathan Rowanhill, Ashlie B. Hocking, Aditya Zutshi, Kerianne L. Hobbs
IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (2023) - Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
Kerianne L. Hobbs, Benjamin Heiner, Lillian Busse, Kyle Dunlap, Jonathan Rowanhill, Ashlie B. Hocking, Aditya Zutshi
AIAA SciTech Forum (2023) - Composable Rationalized Microstandards
Jonathan Rowanhill, Ashlie B. Hocking
Technical Report (2022) - Heterogeneous Dimensional Analysis for Vector and Matrix Operations
Ashlie B. Hocking, Will Hawkins
Technical Report (2021) - Polygon Merge: A Geometric Algorithm Verified Using PVS
Ben L. Di Vito, Ashlie B. Hocking
NASA Formal Methods Symposium (NFM) (2021) - TDABD: Test-Driven-Assurance-Based Development
Jonathan C. Rowanhill, Ashlie B. Hocking, William Hawkins
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2020) - Unit Lemmas for Detecting Requirement and Specification Flaws
Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L Di Vito
IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (2020) - Hazard Analysis of Verification Supporting Arguments for Assured Autonomy
Kimberly S. Wasson, Ashlie B. Hocking, Jonathan C. Rowanhill
AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) (2020) - An Analysis of Implementing PVS in SPARK Ada
Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito
AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) (2020) - SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements
Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
NASA Formal Methods (NFM) (2017) - The Measurement Library: Representing Physical Types in PVS
Ashlie B. Hocking, M. Anthony Aiello
Automated Formal Methods (AFM) (2017) - Input Space Partitioning to Enable Massively Parallel Proof
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
NASA Formal Methods (NFM) (2017) - The Role of Developmental Context in Contextually Compatible Modular Arguments
Benjamin D. Rodes, M. Anthony Aiello
Technical Report (2017) - Comprehensive Lifecycle for Assuring System Safety
John C. Knight, Jonathan C. Rowanhill
NASA Technical Report (2017) - Understanding What It Means for Assurance Cases to” Work”
David J. Rinehart, John C. Knight, Jonathan Rowanhill
NASA Technical Report (2017) - Compositional Assume-Guarantee Reasoning Terminology and Limitations
M. Anthony Aiello, Benjamin D. Rodes
Technical Report (2017) - Towards Establishing Contextual Compatibility in Modular Arguments
Benjamin D. Rodes, M. Anthony Aiello
Technical Report (2017) - Arguing Successful Development
M. Anthony Aiello, Benjamin D. Rodes
Technical Report (2017) - The Seven Artifact Reference Model
M. Anthony Aiello, Benjamin D. Rodes
Technical Report (2017) - The Indispensable Role of Rationale in Safety Standards
John C. Knight, Jonathan Rowanhill
Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP (2016) - Model-Based Compositional Reasoning for Complex Systems of Systems (SoS)
M. Anthony Aiello, Benjamin D. Rodes, Ashlie B. Hocking, Jonathan C. Rowanhill, John C. Knight, Alec J. Bateman, Kevin Ehlmann
Technical report (2016) - Domain Arguments in Safety Critical Software Development
Jonathan Rowanhill, John C. Knight
IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) (2016) - CLASS Assurance Knowledge Ecology
Jonathan Rowanhill, John C. Knight
Technical Report (2016) - CLASS Server Toolset: Design and Implementation
Jonathan Rowanhill
Technical Report (2016) - A System for the Security Protection of Embedded Binary Programs
Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) (2016) - Proving Properties of Simulink Models that Include Discrete Valued Functions
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Shinichi Shiraishi, Masahiro Yamaura, Nikos Arechiga
SAE Technical Paper (2016) - Proving Critical Properties of Simulink Models
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
17th International Symposium on High Assurance Systems Engineering (2016) - A Proof Infrastructure for Binary Programs
Ashlie B. Hocking, Ben D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman
NASA Formal Methods (NFM), Minneapolis, MN (2016) - Visualizing Properties of Simulink Models
Gregory N. Anderson, Ashlie B. Hocking, John C. Knight
IET Digital Library (2016) - Expert Judgment in Assurance Cases
Patrick McGee and John C. Knight,
10th IET System Safety and Cyber Security Conference, Bristol UK (October 2015) - Real-World Contracts – Rich Semantics for Formal Interfaces
Ashlie B. Hocking
Safe and Secure Systems and Software Symposium (S5) (2015) - 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) - Current Practices in Constructing and Evaluating Assurance Cases With Applications to Aviation
David J. Rinehart, John C. Knight, Jonathan Rowanhill
NASA Technical Report (2015) - 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) - A Proposed Approach for Use of Assurance Cases in Certification of Airborne Software
Alex J. Bateman, Jared Cooper, Michael Devore, Kimberly Wasson, John C. Knight, Ashlie B. Hocking
52nd Aerospace Sciences Meeting (2014)
MIL-HDBK-516C Section 15 Conformance Case