General Schedulers for the Pinwheel Problem Based on Double-Integer Reduction
IEEE Transactions on Computers
Hypervisor-based fault tolerance
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Communications of the ACM
Microkernels meet recursive virtual machines
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
The performance of μ-kernel-based systems
Proceedings of the sixteenth ACM symposium on Operating systems principles
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Distance-Constrained Scheduling and Its Applications to Real-Time Systems
IEEE Transactions on Computers
Resource Scheduling in Dependable Integrated Modular Avionics
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software
RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Scheduling real-time applications in an open environment
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Structuring the Kernel as a Toolkit of Extensible, Reusable Components
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Strongly partitioned system architecture for integration of real-time applications
Strongly partitioned system architecture for integration of real-time applications
Development of an Onboard Software System for Mini Unmanned Aerial Vehicle Based on VxWorks
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
SParK: safety partition kernel for integrated real-time systems
From active data management to event-based systems and more
| Hi-index | 0.00 |
To achieve reliability, reusability, and cost reduction, a significant trend in building large complex real-time systems is to integrate separate application modules of different criticalities in a common hardware platform. An essential requirement of integrated real-time systems is to guarantee spatial and temporal partitioning among applications in order te ensure an exclusive access of physical and temporal resources to the applications. In this paper we propose software architecture, implemented as SPIRIT-µKernel, for strongly partitioned integrated real-time systems. The SPIRIT-µKernel has been designed and implemented based on a two-level hierarchical scheduling methodology such that the real-time constraints of each application can be guaranteed. To demonstrate the feasibility of the SPIRIT-µKernel, we have ported two real-time operating systems (RTOS), WindRiver's VxWorks and Cygnus's eCos, on the top of the microkernel. Thus, different RTOS can be applied in various partitions to provide required features for each application. Based on the measured performance results, the SPIRIT-µKernel architecture is practical and appealing due to its low overheads of kernel services and the support for dependable integration of real-time applications via scheduling algorithm.