An environment for DSP system development with extended abstract types, and dimensional design (PADDE)

Authors:
M. Bertran;F. Oller;J. Forga;J. A. Frau;J. M. Espejo;A. Ripoll;J. C. Herranz;F. Alvarez;J. Viaplana;A. Duran;M. Porta;J. Ramió
Affiliations:
Technical University of Catalonia, Barcelona, Spain;Technical University of Catalonia, Barcelona, Spain;Technical University of Catalonia, Barcelona, Spain;Technical University of Catalonia, Barcelona, Spain;Technical University of Catalonia, Barcelona, Spain;Technical University of Catalonia, Barcelona, Spain;Technical University of Catalonia, Barcelona, Spain;IN-innovació, Barcelona, Spain;IN-innovació, Barcelona, Spain;IN-innovació, Barcelona, Spain;IN-innovació, Barcelona, Spain;IN-innovació, Barcelona, Spain
Venue:
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: plenary, special, audio, underwater acoustics, VLSI, neural networks - Volume I
Year:
1993

Citing 6
Cited 0

Abstraction and specification in program development

Abstraction and specification in program development
On a formal definition and application of dimensional design

Software—Practice & Experience
Cy-Clone: an approach to the engineering of resource adequate cyclic real-time systems

Real-Time Systems
Communicating sequential processes

Communications of the ACM
Monitors: an operating system structuring concept

Communications of the ACM
Programming-in-the-Large Versus Programming-in-the-Small

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

A novel environment, PADDE, for hardware (VLSI) and distributed software DSP implementations is reported. Development results in a chain of simulations of increasing detail. Reuse by refinement of prior models in the chain is accomplished via switching of Extended Abstract Type (EAT) implementations. Both behavioural and structural descriptions can be intermixed and related by refinement. Distribution and sequentialization techniques are also included. PADDE is accessed via a unique and uniform notation, PADD, for both programming-in-the-large and programming-in-the-small, where large and small grain dataflow are also encompassed as special cases of the available parallel process hierarchy. Synchronous and asynchronous systems, and heterogeneous systems can be treated.