AADL simulation and performance analysis in systemC

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2009, Pages 323-328

  Varona Gómez, Roberto ^a   Villar, Eugenio ^a  

^a UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION LANGUAGES; REAL TIME SYSTEMS; SEMANTICS;

ARCHITECTURE DESCRIPTION; DESIGN CYCLE; DESIGN METHODOLOGY; EMBEDDED-SYSTEM; MODEL-BASED ENGINEERING; PERFORMANCES ANALYSIS; REAL-TIME MISSIONS; SIMULATION ANALYSIS; SYSTEMC; TRADITIONAL TECHNIQUES;

EMBEDDED SYSTEMS;

EID: 70350043750     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2009.11     Document Type: Conference Paper

References (23)

1. SAE: AADL. June 2006, document AS5506/1. www.sae.org/technical/standards/ AS5506/1.
2. P. H. Feiler, D. P. Gluch, J. J. Hudak: The AADL: An Introduction. CMU. Pittsburgh. (2006).
3. P. H. Feiler, J. J. Hudak: Developing AADL Models for Control Systems: Practitioner's Guide. CMU. 2006.
4. A.D. Pimentel et al.: "A systematic approach to exploring embedded system architectures at multiple abstraction levels", IEEE Transactions on Computers, 2006.
5. J. Hugues, B. Zalila, L. Pautet, F. Kordon: From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM TECS, 2008. NY, USA.
6. H. Posadas et al.: RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. Design Automation for Embedded Systems. Springer. 2005.
7. J.-F. Tilman, R. Sezestre, A. Schyn: Simulation of system architectures with AADL. ERTS2008, Toulouse.
8. F. Singhoff, A. Plantec: AADL modeling and analysis of hierarchical schedulers. SIGAda'07, Fairfax, VA, USA.
9. O. Sokolsky, I. Lee, D. Clark: Schedulability Analysis of AADL models. IPDPS 2006. Rhodes Island, Greece.
10. M. Yassin Chkouri, A. Robert, M. Bozga, J. Sifakis: Translating AADL into BIP - Application of Real-time Systems. ACESMB 2008. Toulouse, France.
11. A. E. Rugina et al.: The ADAPT tool: From AADL architectural models to stochastic Petri Nets through model transformation. EDCC. 2008. Kaunas, Lithuania.
12. T. Abdoul, J. Champeau, P. Dhaussy, P. Y. Pillain, J. C. Roger : AADL execution semantics transformation for formal verification. ICECCS 2008. Belfast, U. K.
13. E. Jahier et al.: Virtual execution of AADL models via a translation into synchronous programs. EMSOFT'07. 2007. Salzburg, Austria.
14. S. Gui et al.: Formal schedulability analysis and simulation for AADL. ICESS2008. Chengdu, China.
15. M. Brun, J. Delatour, Y. Trinquet: Code generation from AADL to a RTOS: an experimentation feedback on the use of model transformation. ICECCS. 2008. U. K.
16. SCoPE V1.0.0 UC 2008. www.teisa.unican.es/scope
17. David C. Black, Jack Donovan: SystemC: From the ground up. Kluwer Academic Publishers. Boston (2004).
18. M. González: POSIX tiempo real. UC, Santander 2004.
19. The Open Group: The Single UNIX Specification, V. 2, 1997. www.opengroup.org/onlinepubs/007908799.
20. AADS V1.2 UC 2008. www.teisa.unican.es/AADS
21. P. H. Feiler, A. Greenhouse: OSATE Plug-in Development Guide. CMU. Pittsburgh. (2006).
22. The Eclipse Foundation 2009. www.eclipse.org
23. W3C: Extensible Markup Language (XML) W3C Recommendation (2006). www.w3.org/TR/REC-xml/