The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Real-Time Scheduling Theory and Ada
Computer
Scheduling hard real-time systems: a review
Software Engineering Journal - Special issue on real-time software
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Engineering and Analysis of Fixed Priority Schedulers
IEEE Transactions on Software Engineering
Verus: a tool for quantitative analysis of finite-state real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Schedule validation for embedded reactive real-time systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
IEEE Transactions on Software Engineering
A Multiframe Model for Real-Time Tasks
IEEE Transactions on Software Engineering
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
Verification of real-time designs: combining scheduling theory with automatic formal verification
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Fast performance prediction for periodic task systems
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Estimating probabilistic timing performance for real-time embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - System Level Design
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Efficient performance estimation for general real-time task systems
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults
IEEE Transactions on Computers
Scheduling System Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while Executing
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Supporting Embedded System Design Capture, Analysis and Navigation-
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Can Fixed Priority Scheduling Work in Practice?
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Early-stage performance modeling and its application for integrated embedded control software design
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Applying fixed priority scheduling in practice
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Proceedings of the conference on Design, automation and test in Europe
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Period optimization for hard real-time distributed automotive systems
Proceedings of the 44th annual Design Automation Conference
Model-driven development with predictable quality
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Buffer optimization in multitask implementations of Simulink models
ACM Transactions on Embedded Computing Systems (TECS)
PACC starter kit: developing software with predictable behavior
Companion of the 30th international conference on Software engineering
Performance analysis of real-time component architectures: a model interchange approach
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Proceedings of the conference on Design, automation and test in Europe
Energy-Efficient Fixed-Priority Scheduling for Periodic Real-Time Tasks with Multi-priority Subtasks
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Design and Development of Component-Based Embedded Systems for Automotive Applications
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Model-Driven Performance Analysis
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Resource Allocation in Streaming Environments
GRID '06 Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
Exploiting data-redundancy in reliability-aware networked embedded system design
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis
Proceedings of the 46th Annual Design Automation Conference
An evaluation of timed scenario notations
Journal of Systems and Software
Time and memory tradeoffs in the implementation of AUTOSAR components
Proceedings of the Conference on Design, Automation and Test in Europe
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
The design of real-time fault detectors
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Solving real-time scheduling problems with model-checking
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Real-Time scheduling techniques for implementation synthesis from component-based software models
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Timing analysis of interrupt-driven programs under context bounds
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Optimization of task allocation and priority assignment in hard real-time distributed systems
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.01 |
This paper presents a timing analysis for a quite general hard real-time periodic task set on a uniprocessor using fixed-priority methods. Periodic tasks are composed of serially executed subtasks, where each subtask is characterized by an execution time, a fixed priority and a deadline. A method for determining the schedulability of each task and subtask is presented along with its theoretical underpinnings. This method can be used to analyze the schedulability of any task set on a uniprocessor whose priority structure can be modeled as serially executed subtasks, which can lead to a very complex priority structure. Important examples include task sets that involve interrupts, certain synchronization protocols, certain precedence constraints, nonpreemptible sections, and some message-passing systems. The method is illustrated by a robotics example.