论文部分内容阅读
结构分析与设计语言（Architecture Analysis and Design Language，AADL）是复杂嵌入式实时系统体系结构建模的语言标准，但是对于嵌入式实时系统中大量存在的并发和交互，AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足，通过分析AADL的建模元素和建模流程，对AADL的行为附件进行扩充，将约束和并发的概念引入AADL，并给出形式化语义描述，丰富了AADL的建模元素，然后根据AADL和进程代数的建模特点，将经过扩充的AADL模型形式