NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 7 of 7 for “"AADL"”.

  1. SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)

    Vo, Hung

    clemson Repository record

  2. APECS: A Polychrony based End-to-End Embedded System Design and Code Synthesis

    Anderson, Matthew EricVirginia Tech2015

    … design. While the platform modeling language AADL has formal semantics, and analysis tools for real-time, and performance verification, the application behavior modeling in AADL is weak and part of an annex. In our work, we create the APECS (AADL and Polychrony based Embedded Computing …

    vt Repository record

  3. A development and assurance process for Medical Application Platform apps

    Procter, SamKansas State University2016

    … the Architecture, Analysis and Design Language (AADL) that has been tailored to the platform-based environment of MAPs. Accompanying the language is software tooling that provides automated code generation targeting an existing MAP implementation. The second contribution is a new hazard analysis …

    ksu Repository record

  4. Rewriting-based model checking methods

    Bae, KyungminUniversity of Illinois at Urbana-Champaign2014

    … widely-used embedded system modeling languages, AADL and Ptolemy II. This approach provides a model-engineering process that combines the advantages of an existing modeling language with automatic rewriting-based model checking.

    uiuc Repository record

  5. Design automation and QoS requirements preservation for multiprocessor embedded systems

    Maruf, Md. AlUniversity of Ontario Institute of Technology2019

    … from Architecture Analysis and Design Language (AADL) models and demonstrates how to preserve the requirements at lower-levels. AADL is practiced to model the software and hardware architecture of embedded systems. Since most of today's embedded systems either belong to soft real-time systems …

    uoit Repository record

  6. A tool for model-based engineering

    Nam, Min YoungUniversity of Illinois at Urbana-Champaign2013

    … of Architecture Analysis and Design Language (AADL) and the loose syntax rules can often lead to difficulties for actual users to make changes to a existing model without the worry of making existing analysis tools break. Thus, a concept of Open Analytic Runtime (OAR) Models is created where we …

    uiuc Repository record

  7. Physically-asynchronous logically-synchronous (PALS) system design and development

    Al-Nayeem, AbdullahUniversity of Illinois at Urbana-Champaign2013

    … SAE Architecture Analysis and Design Language (AADL), an industry-standard modeling language. C2 - Formal pattern specification and analysis: One of the biggest challenges in model-based engineering is to preserve the verification properties as engineers refine and extend the models during the …

    uiuc Repository record