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
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;
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
DOI :
10.1109/DTIS.2007.4449494