Formal verification and quantitative metrics of MPSoC data dynamics

Abstract

Multiprocessor system on chip (MPSoC) implements system functions through tasks. It is necessary to estimate system behaviors early in the design process without actual hardware implementation. As there are a huge variety in freedom of choices in the mapping of tasks, existing researches mainly focus on the schedulability analysis and resource constraints… (More)
DOI: 10.1007/s00165-017-0444-0

Topics

13 Figures and Tables

Cite this paper

@article{Zhang2017FormalVA, title={Formal verification and quantitative metrics of MPSoC data dynamics}, author={Hui Zhang and Jinzhao Wu}, journal={Formal Aspects of Computing}, year={2017}, pages={1-19} }