Logically Unified Continually Integrated Network Design Assurance (LUCINDA)

Time-triggered and time-sensitive networks are rapidly emerging as foundational backbones for integrated and distributed modular avionic systems. As systems become more integrated, the system network dependence and the importance of network design assurance have become paramount. Assurance-related t...

Full description

Saved in:
Bibliographic Details
Main Authors: Hall, Brendan, Smithgall, William T., Zehr, Noah, Loveless, Andrew, Luksik, Brendan
Format: Conference Proceeding
Language:English
Subjects:
Aerospace electronics
Complexity theory
continuous integration
Debugging
docker
git
Glass box
Instruction sets
Logic
logic model processing
network design assurance
prolog
Qualifications
Real-time systems
Systematics
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Time-triggered and time-sensitive networks are rapidly emerging as foundational backbones for integrated and distributed modular avionic systems. As systems become more integrated, the system network dependence and the importance of network design assurance have become paramount. Assurance-related tooling often reflects a 'check-the-box' mindset, with automated checker tooling providing little direct supporting evidence of correctness or completeness other than the indirect tool qualification data. With the increasing complexity of dependable systems, such opaque, check-the-box assurance approaches are rapidly becoming inadequate. This paper introduces LUCINDA (Logically Unified, Continually Integrated Network Design Assurance), a novel system that better integrates design assurance and verification activities into development workflows. We show how LUCINDA's logic model processing approach can support user-driven interactive queries for real-time lab debugging, facilitating systematic knowledge capture and growth. We then discuss how LUCINDA's plain-text command-line sequences can seamlessly integrate into continuous-development workflows. Finally, we illustrate how the scaled logical closure of LUCINDA's claims and theories yields more transparent and auditable white-box evidential threads with justifiable and complete coverage.
ISSN:2155-7209
DOI:10.1109/DASC62030.2024.10748658