Certification standards for high-assurance systems include objectives for demonstrating compliance of process artifacts such as requirements and code with style guidelines and other standards. With the emergence of model-based development, similar objectives have been specified that apply to models. Demonstration of compliance is often achieved by employing a static analysis linter tool. This paper describes Resolint, an open-source, lightweight linter tool for checking compliance of Architecture Analysis and Design Language (AADL) models with modeling guidelines. AADL enables engineers to describe the key elements of distributed, real-time, embedded system architectures with a sufficiently rigorous semantics. In addition, AADL provides an annex mechanism for extending the base language, enabling new kinds of analyses and tool support. Resolint uses the AADL annex capability to provide a language for specifying style guide rule sets. It is implemented as a plugin for the Eclipse-based Open Source AADL Tool Environment (OSATE) and includes an engine for evaluating whether an AADL model complies with the specified rule sets. Results of the Resolint analysis are displayed to the user and can even be automatically incorporated as evidence in a system assurance case using the companion Resolute tool. To illustrate the features of Resolint, we present three use cases involving the assurance of embedded avionics applications. We further describe how we applied Resolint in the evaluation, synthesis, and assurance of a cyber-resilient UAV surveillance application developed on the DARPA Cyber Assured Systems Engineering (CASE) program.DISTRIBUTION STATEMENT A. Approved for public release: distribution unlimited.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Checking Compliance of AADL Models with Modeling Guidelines using Resolint


    Weitere Titelangaben:

    Sae Int. J. Adv. and Curr. Prac. in Mobility


    Beteiligte:

    Kongress:

    2023 AeroTech ; 2023



    Erscheinungsdatum :

    2023-03-07


    Format / Umfang :

    9 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Checking Compliance of AADL Models with Modeling Guidelines using Resolint

    Amundson, Isaac | British Library Conference Proceedings | 2023



    AADL and Aerospace

    S. Miller / P. Feiler / M. Hecht | NTIS | 2021



    SW Architectural Modeling and Assurance with AADL

    Munoz Fernandez, Michela / Cheng, Shang-Wen / Evensen, Kenneth et al. | NTRS | 2012