Response times in level-structured systems
ACM Transactions on Computer Systems (TOCS)
Semantics of Modechart in real time logic
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Real-Time Scheduling Theory and Ada
Computer
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Dynamic ceiling priorities and Ada 95
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
New language features and other language issues (session summary)
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
Tasking and object orientation
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
A semantics for dynamic ceiling priorities in Ada
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
A dynamic scheduling approach to designing flexible safety-critical systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management
Electronic Notes in Theoretical Computer Science (ENTCS)
A behavior priority driven approach for resource reservation scheduling
Proceedings of the 2008 ACM symposium on Applied computing
On the meaning of modes in uniprocessor real-time systems
Proceedings of the 2008 ACM symposium on Applied computing
An execution time planner for the ARTIS agent architecture
Engineering Applications of Artificial Intelligence
Power-Aware Real-Time Scheduling upon Dual CPU Type Multiprocessor Platforms
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
A predictable Java profile: rationale and implementations
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Modal Systems: Specification, Refinement and Realisation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Enabling mode changes in a distributed automotive system
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Incorporating operating modes to an ada real-time framework
ACM SIGAda Ada Letters
Model driven code generation for critical and adaptative embedded systems
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs
Proceedings of the Conference on Design, Automation and Test in Europe
Reliable mode changes in real-time systems with fixed priority or EDF scheduling
Proceedings of the Conference on Design, Automation and Test in Europe
Mode-based reconfiguration of critical software component architectures
Proceedings of the Conference on Design, Automation and Test in Europe
Resource adaptations with servers for hard real-time systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Design choices for high-confidence distributed real-time software
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
An approach for providing dependable self-adaptation in distributed embedded systems
Proceedings of the 2011 ACM Symposium on Applied Computing
Timing analysis for a composable mode switch
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
Non-intrusive system level fault-tolerance
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
High performance dynamic voltage/frequency scaling algorithm for real-time dynamic load management
Journal of Systems and Software
Control co-design: algorithms and their implementation
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Performance Analysis of Reconfigurations in Adaptive Real-Time Streaming Applications
ACM Transactions on Embedded Computing Systems (TECS)
Managing the dynamism of the OSGi Service Platform in real-time Java applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Property networks allowing oracle-based mode-change propagation in hierarchical components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Towards mode switch handling in component-based multi-mode systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems
mTags: augmenting microkernel messages with lightweight metadata
ACM SIGOPS Operating Systems Review
Robust architectures for embedded wireless network control and actuation
ACM Transactions on Embedded Computing Systems (TECS)
An integrated framework for multiprocessor, multimoded real-time applications
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems
Proceedings of the Conference on Design, Automation and Test in Europe
Charting the evolution of the Ada Ravenscar code archetypes
ACM SIGAda Ada Letters
Adding multiprocessor and mode change support to the Ada real-time framework
ACM SIGAda Ada Letters
Safety-critical Java level 2: motivations, example applications and issues
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation
Proceedings of the 21st International conference on Real-Time Networks and Systems
Ideal mode selection of a cardiac pacing system
DHM'13 Proceedings of the 4th International conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management: healthcare and safety of the environment and transport - Volume Part I
Tractable schedulability analysis and resource allocation for real-time multimodal systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
Mode switch timing analysis for component-based multi-mode systems
Journal of Systems Architecture: the EUROMICRO Journal
Personal and Ubiquitous Computing
ADOK: a minimal object oriented real-time operating system in C++
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
| Hi-index | 0.00 |
This paper contains both a survey of mode change protocols for single-processor, fixed-priority, preemptively scheduled real-time systems, and a proposal of several new protocols along with their corresponding schedulability analysis and configuration methods. First, a classification of the protocols found in the literature is given and a set of requirements is proposed for their evaluation. Then, the new protocols are introduced and discussed in the light of the stated requirements. A number of mode change protocols are based on delaying the initiation of the new mode by applying an offset to the initial release of tasks in the destination mode. We tackle the problem of how to obtain these offsets for the proposed protocols. The issue of consistently sharing resources during the mode change by means of a priority inheritance protocol is also dealt with.