ACCUSE

Use of Reconfigurable Elements in the Design and Validation of Multiprocessors
Típus: 
Nemzetközi (egyéb)
Kezdés éve: 
1997
Befejezés éve: 
1999
Partnerek: 
Department of Computer Structures, University of Erlangen, Germany

Tanszéki projektvezető

A munkatárs fényképe
professor
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
professor
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Contact information

Koordinátor: 
BME MIT FTSRG
Felelős: 
András Pataricza

Bemutatás

Different abstract mathematical models, like dataflow networks, Petri-nets, process algebra are used in the functional and dependability validation of digital systems. These modeling paradigms share the very same key problem of state reachability analysis for instance to decide, whether a system will enter into an unsafe state. Potential performance bottlenecks in the handling of large scale systems during the verification can be identified. Monoprocessor algorithms require either radical model (over) simplifications or long run times in the case of complex target systems. Although the computational power of modern computing equipment increases rapidly even accompanied by a radical drop in the price/performance ratio, the huge processing capacity is insufficient for many practical applications. The traditional solutions to overcome this performance bottleneck can be grouped into the following typical categories: Multiprocessor systems. Co-processors (application dependent dedicated hardware subunits). Accelerators (complete parts of the problem are realized on the FPGA). All of the above mentioned solution alternatives are favorite candidates for the use in modeling and validation of digital systems, as the underlying mathematical models are hierarchically composed of very simple components like transition and places in Petri-nets. These technologies are examined in the framework of the projects. The results are compared against those with the realization by mono- and multiprocessor systems.

© 2010-2024 BME MIT