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.
Logically Unified Continually Integrated Network Design Assurance (LUCINDA)
2024-09-29
3444569 byte
Conference paper
Electronic Resource
English
Angular Response of Logically Combined Photonic Crystals
British Library Online Contents | 2016
|Perceptual Grouping by Selection of a Logically Minimal Model
British Library Online Contents | 2003
|TOWAGE & HEAVY LIFT - The continually expanding tug market
Online Contents | 1999