DocumentCode :
2969921
Title :
Extending transaction level modeling for embedded software design and validation
Author :
Baklouti, Mouna ; Benzina, A. ; Bouchhima, A. ; Petrot, Frederic
Author_Institution :
MOSIC & Tunisia Polytech. Sch., Rabat
fYear :
2007
fDate :
2-5 Sept. 2007
Firstpage :
64
Lastpage :
69
Abstract :
In this paper, we propose to extend the Transaction Level Modeling (TLM) approach -initially intended as a higher level abstraction of Register Transfer Level (RTL) hardware (HW) design- to cope with embedded software (SW) design and validation. We aim at introducing new SW TLM concepts which will enable refinement of communication at the SW side. The proposed methodology allows system designers to decide about HW and SW communication architecture jointly, so as to ensure maximum performance efficiency for their designs. As such, multi-processor system-on-chip (MPSoC) heterogeneity would be addressed more efficiently from communication viewpoint.
Keywords :
embedded systems; formal specification; formal verification; systems analysis; embedded software design; embedded software validation; high level abstraction; multiprocessor system-on-chip heterogeneity; register transfer level hardware; transaction level modeling; Computer architecture; Costs; Design methodology; Embedded software; Hardware; Instruction sets; Laboratories; Middleware; Software design; System-on-a-chip;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design & Technology of Integrated Systems in Nanoscale Era, 2007. DTIS. International Conference on
Conference_Location :
Rabat
Print_ISBN :
978-1-4244-1277-8
Electronic_ISBN :
978-1-4244-1278-5
Type :
conf
DOI :
10.1109/DTIS.2007.4449494
Filename :
4449494
Link To Document :
بازگشت