AADL Simulation and Performance Analysis in SystemC

被引:0
|
作者
Varona-Gomez, Roberto [1 ]
Villar, Eugenio [1 ]
机构
[1] Univ Cantabria, E-39005 Santander, Spain
来源
2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2009年
关键词
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 条
  • [21] Fast Simulation of SystemC Synthesizable Subset
    Glukhikh, Mikhail
    Moiseev, Mikhail
    2015 IEEE 18TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS 2015), 2015, : 103 - 106
  • [22] SystemC simulation of networked embedded systems
    Department of Computer Science, University of Verona, Verona 37134, Italy
    Lect. Notes Electr. Eng., 2009, (201-211):
  • [23] Verification and Performance Evaluation of AADL Models
    Bozzano, Marco
    Cimatti, Alessandro
    Roveri, Marco
    Katoen, Joost-Pieter
    Viet Yen Nguyen
    Noll, Thomas
    7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2009, : 285 - 286
  • [24] Towards a faster simulation of SystemC designs
    Habibi, Ali
    Moinudeen, Haja
    Samarah, Amer
    Tahar, Sofiene
    IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, 2006, : 418 - +
  • [25] Parallel SystemC Simulation for ESL Design
    Weinstock, Jan Henrik
    Murillo, Luis Gabriel
    Leupers, Rainer
    Ascheid, Gerd
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2016, 16 (01)
  • [26] AADL2TASM: a verification and analysis tool for AADL models
    Jiang, Shu
    Hu, Kai
    Yang, Zhi-Bin
    Gu, Bin
    Zhang, Teng
    Jiang, Pan-Chang
    Journal of Donghua University (English Edition), 2012, 29 (01) : 94 - 98
  • [27] Hazard Analysis for AADL Model
    Wei, Xiaomin
    Dong, Yunwei
    Yang, Mengmeng
    Hu, Ning
    Ye, Hong
    2014 IEEE 20TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2014,
  • [28] Extending systemc to analog modelling and simulation
    Biagetti, G
    Caldari, M
    Conti, M
    Orcioni, S
    LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 229 - 242
  • [29] Simulation of Ideally Switched Circuits in SystemC
    Fernandez-Mesa, Breytner Joseph
    Andrade, Liliana
    Petrot, Frederic
    2021 26TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2021, : 23 - 28
  • [30] Distributed SystemC Simulation on Manycore Servers
    Virtanen, Janne
    Sjovall, Panu
    Viitanen, Marko
    Hamalainen, Timo D.
    Vanne, Jarno
    2016 2ND IEEE NORDIC CIRCUITS AND SYSTEMS CONFERENCE (NORCAS), 2016,