Trace-based KPN Composability Analysis for Mapping Simultaneous Applications to MPSoC Platforms
Now-a-days, most embedded devices need to support multiple applications running concurrently. In contrast to desktop computing, very often the set of applications is known at design time and the designer needs to assure that critical applications meet their constraints in every possible use-case. In order to do this, all possible use-cases, i.e. subset of applications running simultaneously, have to be verified thoroughly. An approach to reduce the verification effort is to perform composability analysis which has been studied for sets of applications modeled as synchronous dataflow Graphs.