Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Scheduling Multiprocessor Tasks to Minimize Schedule Length
IEEE Transactions on Computers
Scheduling Tasks with Resource Requirements in Hard Real-Time Systems
IEEE Transactions on Software Engineering
Preemptive scheduling under time and resource constraints
IEEE Transactions on Computers - Special Issue on Real-Time Systems
On synchronization in hard-real-time systems
Communications of the ACM
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Multiprocessor Online Scheduling of Hard-Real-Time Tasks
IEEE Transactions on Software Engineering
Real-time computing systems: the next generation
Tutorial: hard real-time systems
Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations
IEEE Transactions on Software Engineering
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Scheduling Periodic Jobs that Allow Imprecise Results
IEEE Transactions on Computers
A Window Protocol for Transmission of Time-Constrained Messages
IEEE Transactions on Computers
Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Scheduling Tasks with Nonuniform Deadlines on Two Processors
Journal of the ACM (JACM)
Preemptive Scheduling of Uniform Processor Systems
Journal of the ACM (JACM)
Scheduling Independent Tasks with Due Times on a Uniform Processor System
Journal of the ACM (JACM)
Preemptive Scheduling with Release Times, Deadlines, and Due Times
Journal of the ACM (JACM)
Deterministic Processor Scheduling
ACM Computing Surveys (CSUR)
Architecture of the space shuttle primary avionics software system
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Scheduling Dependent Tasks with Different Arrival Times to Meet Deadlines
Proceedings of the International Workshop organized by the Commision of the European Communities on Modelling and Performance Evaluation of Computer Systems
Detection of cycle in real-time system specification
ACM SIGPLAN Notices
A bibliography on garbage collection and related topics
ACM SIGPLAN Notices
Software scheduling in the co-synthesis of reactive real-time systems
DAC '94 Proceedings of the 31st annual Design Automation Conference
A taxonomy of coordination mechanisms used by real-time processes
ACM SIGAda Ada Letters
Building Large, Complex, Distributed Safety-Critical OperatingSystems
Real-Time Systems - Special issue on safety-critical systems
To Schedule or to Execute: Decision Support and PerformanceImplications
Real-Time Systems
Priority Scheduling Versus Pre-Run-Time Scheduling
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Timing driven co-design of networked embedded systems
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
Hardware-Software Partitioning: A Case for Constraint Satisfaction
IEEE Intelligent Systems
IEEE Transactions on Software Engineering
Correction to 'On Satisfying Timing Constraints in Hard-Real-Time Systems' by J. Xu and D.L. Parnas
IEEE Transactions on Software Engineering
Pre-Run-Time Scheduling to Reduce Schedule Length in the FieldBus Environment
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
SASEPA: Simultaneous Allocation and Scheduling with Exclusion and Precedence Relations Algorithm
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems
Proceedings of the tenth international symposium on Hardware/software codesign
Schedulability-driven frame packing for multi-cluster distributed embedded systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Phased development of critical real-time systems in timed CSP
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
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
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Multicycle Polling Scheduling Algorithms for FieldBus Networks
Real-Time Systems
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Design optimization of mixed time/event-triggered distributed embedded systems
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Engineering the usability of visual formalisms: a case study in real time logics
AVI '98 Proceedings of the working conference on Advanced visual interfaces
Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
A formal software synthesis approach for embedded hard real-time systems
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Schedulability-driven frame packing for multicluster distributed embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Analysis and optimization of distributed real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Delay composition in preemptive and non-preemptive real-time pipelines
Real-Time Systems
An earlier time for inserting and/or accelerating tasks
Real-Time Systems
Proposal and evaluation of dynamic assignment of priorities in CAN
Computer Standards & Interfaces
Static scheduling with interruption costs for computer vision applications
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
Online Controller Area Network message scheduling: analysis, implementation and applications
International Journal of Systems, Control and Communications
ACO approach with learning for preemptive scheduling of real-time tasks
International Journal of Bio-Inspired Computation
Embedded Systems Design
PATMOS'05 Proceedings of the 15th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks
Proceedings of the 27th Annual ACM Symposium on Applied Computing
The design of the TAO real-time object request broker
Computer Communications
Synthesis of communication schedules for TTEthernet-based mixed-criticality systems
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Efficient computation of quantitative properties of real-time preemptive systems
International Journal of Critical Computer-Based Systems
Expert Systems with Applications: An International Journal
| Hi-index | 0.01 |
The authors explain why pre-run-time scheduling is essential if one wishes to guarantee that timing constraints will be satisfied in a large complex hard-real-time system. They examine some of the major concerns in pre-run-time scheduling and consider what formulations of mathematical scheduling problems can be used to address those concerns. This work provides a guide to the available algorithms.