STOOD是什么


这篇文章主要讲解了“STOOD是什么”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“STOOD是什么”吧!近年来,随着硬件设备计算能力的不断提高,性能关键实时系统的规模和复杂性急剧增加,导致其开发成本和非功能属性的要求也越来越高,这对其开发中的设计合理性,验证完备性以及开发效率等方面都带来了一定的挑战。STOOD工具,可对自动飞行系统进行架构设计,并对模型进行可调度分析及进行运行时的方针验证,使系统设计者在系统架构设计时能够及时发现潜在的错误和问题,便于开发时及时做出调整,缩短开发周期,并避免后期损失。STOOD是符合AADL和HOOD最新标准的安全关键系统软件建模工具。它支持统一的建模与架构设计语言AADL(Architecture Analysis and Desig Laguage),AADL满足安全关键的嵌入式实时系统的特殊需求。通过对AADL,UML和HOOD的支持,STOOD得到了持续的发展,应用到欧洲空间局(European Space Agency)的项目及大量的工业项目。改进关键系统开发维护的工程实践 STOOD是针对安全关键系统的建模工具,使用者在开发系统和软件架构模型的过程中,能将系统体系结构表示为各交互组件的分层结构,以软件、硬件和物理组件的接口组成并规范系统蓝图,有利于组织开展大规模、基于团队开发的工程实践。提供体系结构中心方法的分析视角 STOOD采用体系结构中心方法,可以用它获取静态的模块化体系结构、以通信任务为基础的运行时体系结构、用于部署软件的计算机平台体系结构,以及与之进行交互的任何物理系统或环境。将自定义分析和系统规范与设计语言能力结合起来,为体系结构建模和分析建立一个完整的设计、仿真和验证的工程环境。关注任务系统运行期间的重点问题 STOOD使用在架构和详细设计阶段,应用在需求分析和集成之间。STOOD关注系统的功能性与软硬件要素、软件体系结构与硬件体系结构的对应关系,支持多种可扩展的分析方法,如时间正确性分析、故障时间或故障概率建模、功能行为验证和自动代码生成等,将系统级的问题在系统集成和验收实验之前显露并推演出来,避免在开发和维修中进行为时已晚的、昂贵的返工。UML语言与工具的发展AADL语法要素 支持遗传Ada和C代码导入通用架构描述语言AADL的模型驱动设计方法原理图■ 符合工业标准-包括DO178B●需求追踪STOOD提供简便和有效的方法来处理系统、软件模块以及从纯文本文件或远程工具导入的初始需求之间的更新追踪;● 架构设计STOOD图形编辑器是用来创建软件及其运行环境(库,执行平台,…)的架构模型的。STOOD建立图形化模型的意图不是显示所开发系统或软件的细节,而是聚焦在系统架构问题上的设计工作。●模型实例STOOD为设计师提供了直接进行实例化建模能力,如果必要能够得出抽象的模型。这种方法极大的提高了架构设计和验证活动之间的相互作用的能力。●详细设计&编码STOOD提供了一个专门的解决方案,使用所有低层次细节来丰富架构模型,一致性适当的模型验证处理,代码和文档生成。STOOD详细设计行为是基于HOOD对象描述(ODS)的概念, 香港云主机完全支持AADL性能和用户定义的配置定制。●系统设计确认STOOD包含一组由LMP技术实现的静态模型验证工具。这些工具嵌入在STOOD中,通过AADL和HOOD模型的构成利用自动更新的交叉引用表格。●外部分析工具接入 除STOOD可作为设计检查器之外,外部的模型检查工具也可借助AADL接口轻松地与STOOD连接。●代码自动生成 在建模活动的任何阶段,都可选择生成“ready to compile”的代码文件集和相应的makefile。支持的目标语言为Ada,C和C++。●Round-trip工程和逆向工程当详细设计活动尚未完全完成,底层代码细节还未在ODS段内显现,可以在STOOD外使用注释源文件来丰富文本信息,然后重新导入工具,以更新的设计模型。此外,采用Ada或C的源代码可导入STOOD生成相应的设计组件。●设计文档生产文档是大多数项目的一项重要且耗时的活动。使用STOOD,可以自动生成一个完整的设计文件,和一致的架构及源代码,也已产生的相同的设计参考。●模型分析 AADLInspector能加载多文本的AADL文件或项目,实现系统规格设计,并可通过AADL行为附录以及错误附录进行扩展分析。Ellidiss及其合作者开发了AADLInspector集成了多种分析工具,为设计工程提供遵循AS5506C标准的分析报告。Airbus A340/A380●用于地面和机上嵌入式软件应用
●目标和语言:Sun/Solaris Ada 83/95、Windows C/C++
●使用HOOD设计方法和Stood工具进行静态设计
●支持面向对象的方法,提供通用的模块化手段
●基于抽象的数据类型(使得应用结构稳定)和控制流(描述任务及其交互)●保证了软件开发和编码任务的质量,不论目标语言是什么,设计和代码都是一致的,遵循了软件工程的准则Jason-1高度卫星●用于开发星载POSEIDON 2控制软件,该软件测量卫星与海平面的距离
●在DORIS系统开发中起关键作用,DORIS是决定卫星轨道的实时系统
●用于PROTEUS多任务总线的软件设计环境
●在上述项目中,Stood都被用来进行架构设计和软件实现、代码和文档的产生Tigre直升机●用于反坦克和防护任务计算机感谢各位的阅读,以上就是“STOOD是什么”的内容了,经过本文的学习后,相信大家对STOOD是什么这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是开发云,小编将为大家推送更多相关知识点的文章,欢迎关注!

相关推荐: idea怎么打开命令行

本篇内容介绍了“idea怎么打开命令行”的有关知识,在实际案例的操作过程中,不少人都会遇到这样的困境,接下来就让小编带领大家学习一下如何处理这些情况吧!希望大家仔细阅读,能够学有所成!“idea怎么打开命令行”的内容就介绍到这里了,感谢大家的阅读。如果想了解更…

免责声明:本站发布的图片视频文字,以转载和分享为主,文章观点不代表本站立场,本站不承担相关法律责任;如果涉及侵权请联系邮箱:360163164@qq.com举报,并提供相关证据,经查实将立刻删除涉嫌侵权内容。

(0)
打赏 微信扫一扫 微信扫一扫
上一篇 08/02 16:48
下一篇 08/02 16:49

相关推荐