“便携通”数字钱夹的设计方案

“便携通”数字钱夹，以实用性为设计中心理念，在传统数字钱夹的模式下，保留大容量存储、USB接口、便携通用外设的优点，创新性的采用Freescale公司的全功能单芯片MC9S12UF32作为主控芯片，具有功能可扩展、体积更小、便携性能更优、实用性强、成本低廉的特点，具有很高的市场推广价值。     

基于构件框架及模型驱动的操作系统内核

为了解决复杂嵌入式系统模型在操作系统上的实现要求，提出了一个新的基于模型驱动架构的嵌入
式操作系统内核Pcanel.该内核提供一个构件化的运行环境，以细粒度的构件作为基本单位，以构件框架
作为控制构件计算任务的体系结构.构件框架对应设计阶段的抽象计算模型，由计算模型解决系统在功能
方面的问题.构件框架按照触发器条件控制构件的执行，解决系统在非功能方面的问题.Pcanel采用一个规
范的状态和行为的转换系统，将控制流与构件的执行相分离，并且在规范的递归形式下实现框架的组合.
研究结果表明，Pcanel能够灵活地应用于高度复杂的嵌入式系统，通过构件模型的约束条件，构件得以更
容易组合和验证.     

一个构件化嵌入式操作系统的精确控制内核

近年来,嵌入式系统的应用数量和复杂度以及程序的规模增长迅速,构件化嵌入式操作系统已经成为研究热点.过去的以抽象接口和封装计算为基础的通用构件体系结构难以满足许多数据流应用（包括多媒体处理和信号处理等）在并发性和实时性等方面的要求.对此设计了一个构件化嵌入式操作系统Pcanel,其核心是一个基于构件转换控制模型的精确控制核PCC.PCC将构件分成静止和执行两种状态.构件计算采用并行与分段执行的方法.同时,采用非阻塞式的调度方法有效解决了优先级倒置的问题.PCC由事件控制器和任务控制器协同工作,具备高度并发处理能力,从而支持构件技术在嵌入式系统中的应用.     

"便携通"数字钱夹的设计方案

"便携通"数字钱夹,以实用性为设计中心理念,在传统数字钱夹的模式下,保留大容量存储、USB接口、便携通用外设的优点,创新性的采用Freescale公司的全功能单芯片MC9S12UF32作为主控芯片,具有功能可扩展、体积更小、便携性能更优、实用性强、成本低廉的特点,具有很高的市场推广价值.     

基于虚拟化平台的可信任计算基

采用虚拟化技术来提高嵌入式设备的安全特性,避免了基于硬件方法带来的灵活性差、设备复杂度高和生产成本高的缺点.虚拟化平台SmartVP以软件方式实现了对系统环境的保护,SmartVP在ARM处理器上划分出两组并行的计算资源,分别运行标准的实时操作系统T-Kernel和通用操作系统Linux;通过保护T-Kernel上的软件代码和数据,实现了基础安全服务和接口,从而构造出一个可信任计算基.性能测试和实际应用结果均表明,SmartVP能够在提升嵌入式设备安全性的同时,有效地降低实施风险、时间和开发成本.