论文部分内容阅读
实时嵌入式系统的实时性约束主要来自系统的安全性需求。传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性的支持。本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
模型驱动的实时嵌入式系统结构设计与属性分析
【摘 要】
：
实时嵌入式系统的实时性约束主要来自系统的安全性需求。传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性的支持。本文基于模型驱动开发方法,使用结构
【机 构】
：
南昌大学信息工程技术研究中心
【出 处】
：
计算机与现代化
【发表日期】
：
2008年12期
其他文献
目的研究原发性闭角型青光眼持续高眼压状态下行小梁切除术治疗的最佳手术时机。方法以我院2012年1月至2014年2月收治的80例原发性闭角型青光眼患者为研究对象,均处于持续高
介绍在WinNT平台上和VisualC＋＋6．0环境下，利用WinSock实现C／S模式网络编程的原理、方法和技巧，实现服务器端与客户端的文件及信息传输，开发了基于TCP／IP协议的服务器和客户机仿真应用
IP组播是将数据分发给一组参与者的非常有效的通信方式,有着廉价、高效的特点。组播网络监测对于增强组播性能、安全具有重要意义。为此,本文分析了组播监测的需求和功能要求
目的探讨脑梗死出血转化后继续服用阿司匹林临床抗血小板聚集的效果。方法选取我院2013年1月至2015年12月期间120例急性脑梗死入院治疗出现出血症状的患者，按双盲法随机分为实
聚类技术就是将数据分为自然的群体，并给出每个群的特征描述的一种数据方法。但是传统的聚类算法对高维大规模数据的处理效率不高，张铃教授提出的交叉覆盖算法可以有效地处理大
目的观察中药雾化治疗对咽喉疾病的临床效果。方法选取我院2013年7月至2015年7月诊治的咽喉疾病患者150例，根据患者入院治疗的先后顺序进行分组．其中单号为对照组，双号为观察组
MYCIN系统作为一个基于规则的典型专家系统,应用范围广泛。随着人工智能技术的发展,有必要对MYCIN系统进行改进。本文提出了优化该系统体系结构的思想,使得MYCIN系统具有自学
阐述了CLARANS（Clustering Large Applications based on RANdomized Search-基于随机搜索的大规模应用聚类）聚类算法的工作原理，同时为了解决CLARANS聚类挖掘算法效率低，费时长
目的 研究吡咯列酮对2型糖尿病患者血糖及血清脂联素的影响。方法 选择2012年4月至2014年7月于我院接受治疗的70例2型糖尿病患者作为研究对象,根据治疗方案的不同,分为两组各
目的：探讨磁共振成像（MRI）选择性激励序列（PROSET）在坐骨神经成像中的信号特征，及其对坐骨神经病变的诊断价值。方法收集本院2008年10月至2012年5月收治的49例患者作为研究对象。所