Skip to main content
Article thumbnail
Location of Repository

Ravenscar Computational Model compliant AADL Simulation on LEON2

By Roberto Varona-G&#243, Eugenio Villar and Ana-Isabel Rodr&#237

Abstract

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. AADS-T is an AADL simulation tool that 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-T enables the verification of the initial timing constraints during the complete design process. In this paper we focus on the compatibility of AADS-T with the Ravenscar Computational Model (RCM) as part of the TASTE toolset. Its flexibility enables AADS-T to support different processors. In this work we have focused on performing the simulation on a LEON2 processor

Topics: Systemc, Leon2, Simulation, Aadl, Ravenscar, Electronic computers. Computer science, QA75.5-76.95, Instruments and machines, QA71-90, Mathematics, QA1-939, Science, Q, DOAJ:Computer Science, DOAJ:Technology and Engineering, Information technology, T58.5-58.64, Communication. Mass media, P87-96
Publisher: International Institute of Informatics and Cybernetics
Year: 2013
OAI identifier: oai:doaj.org/article:2228b60cd387454984991d6f5fc693d5
Journal:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://doaj.org/toc/1690-4524 (external link)
  • https://doaj.org/toc/1690-4532 (external link)
  • www.iiisci.org/Journal/CV$/sci... (external link)
  • https://doaj.org/article/2228b... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.