教授 博士生导师
招生学科专业：
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
性别：男
学历：清华大学
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院/软件学院
联系方式：13814535662
电子邮箱：
最后更新时间：..
点击次数：
所属单位：计算机科学与技术学院/人工智能学院/软件学院
发表刊物：计算机与现代化
关键字：结构分析与设计语言;并发;模型转换;进程代数;
摘要：结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础。
是否译文：否
发表时间：2017-05-15
合写作者：李揭阳
通讯作者：曹子宁
