【摘 要】
：
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继
【机 构】
：
苏州大学计算机科学与技术学院,中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
江苏省自然科学基金（BK2011281）, 苏州市应用基础研究计划（SYG201241）资助
论文部分内容阅读
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔
其他文献
介绍了用Ｗｉｎｄｏｗｓ平台重新开发的集散控制系统控制组态软件，从软件工程的多个层面分析、探讨了软件重新开发的设计、实现方法。
随着计算机和网络的迅速发展 ,以及人们对测试系统的精度、数据处理和资源共享要求的不断提高 ,基于网络的测控系统也被逐渐地应用到工程领域。本文介绍了一种基于PXI总线的远程测控系统 ,并讨论了组建的方法
软件结构复杂性问题一直备受关注。随着软件规模的不断增大,传统的度量方法已很难适应软件的发展。为了有效地度量软件结构复杂性,以复杂网络理论为基础,分析软件加权网络的
通过对力觉临场感机器人系统中环境的动力学研究,提出了分段描述环境动力学特征的观点,并进一步讨论了不同工作区中环境的动力学模型,分析了不同作业方式下,动力学的变化情况
采用反馈控制技术来对等离子体密度进行测控，介绍了控制系统的工作原理，控制系统的硬件和软件设计及相关的技术问题。
在激光螺的抖动控制中，用作抖动幅度检测的ＰＺＴ的灵敏度会随温度变化，从而造成偏频失稳。本文提出了用计算机稳定偏频的方法，设计了一种新型抖动控制器。实验表明：该控制器能够较为精
小波神经网络是神经网络学习的一种,其网络结构与典型的BP神经网络类似,隐含层所用函数为小波基函数,改进的小波神经网络相比于之前在数据预测方面有了明显的提高。火电厂的
在将复杂网络的社区结构检测问题建模为单目标优化问题时,采用粒子群算法进行优化。传统粒子群算法用来解决连续优化问题,而社区结构检测问题则是一种基于图的离散优化问题。
本文给出大型相控阵雷达实时测试和战前功能测试的内容，调度方法，测试过程及减少虚警的方法。由于采用触 模式显示及良好的人机界面设计，使得操作简单，结果显示直观人机友好。
随着电子技术的发展，遥控无匙入口（RKE）系统在生活中正得到越来越广泛的应用。解决早期使用的固定密码方式易破解的问题，并解决了滚动跳码机制及前向预测同步技术。采用跳变密码（H