用Stoo进行架构设计.docVIP

使用Stood对安全关键系统架构设计和分析 摘要：近年来，随着硬件设备计算能力的提高，性能关键实时系统的规模和复杂性急剧增加，导致其对开发成本和非功能属性的要求也越来越高，这对其开发中的设计合理性，验证完备性以及开发效率等方面都带来了挑战。由SAE等组织提出的系统架构设计分析语言(Architecture Analysis and Design Language,AADL)是一种基于MDA方法的建模语言，可以用来设计和分析性能关键实时系统的软硬件体系结构。在本文中，我们通过使用Stood工具，对自动飞行系统进行架构设计，并对模型进行可调度分析,最后对全文做了总结，指出全文的优点和不足，以及下一步研究的目标和方向。 关键字：性能关键实时系统 MDA AADL STOOD 模型验证 可靠性分析 引言 在传统的性能关键实时系统开发过程中，开发人员需要等到实际产品或产品原型，嵌入式目标机生产出来之后，才能够对性能关键实时系统的软件进行测试和验证，在集成阶段才能暴露和修复软件和系统的缺陷，造成时间上的浪费和费用的增加。另外，由于缺乏对整个系统的体系结构的精确预算，虽然单个功能模块的非功能属性相对容易实现，但是在系统集成后如何满足整个系统的非功能属性对开发人员也是一个巨大的挑战。要解决这些问题，可以采用MDA方法在系统实现前建立模型，在模型级对整个系统进行非功能属性的规约和验证，消除可