Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
A Multiframe Model for Real-Time Tasks
IEEE Transactions on Software Engineering
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Real-Time Systems
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
Real-Time Systems
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
Schedulability Analysis for Tasks with Static and Dynamic Offsets
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Energy Aware Scheduling for Distributed Real-Time Systems
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Priority-Driven Scheduling of Periodic Task Systems on Multiprocessors
Real-Time Systems
MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Static-Priority Scheduling on Multiprocessors
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
FUNDAMENTAL DESIGN PROBLEMS OF DISTRIBUTED SYSTEMS FOR THE HARD-REAL-TIME ENVIRONMENT
FUNDAMENTAL DESIGN PROBLEMS OF DISTRIBUTED SYSTEMS FOR THE HARD-REAL-TIME ENVIRONMENT
Efficient Response-Time Analysis for Tasks with Offsets
RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Characterization and Analysis of Tasks with Offsets: Monotonic Transactions
RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Sensitivity analysis for fixed-priority real-time systems
Real-Time Systems
Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
On Schedulability Analysis of Non-cyclic Generalized Multiframe Tasks
ECRTS '10 Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems
Modeling languages for real-time and embedded systems: requirements and standards-based solutions
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
The Non-cyclic Recurring Real-Time Task Model
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
The Digraph Real-Time Task Model
RTAS '11 Proceedings of the 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium
Towards a simple meta-model for complex real-time and embedded systems
MEDI'11 Proceedings of the First international conference on Model and data engineering
Feasibility analysis of real-time transactions
Real-Time Systems
Model Driven Timing Analysis for Real-Time Systems
HPCC '12 Proceedings of the 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems
Hi-index | 0.00 |
Model-based design techniques for real-time systems have limited real-time expressiveness, focusing their abilities to classic scheduling models (like the classic sporadic model) and to a reduced set of temporal analysis techniques (like the Rate Monotonic Analysis). Moreover, to perform analysis with the real-time scheduling theory, the system designers must check that their models are compliant with the assumptions of this theory. This article introduces an open meta-model, based on model-driven engineering, which aims to cover new real-time scheduling models and techniques. Therefore, it will be possible to connect several independent schedulability analysis tools, following closely the advances in real-time scheduling theory, dealing with a temporal model that will be covered by our meta-model. This connection can be done at different stages of the design (early for sensitivity analysis, at a later stage for temporal validation) to create a temporal model of the designed system, and to assist the designer who is not necessarily an expert in scheduling theory. This paper can be considered as an attempt to motivate the real-time community to have a taxonomy of real-time scheduling models, problems and analysis techniques.