Specification for SystemC-AADL interoperability

Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems, WISES 07

Volumn , Issue , 2007, Pages 76-86

  De Las Heras, Eduardo ^a   Villar, Eugenio ^a  

^a UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; COMPUTER PROGRAMMING LANGUAGES; INTEGRATED CIRCUITS; INTELLIGENT SYSTEMS; PROCESS DESIGN; PROCESS ENGINEERING; REAL TIME SYSTEMS; SOFTWARE DESIGN; SPECIFICATIONS; TECHNOLOGY;

ARCHITECTURE DESCRIPTION; DESIGN CYCLES; DESIGN PROCESSES; HARDWARE ARCHITECTURES; INTELLIGENT SOLUTIONS; MODEL-BASED ENGINEERING; NEW DESIGN; REAL TIME; REFINEMENT PROCESS; SYSTEMC; TRADITIONAL TECHNIQUES;

EMBEDDED SYSTEMS;

EID: 48649084564     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WISES.2007.4408490     Document Type: Conference Paper

References (16)

1. Wael Badawy. System on Chip. System-on-chip for real-time applications, pages 3-16. Kluewer academic publishers. 2003
2. A. Sangiovanni-Vicentelli and G. Martin. Platform-design and software design methodology for embedded systems. IEEE Design and Test of Computers. November-December 2003.
3. A.A.Jerraya, S. Yoo, D. Verkest, N. When (Eds).Introduction, pages xv-xix. Embedded Software for SoC, Springer. 2003.
4. International Technology Roadmap for Semiconductors, available at http://public.itrs.net/.
5. P.H. Feiler, B. Lewis, S Vestal. Improving Predictability in Embedded Real-Time Systems. Special Report CMU/SEI-2000-SR-011. Software Engineering Institute.
6. Architecture Description Languages. Software Technology Roadmap. http://www.sei.cmu.edu/str/descriptions/adl_body.html.
7. Architecture analysis & design language (AADL), AS5506, v1.0. Software Engineering Institute.
8. AADL web site. www.aadl.info.
9. ADes web site. http://www.axlog.fr/aadl/ades_en.html
10. Cheddar web site. http://beru.univ-brest.fr/~singhoff/cheddar/
11. IEEE 1666™ Standard SystemC Language Reference Manual. www.systemc.org, OSCI.
12. F.Herrera, E. Villar. A framework for heterogeneous specification and design of electronic embedded systems in SystemC. IEEE Transactions on Design Automation of Electronic Systems. Status: Accepted.
13. H. Posadas, J. Ádamez, E. Villar, F. Blasco & F. Escudero. RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. Design Automation for Embedded Systems. Springer. 2007.
14. H. Posadas, J Ádamez, P. Sánchez, E. Villar, & F. Blasco. In Proceedings of the Asia and South Pacific Design Automation Conference 2006. IEEE.
15. C. Norris, S. Swan. A Tutorial Introduction on the New SystemC Verification Standard. Design, automation and Test in Europe, 2003.
16. PERFidiX web site. www.teisa.unican.es/perfidix.