Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1109/ICECCS.2009.11guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

AADL Simulation and Performance Analysis in SystemC

Published: 02 June 2009 Publication History

Abstract

Due to the increasing complexity of embedded systems, new design methodologies have to be adopted, since traditional techniques are no longer efficient. Model-based engineering enables the designer to confront these concerns using the architecture description of the system as the main axis during the design cycle. Defining the architecture of the system before its implementation enables the analysis of constraints imposed on the system from the beginning of the design cycle until the final implementation. AADL has been proposed for designing and analyzing SW and HW architectures for real-time mission-critical embedded systems. Although the Behavioral Annex improves its simulation semantics, AADL is a language for analyzing architectures and not for simulating them. In this paper, AADS, an AADL simulation tool is presented. AADS supports the performance analysis of the AADL specification throughout the refinement process from the initial system architecture until the complete, detailed application and execution platform are developed. In this way, AADS enables the verification of the initial timing constraints during the complete design process.

Cited By

View all
  • (2019)Template-based AADL automatic code generationFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-017-6477-y13:4(698-714)Online publication date: 1-Aug-2019
  • (2015)Exploring AADL verification tool through model transformationJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2015.02.00361:3(141-156)Online publication date: 1-Mar-2015
  • (2014)Generation and validation of traces between requirements and architecture based on formal trace semanticsJournal of Systems and Software10.5555/2747015.274718188:C(112-137)Online publication date: 1-Feb-2014
  1. AADL Simulation and Performance Analysis in SystemC

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    ICECCS '09: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
    June 2009
    390 pages
    ISBN:9780769537023

    Publisher

    IEEE Computer Society

    United States

    Publication History

    Published: 02 June 2009

    Author Tags

    1. AADL
    2. AADS
    3. POSIX.
    4. Performance Analysis
    5. SCoPE
    6. Simulation
    7. SystemC

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 16 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2019)Template-based AADL automatic code generationFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-017-6477-y13:4(698-714)Online publication date: 1-Aug-2019
    • (2015)Exploring AADL verification tool through model transformationJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2015.02.00361:3(141-156)Online publication date: 1-Mar-2015
    • (2014)Generation and validation of traces between requirements and architecture based on formal trace semanticsJournal of Systems and Software10.5555/2747015.274718188:C(112-137)Online publication date: 1-Feb-2014

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media