基于SysML & AADL的IMA刹车控制系统实时性需求验证

邓佳佳，张育平，陈海燕

Timeliness Requirement Validation of Brake Control System Based on SysML & AADL

DENG Jia-jia, ZHANG Yu-ping, CHEN Hai-yan

计算机与现代化 . 2017, (6): 40 -44+49 . DOI: 10.3969/j.issn.1006-2475.2017.06.008