Abstract | ||
---|---|---|
We present the modeling of data-intensive parallel applications following the synchronous approach. We consider the GASPARD environment, which is dedicated to high-performance system-on-chip (SoC) codesign. Our motivation is to bridge the gap between the GASPARD design approach and the formal validation techniques provided by the synchronous technology. First, we define a synchronous dataflow equational model of GASPARD models. The modeling formalism adopted in GASPARD consists of an extension of the domain-specific language Array-OL. Then, we address correctness issues (e.g., causality and synchronizability analyses) about GASPARD models via their corresponding synchronous descriptions in order to formally validate the original system descriptions. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1155/2008/561863 | EURASIP J. Emb. Sys. |
Keywords | Field | DocType |
Design Approach, Original System, System Description, Electronic Circuit, Full Article | Data analysis,Computer science,Correctness,Formal validation,Real-time computing,Theoretical computer science,Dataflow,Formalism (philosophy),Electronic circuit | Journal |
Volume | Issue | ISSN |
2008 | 1 | 1687-3963 |
Citations | PageRank | References |
10 | 0.75 | 25 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Abdoulaye Gamatié | 1 | 251 | 30.18 |
Éric Rutten | 2 | 255 | 30.50 |
Huafeng Yu | 3 | 72 | 5.70 |
Pierre Boulet | 4 | 330 | 34.44 |
Jean-luc Dekeyser | 5 | 433 | 53.54 |