Communications of the ACM
The Mungi single-address-space operating system
Software—Practice & Experience - Special issue on multiprocessor operating systems
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Components for embedded software: the PECOS approach
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
Proceedings of the 3rd international conference on Aspect-oriented software development
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
CCMPerf: A Benchmarking Tool for CORBA Component Model Implementations
Real-Time Systems
The pebble component-based operating system
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Adaptive and Reflective Middleware for QoS-Enabled CCM Applications
IEEE Distributed Systems Online
Towards trustworthy computing systems: taking microkernels to the next level
ACM SIGOPS Operating Systems Review
Applying component-based design to self-protection of ubiquitous systems
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems V
The role of virtualization in embedded systems
Proceedings of the 1st workshop on Isolation and integration in embedded systems
Towards automatic performance optimisation of componentised systems
Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems
Component-Based Real-Time Operating System for Embedded Applications
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Extending the capabilities of component models for embedded systems
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
The road to trustworthy systems
Proceedings of the fifth ACM workshop on Scalable trusted computing
A light-weight virtual machine monitor for Blue Gene/P
Proceedings of the 1st International Workshop on Runtime and Operating Systems for Supercomputers
A component model for hard real-time systems: CCM with ARINC-653
Software—Practice & Experience
A lightweight virtual machine monitor for Blue Gene/P
International Journal of High Performance Computing Applications
FASA: a scalable software framework for distributed control systems
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
Science of Computer Programming
Towards a verified component platform
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
Hi-index | 0.01 |
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.