【摘 要】
：
在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其
【机 构】
：
同济大学计算机科学与工程系,同济大学计算机科学与工程系 上海200092,上海200092
论文部分内容阅读
在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述。
In the heterogeneous embedded platform, the Unified Modeling Language UML can be used to establish platform independent model for railway interlocking software, so as to improve software development and reuse. UML applies to the static structure of software and the modeling of dynamic behavior in simple scenarios. In order to ensure its safety, the Petri net is used as a supplement to the complex dynamic behavior and constraint rules, adding precise and strict formal description in the model.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
Upper tract urothelial cancers (UTUC) are uncommon and the information guiding their management used to be driven from small single center studies. Multi-center
2016年10月财政部发布了《全国会计领军人才培养工程发展规划》，财政部计划在2025年前再培养1300名全国会计领军人才，虽然过去十年我国已经培养了超过1000名会计领军人才，但未来
基于中国绿色照明工程的要求,从光源、控制方式、灯具及配件等方面,介绍了垃圾焚烧电厂照明设计采用的主要节能措施,并分析了照度的计算方法与供电方式,通过对比某垃圾卸料平
目的通过分析不同标本中分离鉴定出的白色念珠菌,总结其临床分布情况和抗真菌药物敏感试验结果,为临床科室提供治疗真菌感染的依据。方法不同标本中鉴定分离出的156例白色念
提出一种基于内容的中文垃圾邮件实时过滤系统的实现方案，该系统建立在Linux的Sendmail邮件服务器上，通过Milter接口实时提取邮件内容，并结合中文分词及文本分类算法对邮件实施
作为封建特权思想典型的官当思想,现今依然严重影响着中国的现代法制建设.文章分析了官当制度的演变、形成的原因、社会历史条件以及对现代法制的消极影响等问题,并在此基础
对城市交通流量的特征进行了分析，尝试将核机器方法引入这一领域，对交通流量进行实时预测。综合比较了核机器方法与人工神经网络法的预测效果，同时展示了常规核与复合核的性能对
社会协商对话制度由党的报告提出、并实际运作的一项政治制度。在依法治国的背景下，一切制度的运作需要有法律依据。从我国现有的法律法规和各种规范性文件中能发现社会协商对
Bovine tuberculosis (TB) is a chronic debilitating disease of huge economic importance due to loss in production, morbidity and mortality, and has a potential z