【摘 要】
：
随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要。针对以上问题,
【机 构】
：
大连理工大学软件学院,日本CATS株式会社
论文部分内容阅读
随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要。针对以上问题,提出采用状态变迁矩阵(STM)对嵌入式软件进行建模,通过确认STM中的每个单元格保证软件的正确性,且在需求分析阶段更容易发现需求遗漏。针对单元格处理经常出现大量的逻辑判断问题,提出采用决策表(DT)模型对复杂多条件判断分支问题进行建模。在模型建立后进行验证,最后自动生成代码。通过对紧急制动控制建模实验,说明方法的正确性。
其他文献
代价敏感属性选择问题的目的是通过权衡测试代价和误分类代价,得到一个具有最小总代价的属性子集。目前,多数代价敏感属性选择方法只考虑误分类代价固定不变的情况,不能较好
目的分析我院门诊处方存在的问题,探讨基层医院合理用药方案。方法抽取我院2010年11-12月门诊处方500张进行统计分析。结果 500张处方中,不合理处方60张,占12%,其中书写不规
目的探讨普外科患者术后使用一次性镇痛泵的临床效果及护理。方法选择普外科术后使用一次性镇痛泵患者1100例,对其进行有效的治疗和护理,观察其护理效果。并随机选取其中99例
目的总结产后出血的诊断依据,分析迅速有效的急救方法。方法回顾性分析我院近年来收治的产后出血患者的临床资料。结果产后出血发生率3.39%,主要病因：子宫收缩乏力〉胎盘因素
为解决RANSAC算法迭代次数过多导致图像配准精确率不高的问题,提出了一种改进的RANSAC图像配准算法。首先将参考图像和待配准图像进行NSCT变换分解成低频子带和高频子带。然后对高频子带运用矢量夹角算法和结构相似性(SSIM)来提取图像边缘特征点,对低频子带运用SIFT算法并设定合适的距离阈值来提取特征点。最后利用改进的RANSAC算法提高特征点匹配精度,选择出精匹配点对,实现图像配准。实验结果
目的 分析心内科老年住院患者发生院内感染的高危因素.方法 2010年6月-2012年6月我院心内科收治老年住院患者516例,分析发生院内感染患者的基础疾病、年龄分布、院内感染与患
远程数据完整性验证技术是保证云数据安全的一种重要技术,能通过与服务器进行少量交互,验证外包数据是否完整。在现实中,云存储服务通常是在多用户与多服务器之间存在的,最近
随着我国科学技术的发展,电磁环境也越来越复杂,民航甚高频通信作为民航沟通的重要途径之一,其互调干扰预防能力对人们的生命财产安全意义重大。基于此,本文针对民航甚高频通
针对嵌入式系统中大多数任务执行算法不考虑目标成本问题,提出了一种基于多目标全局约束的任务分配和调度算法。算法使用约束逻辑编程来对任务执行资源如处理单元、通信设备
研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点