【摘 要】
：
对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specifications,以下简称MSS)能方便地表示多个场景并提
【机 构】
：
南京大学计算机软件新技术国家重点实验室(南京)
论文部分内容阅读
对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specifications,以下简称MSS)能方便地表示多个场景并提供了一种直观可视的方法来描述设计需求.但是,如同其它的规范和设计过程,MSC也很容易出错,所以对它们进行分析是很有必要的.本文分析了带时间约束的MSS,并给出了一个检验MSS时间一致性的工具的设计和实现过程.
其他文献
作为城建工程施工的一项新技术，注浆技术在现阶段工程加固处理中得到了极大的发展空间。注浆技术作为城建工程施工中的重要技术之一，其施工技术水平的高低将对建筑物整体质量起
本文研究时滞测试(应用)中的功耗问题,提出一种降低时滞测试功耗的测试向量排序方法.本方法利用时滞测试向量对之间的海明距离为测试向量对排序.实验研究表明,在下降低时滞故
乡村是中华民族根脉所系，也是传统文化基因、文化遗产的传承载体，和维护社会和谐稳定、保障国家粮食安全的主体领域，更是中国下一步社会经济持续健康发展的重要依托，它具有与城市
近几年，工程测量工作面临着较大的发展挑战，传统的测量方式已经无法满足工作需求，因此我们需要不断革新工程测量方式。把 GPS 技术渗透到工程测量工作中能够有效提升测量工作效
本文根据近年各方科研及实验报道[1,2],经计算机仿真验证,说明可编程交流约瑟夫逊电压在低至50赫附近以至数赫时,目下其精确度虽尚不足,唯通过电子信息技术,在某些场合下可适
本文提出了一种基于电路RTL行为描述的传输故障模型,以便于在电路的RTL描述级别上直接对其进行测试产生或可测试性分析.这种传输故障不仅可以反映一种门级通路段,而且它非常
为缩短系统BIT的平均故障隔离时间,吸取直接熵法的基本思想,运用信息流模型和信息理论,提出系统有故障隔离的间接熵法.实验验证和理论分析表明,该方法弥补了直接熵法构造故障
“本来我可以退休了,买三套大房子、一条梦想的游船,每年还有15万美元的银行利息作为生活费。可现在一切都得从头开始了。”当West CoastWeb-services股票大跌后,公司的一个
近年来高速铁路快速发展，目前高速铁路无砟轨道均普遍采用 CRTSIII 型板，为保证轨道板与底座板中间自密实混凝土的施工质量，本文从施工人员、机械、方法、环境、材料、环境等六
利用一种新方法即平衡技术来解答划分问题.证明若划分问题存在满足条件的子集,则该子集一定是平衡态.据此,仅对平衡进行枚举即可解答划分问题.若划分问题给定集合中每个元素