...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>The Journal of Systems and Software >CAmkES: A component model for secure microkernel-based embedded systems
【24h】

CAmkES: A component model for secure microkernel-based embedded systems

机译：CAmkES：用于基于微内核的安全嵌入式系统的组件模型

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Component-based software engineering promises to provide structure and reusability to embedded-systems software. At the same time, microkernel-based operating systems are being used to increase the reliability and trustworthiness of embedded systems. Since the microkernel approach to designing systems is partially based on the componentisation of system services, component-based software engineering is a particularly attractive approach to developing microkernel-based systems. While a number of widely used component architectures already exist, they are generally targeted at enterprise computing rather than embedded systems. Due to the unique characteristics of embedded systems, a component architecture for embedded systems must have low overhead, be able to address relevant non-functional issues, and be flexible to accommodate application specific requirements. In this paper we introduce a component architecture aimed at the development of microkernel-based embedded systems. The key characteristics of the architecture are that it has a minimal, low-overhead, core but is highly modular and therefore flexible and extensible. We have implemented a prototype of this architecture and confirm that it has very low overhead and is suitable for implementing both system-level and application level services.
机译：基于组件的软件工程有望为嵌入式系统软件提供结构和可重用性。同时，基于微内核的操作系统正在用于提高嵌入式系统的可靠性和可信赖性。由于设计系统的微内核方法部分基于系统服务的组件化，因此基于组件的软件工程是开发基于微内核的系统的一种特别有吸引力的方法。尽管已经存在许多广泛使用的组件体系结构，但它们通常针对企业计算而不是嵌入式系统。由于嵌入式系统的独特特性，嵌入式系统的组件体系结构必须具有较低的开销，能够解决相关的非功能性问题并具有足够的灵活性以适应特定于应用程序的需求。在本文中，我们介绍了旨在开发基于微内核的嵌入式系统的组件体系结构。该体系结构的关键特征是它具有最小的，低开销的核心，但是高度模块化，因此具有灵活性和可扩展性。我们已经实现了此体系结构的原型，并确认它具有非常低的开销，并且适合于实现系统级和应用程序级服务。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号