南京航空航天大学计算机科学与技术学院;
江苏南京210016;
软件开发环境国家重点实验室(北京航空航天大学);
北京 100191;
软件新技术与产业化协同创新中心;
江苏南京 210016;
软件开发环境国家重点实验室(北京航空航天大学);
北京 100191;
南京航空航天大学计算机科学与技术学院;
江苏南京210016;
软件新技术与产业化协同创新中心;
江苏南京 210016;
软件开发环境国家重点实验室(北京航空航天大学);
北京 100191;
软件开发环境国家重点实验室(北京航空航天大学);
北京 100191;
IRIT;
Université de Toulouse;
Toulouse;
France;
IRIT;
Université de Toulouse;
Toulouse;
France;
安全关键系统; 多核处理器; 时间可预测; 同步语言; AADL(architecture analysis and design language);