软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2014年第02期杂志 文档列表

软件学报杂志嵌入式系统软件设计方法与技术专刊

嵌入式系统软件设计方法与技术专刊前言第177-178页

关键词: 嵌入式系统软件；  软件设计方法；  技术；  硬件设备；  移动计算；  融合系统；  研究成果；  计算机；  

面向WCET估计的Cache分析研究综述第179-199页

关键词: 实时系统；  execution；  cache分析；  时间分析；  抽象解释；  

嵌入式机载软件安全性分析标准、方法及工具研究综述第200-218页

关键词: 嵌入式软件；  机载软件安全性；  适航认证；  安全性分析；  软件工具；  

混成系统形式化验证第219-233页

关键词: 混成系统；  形式化方法；  模型检验；  定理证明；  

可组合嵌入式软件建模与验证技术研究综述第234-253页

关键词: 可组合嵌入式软件；  可组合性；  相容性；  组合模型；  组合机制；  组合验证；  

基于程序访存模式的低功耗存储技术第254-266页

关键词: 低功耗；  片上缓存；  主存；  程序的访存模式；  

嵌入式系统开发中敏捷方法的应用研究综述第267-283页

关键词: 嵌入式系统开发；  敏捷方法；  应用现状；  系统评价；  

多处理器混合关键性系统中的划分调度策略第284-297页

关键词: 混合关键性系统；  多处理器；  划分调度；  deadline；  

GPU上两阶段负载调度问题的建模与近似算法第298-313页

关键词: processing；  数据传输；  负载排序；  近似算法；  

一种优化的闪存地址映射方法第314-325页

关键词: 闪存；  地址映射；  存储系统；  嵌入式系统；  

一种面向无线传感网应用重编程的逻辑式编程语言第326-340页

关键词: 逻辑式编程语言；  操作语义；  无线传感网；  重编程；  解释执行；  

同步数据流语言可信编译器的构造第341-356页

关键词: 同步数据流语言；  经过验证的编译器；  形式化验证；  形式语义；  定理证明；  

基于区域内存模型的 C 程序静态分析第357-372页

关键词: 可寻址表达式；  内存模型；  静态分析；  符号化函数摘要；  缺陷检测；  

嵌入式API测试套生成方法和技术第373-385页

关键词: 嵌入式软件；  软件测试；  测试与测试控制语言；  标签转换系统；  

基于缺陷关联的静态分析优化第386-399页

关键词: 静态分析；  优化；  缺陷关联；  抽象解释；  状态切片；