Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Real-time systems and their programming languages
Real-time systems and their programming languages
Real-Time Scheduling Theory and Ada
Computer
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Stack-based scheduling for realtime processes
Real-Time Systems
Communications of the ACM
Programming in Ada plus an overview of Ada 9X (4th ed.)
Programming in Ada plus an overview of Ada 9X (4th ed.)
An extendible approach for analyzing fixed priority hard real-time tasks
Real-Time Systems
STRESS: a simulator for hard real-time systems
Software—Practice & Experience
A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Fixed priority pre-emptive scheduling: an historical perspective
Real-Time Systems - Special issue: history of real-time systems
Engineering a hard real-time system: from theory to practice
Software—Practice & Experience
Improvement in feasibility testing for real-time tasks
Real-Time Systems
Fixed-priority scheduling of real-time systems using utilization bounds
Journal of Systems and Software
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
An overview of the Rialto real-time architecture
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Measuring and Analyzing Real-Time Performance
IEEE Software
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers
IEEE Transactions on Software Engineering
An Accurate Worst Case Timing Analysis for RISC Processors
IEEE Transactions on Software Engineering
A feasibility decision algorithm for rate monotonic scheduling of periodic real-time tasks
RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
Putting fixed priority scheduling theory into engineering practice for safety critical applications
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Transformation of SDL specifications for system-level timing analysis
Proceedings of the tenth international symposium on Hardware/software codesign
Proceedings of the 40th annual Design Automation Conference
Schedulability analysis of applications with stochastic task execution times
ACM Transactions on Embedded Computing Systems (TECS)
Interval-based analysis in embedded system design
Mathematics and Computers in Simulation - Special issue: Selected papers from the 4th IMACS symposium on mathematical modelling (4th MATHMOD)
CDx: a family of real-time Java benchmarks
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Scheduling real-time garbage collection on uniprocessors
ACM Transactions on Computer Systems (TOCS)
Cycle time properties of the PROFIBUS timed-token protocol
Computer Communications
Robust and flexible mapping for real-time distributed applications during the early design phases
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
When developing multitasking real-time systems, schedulabilitytests are used to formally prove that a given task set will meetits deadlines. A wide range of such tests have appeared in theliterature. This tutorial acts as a guide to the major testsavailable for preemptive multitasking applications.