AADL Simulation and Performance Analysis in SystemC

被引:0
|
作者
Varona-Gomez, Roberto [1 ]
Villar, Eugenio [1 ]
机构
[1] Univ Cantabria, E-39005 Santander, Spain
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:324 / 329
页数:6
相关论文
共 50 条
  • [1] Specification for SystemC-AADL interoperability
    de las Heras, Eduardo
    Villar, Eugenio
    PROCEEDINGS OF THE FIFTH WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSTEMS, 2007, : 77 - 87
  • [2] Formal schedulability analysis and simulation for AADL
    Gui, Shenglin
    Luo, Lei
    Li, Yun
    Wang, Lijie
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 429 - +
  • [3] 基于MDE的AADL向SystemC的转换
    郑晓梅
    胡晨骏
    李刚
    福建电脑, 2013, 29 (07) : 13 - 15
  • [4] Functional Validation of AADL Models via Model Transformation to SystemC with ATL
    Bomel, Pierre
    Blouin, Dominique
    Lanoe, Mickael
    Senn, Eric
    PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 13 - 18
  • [5] 基于SystemC的AADL软构件仿真代码转换技术
    马春燕
    董云卫
    陆伟
    朱晓燕
    计算机科学, 2011, 38 (08) : 161 - 164+196
  • [6] Safety, Dependability and Performance Analysis of Extended AADL Models
    Bozzano, Marco
    Cimatti, Alessandro
    Katoen, Joost-Pieter
    Viet Yen Nguyen
    Noll, Thomas
    Roveri, Marco
    COMPUTER JOURNAL, 2011, 54 (05): : 754 - 775
  • [7] The simulation semantics of SystemC
    Mueller, W
    Ruf, J
    Hoffmann, D
    Gerlach, J
    Kropf, T
    Rosenstiehl, W
    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 64 - 70
  • [8] System-level performance analysis in SystemC
    Posadas, H
    Herrera, F
    Sánchez, P
    Villar, E
    Blasco, F
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 378 - 383
  • [9] Powerline LonTalk protocol performance analysis in SystemC
    Isaia, Salvatore
    Conti, Massimo
    Vece, Giovanni B.
    Orcioni, Simone
    VLSI CIRCUITS AND SYSTEMS III, 2007, 6590
  • [10] Hybrid Analysis of SystemC Models for Fast and Accurate Parallel Simulation
    Schmidt, Tim
    Liu, Guantao
    Domer, Rainer
    2017 22ND ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2017, : 226 - 231