【摘 要】
：
给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证.模型在实现前就被验证,可减少目标系统的测试周期.文中用SysML状态图表示系统的行为模型,通过体系结
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证.模型在实现前就被验证,可减少目标系统的测试周期.文中用SysML状态图表示系统的行为模型,通过体系结构和业务需求两方面对行为模型进行验证.按照语义规范和性能需求的标准验证状态图的体系结构.另一方面,在体系结构正确性的基础上,执行带有动作规约语言的状态图,可得到状态图对象的行为过程.并通过判断该行为过程与人们所期望的是否一致,再对业务需求进行验证.最终通过实验验证了该方法的有效性和可行性.
其他文献
介绍了一种应用于智能家居视频监控系统的实现方案。通过对嵌入式技术的分析和理解，将无线局域网的特点和优势与嵌入式系统相结合，提出并实现了一种无线视频监控的解决方案。该
【正】 当代朝鲜族诗人金成辉,一九三三年十月十二日出生在图们江岸的防川洞(现在的吉林省延吉县白金公社东明大队)一个贫农家庭。防川洞山高水清,景色秀丽。诗人从小对家乡
本文说明伟大的革命先行者孙中山先生对教育事业非常重视。他把发展教育事业看成是建设一个繁荣富强的中国的需要,是促进中国社会进步、赶超世界先进国家的需要。中华民国南
摘要定性建模技术相比定量建模技术能更加准确地描述复杂系统中的混沌性、不确定性和不可预测性。为全面系统地描述定性定量复杂系统，将定性建模技术跟定量建模技术相结合，提出
结合图像采集、无线传输、视频字符叠加与图像显示技术,设计了一种应用于反恐作战、城市作战所需的视频瞄准系统。该设计在满足小型化、一体化、智能化、低成本以及实用性、
以嵌入式系统编译器LCC和32位MIPS处理器为基础,完成了LCC在目标机MIPS处理器上的移植工作.为迅速有效地生成代码生成器,根据新目标机的特点,将原有的宏汇编指令通过指令拆分
旨在分析空间电磁信号的时域形式和频谱特性。针对雷达设备提出了构造空间电磁信号时域波形的方法，并对信号进行频谱分析，得出检测点的功率大小。有助于分析复杂战场情况下的空
振动烈度是剩余寿命的一个评价指标。为提高剩余寿命预测精度，解决时序模型预测延时问题，文中提出了一种时间序列分析理论，对振动烈度数据进行平稳建模，得到符合其变化规律的模型
介绍了嵌入式Linux下支持多种传输协议、多片Z85C30芯片的设备驱动程序设计方法.文中介绍了Z85C30芯片的基本情况以及与驱动相关的寄存器,然后按照字符设备驱动程序设计框架
地埋电缆会发生众多故障,而在对故障的检测中,尤其是对高阻和开路故障检测中会使用高能信号对故障点进行击穿,然而击穿是否有效以及击穿的程度则较难判断.文中介绍了高能信号