Software architecture supporting integrated real-time systems
Journal of Systems and Software
Software environment for integrating critical real-time control systems
Journal of Systems Architecture: the EUROMICRO Journal
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
A software integration approach for designing and assessing dependable embedded systems
Journal of Systems and Software
Optimizing integrated application performance with cache-aware metascheduling
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Sharing i/o in strongly partitioned real-time systems
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixed-criticality real-time applications. These integrated applications meet their own timing constraints while sharing avionics computer resources. To guarantee timing constraints and dependability of each application, an IMA-based system is equipped with the schemes for spatial and temporal partitioning. We refer the model as SP-RTS (Strongly Partitioned Real-Time System), which deals with processor partitions and communication channels as its basic scheduling entities.This paper presents a partition and channel-scheduling algorithm for the SP-RTS. The basic idea of the algorithm is to use a two-level hierarchical schedule that activates partitions (or channels) following a distance-constraints guaranteed cyclic schedule and then dispatches tasks (or messages) according to a fixed priority schedule. To enhance schedulability, we devised heuristic algorithms for deadline decomposition and channel combining. The simulation results show the schedulability analysis of the two-level scheduling algorithm and the beneficial characteristics of the proposed deadline decomposition and channel combining algorithms.