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