Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Thu 18-Jul-24 . 16:17

Web Map



Santander Info

   Full record
Title:Specification for SystemC-AADL interoperability
Type:International Conference
Where:IEEE Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES’07)
Authors: Eduardo de las Heras
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: ITEA 05015 SPICES
PDF File:see file
Abstract:In this paper, the specification for modeling AADL by means of SystemC is provided. The SystemC model will enable the refinement of the AADL specification until the final implementation is developed. The information about the system obtained during the refinement process will feedback the AADL model allowing the verification of high-level constraints during the complete design process.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster