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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/ASPDAC.2007.357788 | Yokohama |
Keywords | Field | DocType |
conflict analysis,analysis step,control-flow aware communication,binding approach,global timing behavior,tlm systemc model,parallel processes,system behavior,entire system,shared communication resource,systemc model,viterbi decoder,viterbi decoding,embedded system,formal verification,parallel processing,formal method,function representation,chip,control flow | Computer science,Parallel processing,Control flow,SystemC,Real-time computing,Viterbi decoder,Conflict analysis,Formal verification | Conference |
ISSN | ISBN | Citations |
2153-6961 | 1-4244-0629-3 | 10 |
PageRank | References | Authors |
0.68 | 10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Axel Siebenborn | 1 | 36 | 3.94 |
Alexander Viehl | 2 | 181 | 25.01 |
Oliver Bringmann | 3 | 586 | 71.36 |
Wolfgang Rosenstiel | 4 | 1462 | 212.32 |