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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Logically Unified Continually Integrated Network Design Assurance (LUCINDA)


    Contributors:


    Publication date :

    2024-09-29


    Size :

    3444569 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Design of Logically Obfuscated n-bit ALU for Enhanced Security

    K, Saravanan / N, Mohankumar | IEEE | 2019


    Attitude Control System Using Logically Controlled Pulses

    Farrior, James S. / Roberson, Robert E. | AIAA | 1962


    Angular Response of Logically Combined Photonic Crystals

    Alagappan, G. / Png, C. E. | British Library Online Contents | 2016


    Perceptual Grouping by Selection of a Logically Minimal Model

    Feldman, J. | British Library Online Contents | 2003