【摘 要】
：
给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证.模型在实现前就被验证,可减少目标系统的测试周期.文中用SysML状态图表示系统的行为模型,通过体系结
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证.模型在实现前就被验证,可减少目标系统的测试周期.文中用SysML状态图表示系统的行为模型,通过体系结构和业务需求两方面对行为模型进行验证.按照语义规范和性能需求的标准验证状态图的体系结构.另一方面,在体系结构正确性的基础上,执行带有动作规约语言的状态图,可得到状态图对象的行为过程.并通过判断该行为过程与人们所期望的是否一致,再对业务需求进行验证.最终通过实验验证了该方法的有效性和可行性.
其他文献
介绍了一种应用于智能家居视频监控系统的实现方案。通过对嵌入式技术的分析和理解，将无线局域网的特点和优势与嵌入式系统相结合，提出并实现了一种无线视频监控的解决方案。该
以嵌入式系统编译器LCC和32位MIPS处理器为基础,完成了LCC在目标机MIPS处理器上的移植工作.为迅速有效地生成代码生成器,根据新目标机的特点,将原有的宏汇编指令通过指令拆分
旨在分析空间电磁信号的时域形式和频谱特性。针对雷达设备提出了构造空间电磁信号时域波形的方法，并对信号进行频谱分析，得出检测点的功率大小。有助于分析复杂战场情况下的空
介绍了嵌入式Linux下支持多种传输协议、多片Z85C30芯片的设备驱动程序设计方法.文中介绍了Z85C30芯片的基本情况以及与驱动相关的寄存器,然后按照字符设备驱动程序设计框架
地埋电缆会发生众多故障,而在对故障的检测中,尤其是对高阻和开路故障检测中会使用高能信号对故障点进行击穿,然而击穿是否有效以及击穿的程度则较难判断.文中介绍了高能信号