Title :
Control-Flow Aware Communication and Conflict Analysis of Parallel Processes
Author :
Siebenborn, Axel ; Viehl, Alexander ; Bringmann, Oliver ; Rosenstiel, Wolfgang
Author_Institution :
FZI Forschungszentrum Informatik, Karlsruhe
Abstract :
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine the global timing behavior of such a system and to detect communication that might produce conflicts on shared communication resources. Furthermore, we show the incorporation of temporal environment models in order to analyze their influence on the system behavior. Based on the determined conflicts, an automated allocation and binding approach for shared resources to resolve potential access conflicts is proposed. All analysis steps can be performed starting with a TLM SystemC model of the entire system without any need for user interaction. Finally, a SystemC model of a Viterbi decoder is used as case study to demonstrate the capability of our approach.
Keywords :
Viterbi decoding; formal verification; parallel processing; program control structures; shared memory systems; TLM SystemC model; Viterbi decoder; access conflicts; automated allocation approach; automated binding approach; conflict analysis; control-flow aware communication; global timing behavior; parallel processes; shared communication resources; system behavior; temporal environment models; Automata; Communication system control; Computational modeling; Control systems; Decoding; Delay; Performance analysis; Petri nets; Timing; Viterbi algorithm;
Conference_Titel :
Design Automation Conference, 2007. ASP-DAC '07. Asia and South Pacific
Conference_Location :
Yokohama
Print_ISBN :
1-4244-0629-3
Electronic_ISBN :
1-4244-0630-7
DOI :
10.1109/ASPDAC.2007.357788