排序方式: 共有9条查询结果,搜索用时 7 毫秒
1
1.
2.
AADL(Architecture Analysis&Design Language)语言是美国SAE(Society of AutomotiveEngineers)组织定义的一组满足航空电子综合化设计用的建模语言.它可以描述安全关键嵌入式实时系统功能和非功能性属性,非功能属性包括可靠性、安全性、可调度性等.通过对这些非功能属性进行分析,可以在设计阶段而不是实现阶段纠正系统设计缺陷,缩短系统开发周期和降低开发成本.总结了AADL语言对可调度性分析方面提供的支持,并分析比较了几种针对AADL模型的可调度性分析工具,在此分析和比较基础上,识别它们各自的优缺点,方便使用者根据需要选择合适的工具使用. 相似文献
3.
4.
6.
机载分布式平台进行维护自检时,因节点多、节点差异大而导致出现维护自检控制和交互机制复杂、维护周期时间加长等维护安全性问题。提出了一种机载分布式平台集中维护自检控制的实现方法,基于机载分布式平台集中控制机制,可以实现对平台中的多节点、异构节点的统一维护自检,减少了管理和交互的复杂性,支持对检测出的故障信息进行详细报告,提高了分布式平台的可维护性。 相似文献
7.
8.
深入探讨了VxWorks实时操作系统开发环境Tornado的目标机服务器组成及各组成部分的功能.通过对Tornado目标机服务器的分析,可以帮助开发人员理清嵌入式操作系统中目标机服务器的实现机制,从而为开发其它嵌入式软件开发环境提供思路. 相似文献
9.
1