程序流

作品数：32被引量：50H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨晗唐科郭宝龙汪文勇安俊秀更多>>
相关机构：松下电器产业株式会社英特尔公司ARM公司奇瑞汽车股份有限公司更多>>
相关期刊：《上海交通大学学报》《中国金融电脑》《电子技术应用》《电视技术》更多>>
相关基金：国家自然科学基金四川省青年科技基金国家重点基础研究发展计划高等学校全国优秀博士学位论文作者专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于AURIX TC397 SafeTpack的功能安全软件实现
《汽车零部件》2024年第2期99-105,109,共8页陈立冲 郭岩 于成淼 
动力域控制器系统(PDCS)在新能源汽车中为动力源控制器系统。为提高PDCS的安全性、可靠性,根据ISO 26262标准设计了一套符合ISO 26262标准ASIL C的域控制器平台,基于E-GAS三层安全架构,其中重点解决Level3层的安全监控,以功能安全组件包...
关键词：SafeTpack 程序流监控 功能安全 看门狗 
基于ISO26262混合ASIL系统设计应用研究被引量：1
《传动技术》2021年第4期32-38,共7页谢凌云 
在AUTOSAR软件架构下设计了一套符合ISO26262标准免于干扰要求的混合ASIL系统,将内存保护、时序保护和通讯保护应用到了该系统中,在主控芯片英飞凌TriCore277和电源管理芯片TLF35584的控制板上验证了MPU内存保护、程序流保护和E2E通讯...
关键词：AUTOSAR 功能安全 MPU 程序流 E2E 
面向测试和模型检测需求的程序建模技术研究被引量：1
《计算机应用研究》2015年第9期2693-2696,2701,共5页孙晶 张学娜 
国家自然科学基金资助项目(61070030;61370051);北京市教委学术创新团队项目(4062012)
由于同时支持软件测试和模型检测需求的程序建模比较少,为此提出了一种程序建模技术,该技术主要包括物理存储模型、可视化模型和代数模型。利用程序流图的思想建立物理存储模型和可视化模型,并通过建立在严格数学基础上的代数模型验证...
关键词：模型检测 软件测试 模型代数 程序建模 程序流图 
X10程序的差别分析方法
《计算机学报》2015年第5期1082-1092,共11页陈雨亭 杨威 赵建军 
国家“九七三”重点基础研究发展规划项目基金(2015CB352203);国家自然科学基金(91118004,61100051,61272102);中国科学院软件研究所计算机科学国家重点实验室开放基金(SYSKF1101);上海市计算机软件评测重点实验室开放基金(SSTL2011_02)资助~~
程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动...
关键词：程序差别分析 X10 程序流图 软件测试 程序调试 
劳特巴赫推出新型组合调试与跟踪系统
《现代制造》2013年第34期23-23,共1页
2013年9月，劳特巴赫公司将推出IJTrace，这是一款适用于ARMCortexM系列处理器的新型组合调试与跟踪系统。这种一体化解决方案将为开发人员提供调试与程序流分析功能。
关键词：跟踪系统 调试 一体化解决方案 处理器 程序流 
应用虚拟化技术研究进展被引量：15
《空军工程大学学报（自然科学版）》2013年第6期54-58,共5页陈靖 黄聪会 孙璐 龚水清 
国家自然科学基金资助项目(61172083)
应用虚拟化是支撑软件即服务的关键技术。分析并给出了应用虚拟化的定义,探讨了应用虚拟化的优势及研究现状,指出当前应用虚拟化研究主要集中于实现问题,缺乏对应用虚拟化服务质量的研究。从平台依赖性和分布式架构角度将应用虚拟化分...
关键词：应用虚拟化 软件即服务 虚拟执行环境 性能评测 应用程序流 
μTrace-Cortex^(TM)-M系列的全新一体化解决方案
《电子技术应用》2013年第10期6-6,共1页
2013年9月，劳特巴赫将推出μTrace，这是一款适用于ARM R Corte^TM—M系列处理器的新型组合调试与跟踪系统。该一体化解决方案将为开发人员提供调试与程序流分析功能。
关键词：一体化解决方案 TRACE 跟踪系统 ARM 处理器 程序流 调试 
基于全局支配图算法的覆盖测试方法
《计算机工程》2010年第19期70-71,74,共3页于炳霞 谷青范 
目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序...
关键词：覆盖测试 全局支配图算法 测试用例 程序流图 代码插装 
基于服务器集群的云检索系统的研究与示范被引量：7
《计算机科学》2010年第7期179-182,共4页安俊秀 
四川省教育厅旅游专项课题(LY09-01);四川省青年科学基金(09ZQ026-068)资助
在研究云计算及移动搜索引擎的基础上,依据当前技术发展,提出了基于服务器集群的云检索系统模型,该模型由云信息层、云检索集群系统和用户查询框组成。对云检索集群系统中数据存储技术进行了深入研究,提出了分布式云检索数据存储方案。...
关键词：云计算 云检索 程序流 分布式文件系统 集群 
网络群体心理趋势智能分析模型研究被引量：3
《计算机科学》2010年第6期273-277,共5页靳宇倡 秦启文 安俊秀 
四川省教育厅旅游专项课题(LY09-01);四川省青年科学基金(09ZQ026-068);国家自然科学基金(60702075)资助
网络群体是随着互联网网民的飞速膨胀而出现的虚拟聚集但真实存在的群体现象。由于互联网的隐秘性、自由性,使得网络群体能针对某一事物现象更真实地表述自己的观点。网络群体心理趋势分析是综合心理学、云计算、信息检索、自然语言处...
关键词：网络群体 管道并行集成切词算法 哈希(Hash)散列算法 程序流 中文云图 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部