Dataflow analysis for real-time embedded multiprocessor system design