结构化分析和设计语言相关论文
在嵌入式系统建模领域，AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点，国内外众多学者展开了热烈的讨......
飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对......
在基于模型驱动的嵌入式软件开发中，为了避免安全问题可能产生的损失，需要对系统的安全性进行分析，找出可能发生错误的地方。在基于AA......
期刊
