cfaed Seminar Series

Victor Roussanaly , ENS Rennes, France

Channel System Kahn Process Network

06.05.2016 (Friday) , 13:00
Andreas-Pfitzmann-Bau, Raum 2101 , Nöthnitzer Str. 46 , 01187 Dresden

Initiated by Kahn in the 70's, Kahn Process Networks (KPNs) describe computations of
concurrent processes communicating over FIFO channels that exhibit determined behaviors,
i.e., the output of any execution does not depend on the order the participating processes are
operating. KPNs are widely used in computer science for data-flow analysis, design of
information processing systems and modeling concurrent systems. Synchronous Dataflow
models (SDFs) constitute a subclass of KPNs usually expressive enough for these purposes.

In the scope of cfaed, SDFs are used to optimize compilers for MPSoCs (multiprocessor
System-on-Chip). Both, the processes and the communication channels are mapped to a
corresponding processing unit, optimizing, e.g., energy consumption or performance measures.
For enabling a (quantitative) formal analysis of concurrent systems modeled by KPNs/SDFs and
their mapping to MPSoCs, an appropriate formal model for KPNs is required. To establish such
a formal model, we describe processes in the KPN by communicating finite-state machines
(CFMs) with guards and variables. We establish a formal framework of "Channel System KPNs",
which describes the interplay between the KPNs over CFMs, and investigate its properties.

Go back