DocumentCode :
1616823
Title :
From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations
Author :
Grandpierre, Thierry ; Sorel, Yves
Author_Institution :
ESIEE Paris, Noisy Le Grand, France
fYear :
2003
Firstpage :
123
Lastpage :
132
Abstract :
This paper presents a seamless flow of transformations, which performs dedicated, distributed executive generation from a high level specification of a pair: algorithm, architecture. This work is based upon graph models and graph transformations and is part of the AAA methodology. We present an original architecture model, which allows to perform accurate sequencer modeling, memory allocation, and heterogeneous inter-processor communications for both modes shared memory and message passing. Then we present the flow of transformations that leads to the automatic generation of dedicated real-time distributed executives, which are deadlock free. This transformation flow has been implemented in a system level CAD software tool called SynDEx.
Keywords :
computer architecture; distributed shared memory systems; flow graphs; flowcharting; formal specification; memory protocols; message passing; parallel algorithms; supervisory programs; AAA methodology; CAD software tool; SynDEx; algorithm specification; architecture specification; deadlock free executive; dedicated executive; distributed executive generation; distributed real-time executive; graph transformation; heterogeneous interprocessor communication; high level specification; memory allocation; message passing; sequencer modeling; shared memory; system level implementation; transformation flow; Distributed power generation; Hardware; Job shop scheduling; Message passing; Noise generators; Noise level; Processor scheduling; Prototypes; Scheduling algorithm; Sections;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
Conference_Location :
Mont Saint Michel, France
Print_ISBN :
0-7695-1923-7
Type :
conf
DOI :
10.1109/MEMCOD.2003.1210097
Filename :
1210097
Link To Document :
بازگشت