AADL(architecture 相关硕士博士期刊学术论文 - 搜论网

AADL(architecture相关论文

基于时间抽象状态机的AADL模型验证

提出了一种基于时间抽象状态机（timed abstract state machine，简称TASM）的AADL（architecture analysis and design language）模型验证......

期刊

AADL(architecture analysis and design language) TASM(timed ABSTRACT state machin

同步语言的时间可预测多线程代码生成方法

能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测......

期刊

安全关键系统多核处理器时间可预测同步语言 AADL(architecture analysis and design language) safety-c

看过本文同时还关注