Modeling and Schedulability Verfication of IMA Partitioning Based on AADL

Zhexu Liu, Zhen Zhao. Modeling and Schedulability Verfication of IMA Partitioning Based on AADL. In 10th International Symposium on Computational Intelligence and Design, ISCID 2017, Hangzhou, China, December 9-10, 2017, Volume 1. pages 417-420, IEEE, 2017. [doi]

Authors

Zhexu Liu

This author has not been identified. Look up 'Zhexu Liu' in Google

Zhen Zhao

This author has not been identified. Look up 'Zhen Zhao' in Google