谢铖
- 作品数：9 被引量：29H指数：3
- 供职机构：浙江大学更多>>
- 发文基金：国家高技术研究发展计划浙江省重点科技计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个构件化嵌入式操作系统的精确控制内核被引量：12
- 2006年
- 近年来,嵌入式系统的应用数量和复杂度以及程序的规模增长迅速,构件化嵌入式操作系统已经成为研究热点.过去的以抽象接口和封装计算为基础的通用构件体系结构难以满足许多数据流应用(包括多媒体处理和信号处理等)在并发性和实时性等方面的要求.对此设计了一个构件化嵌入式操作系统Pcanel,其核心是一个基于构件转换控制模型的精确控制核PCC.PCC将构件分成静止和执行两种状态.构件计算采用并行与分段执行的方法.同时,采用非阻塞式的调度方法有效解决了优先级倒置的问题.PCC由事件控制器和任务控制器协同工作,具备高度并发处理能力,从而支持构件技术在嵌入式系统中的应用.
- 陈文智谢铖石教英
- 关键词：嵌入式操作系统
- 多内核构件化嵌入式操作系统的研究
- 随着电子技术的发展，软/硬件资源日益增多，嵌入式系统日益普适化和多样化。嵌入式操作系统除了提供传统实时操作系统的功能之外，还需要根据用户的需求支持许多通用操作系统的功能，包括文件系统、网络协议、用户界面等。许多嵌入式系统...
- 谢铖
- 关键词：嵌入式操作系统虚拟化平台多核处理器
- 数据异常检测方法、装置、设备及存储介质
- 本说明书提供一种数据异常检测方法、装置、设备及存储介质。通过基于数据管理系统在多个数据维度上的运行数据，来生成由多个数据维度上的运行数据按照时间顺序排列的待处理数据，并获取待处理数据的重构数据，从而基于待处理数据、待处理...
- 谢铖施亦豪程雨夏俞晨毛小云陈文智
- 基于构件框架及模型驱动的操作系统内核被引量：13
- 2005年
- 为了解决复杂嵌入式系统模型在操作系统上的实现要求,提出了一个新的基于模型驱动架构的嵌入式操作系统内核Pcanel.该内核提供一个构件化的运行环境,以细粒度的构件作为基本单位,以构件框架作为控制构件计算任务的体系结构.构件框架对应设计阶段的抽象计算模型,由计算模型解决系统在功能方面的问题.构件框架按照触发器条件控制构件的执行,解决系统在非功能方面的问题.Pcanel采用一个规范的状态和行为的转换系统,将控制流与构件的执行相分离,并且在规范的递归形式下实现框架的组合.研究结果表明,Pcanel能够灵活地应用于高度复杂的嵌入式系统,通过构件模型的约束条件,构件得以更容易组合和验证.
- 陈文智谢铖石教英
- 关键词：嵌入式操作系统
- 构件化嵌入式操作系统Pcanel的研究与设计
- 嵌入式系统大多存在于异构环境中,传统的基于平台结构的操作系统开发技术已经难以适应嵌入式系统的实时处理、并行处理等非功能性的要求.本文介绍我们自己开发的构件化嵌入式操作系统Pcanel,它采用分级组合的构件框架作为全局视图...
- 陈文智谢铖石教英
- 关键词：构件化嵌入式操作系统
- ARM处理器架构的微内核设计方法
- 本发明公开了一种ARM处理器架构的微内核设计方法。涉及一个针对ARM架构设计的完全可抢占的微内核。它用于支持下一代面向服务的嵌入式操作系统。该内核支持软件模块以服务线程的形式构造系统，服务器与客户以及服务器内部使用相同的...
- 陈文智谢铖
- 文献传递
- 基于虚拟化平台的可信任计算基被引量：4
- 2009年
- 采用虚拟化技术来提高嵌入式设备的安全特性,避免了基于硬件方法带来的灵活性差、设备复杂度高和生产成本高的缺点.虚拟化平台SmartVP以软件方式实现了对系统环境的保护,SmartVP在ARM处理器上划分出两组并行的计算资源,分别运行标准的实时操作系统T-Kernel和通用操作系统Linux;通过保护T-Kernel上的软件代码和数据,实现了基础安全服务和接口,从而构造出一个可信任计算基.性能测试和实际应用结果均表明,SmartVP能够在提升嵌入式设备安全性的同时,有效地降低实施风险、时间和开发成本.
- 陈文智黄炜谢铖何钦铭
- 关键词：虚拟化平台嵌入式设备
- “便携通”数字钱夹的设计方案
- 2004年
- “便携通”数字钱夹,以实用性为设计中心理念,在传统数字钱夹的模式下,保留大容量存储、USB接口、便携通用外设的优点,创新性的采用Freescale公司的全功能单芯片MC9S12UF32作为主控芯片,具有功能可扩展、体积更小、便携性能更优、实用性强、成本低廉的特点,具有很高的市场推广价值。
- 谢铖姜人方陈晓东冯忆
- 关键词：可扩展外设大容量存储USB接口主控芯片单芯片
- ARM处理器架构的微内核设计方法
- 本发明公开了一种ARM处理器架构的微内核设计方法。涉及一个针对ARM架构设计的完全可抢占的微内核。它用于支持下一代面向服务的嵌入式操作系统。该内核支持软件模块以服务线程的形式构造系统，服务器与客户以及服务器内部使用相同的...
- 陈文智谢铖
- 文献传递
