RNet: a hard real-time distributed programming system
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Load sharing in soft real-time distributed computer systems
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Self-timing programs and the quantum scheduler
Communications of the ACM
An Open Environment for Real-Time Applications
Real-Time Systems
To Schedule or to Execute: Decision Support and PerformanceImplications
Real-Time Systems
Real-Time Systems
Optimal rate-based scheduling on multiprocessors
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
Real-Time Systems
Dynamic Scheduling of Real-Time Tasks, by Assignment
IEEE Concurrency
On the Complexity of Scheduling Conditional Real-Time Code
WADS '01 Proceedings of the 7th International Workshop on Algorithms and Data Structures
Rate-Based Resource Allocation Models for Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Exact and Efficient Analysis of Schedulability in Fixed-Packet Networks: A Generic Approach
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Robustness Results Concerning EDF Scheduling upon Uniform Multiprocessors
IEEE Transactions on Computers
A Dynamic Voltage Scaling Algorithm for Sporadic Tasks
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
A Task Model to Reduce Control Delays
Real-Time Systems
Task Reweighting on Multiprocessors: Efficiency versus Accuracy
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Global Control of Robotic Highway Safety Markers: A Real-time Solution
Real-Time Systems
Optimal rate-based scheduling on multiprocessors
Journal of Computer and System Sciences
Multiprocessor fixed-priority scheduling with restricted interprocessor migrations
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
The partitioned dynamic-priority scheduling of sporadic task systems
Real-Time Systems
Schedulability analysis of global EDF
Real-Time Systems
Deadline Monotonic Scheduling on Uniform Multiprocessors
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Power saving and fault-tolerance in real-time critical embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Resource holding times: computation and optimization
Real-Time Systems
Optimal RM scheduling for simply periodic tasks on uniform multiprocessors
Proceedings of the 2009 International Conference on Hybrid Information Technology
Global deadline-monotonic scheduling of arbitrary-deadline sporadic task systems
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Global fixed-priority scheduling of arbitrary-deadline sporadic task systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
A framework for flexible scheduling in the RTSJ
ACM Transactions on Embedded Computing Systems (TECS)
Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Greedy reclamation of unused bandwidth constant-bandwidth servers
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Multiprocessor schedulability analyser
Proceedings of the 2011 ACM Symposium on Applied Computing
Design and implementation of a multi-core crypto-processor for software defined radios
ARC'11 Proceedings of the 7th international conference on Reconfigurable computing: architectures, tools and applications
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Timing faults and mixed criticality systems
Dependable and Historic Computing
Proceedings of the tenth ACM international conference on Embedded software
A framework accommodating categorized multiprocessor real-time scheduling in the RTSJ
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Semantics-preserving implementation of multirate mixed-criticality synchronous programs
Proceedings of the 20th International Conference on Real-Time and Network Systems
Reducing the gap between design and scheduling
Proceedings of the 20th International Conference on Real-Time and Network Systems
An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform
International Journal of Grid and Utility Computing
Comparative analysis of real time resource access control protocols using UML 2.0
ACM SIGSOFT Software Engineering Notes
Best-case response times and jitter analysis of real-time tasks with arbitrary deadlines
Proceedings of the 21st International conference on Real-Time Networks and Systems
Fixed-priority scheduling of dual-criticality systems
Proceedings of the 21st International conference on Real-Time Networks and Systems
Bandwidth allocation for fixed-priority-scheduled compositional real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.02 |
Software designed to function in a hard-real-time environment where strict timing constraints must be met often entails implicit assumptions about a programming language and the underlying system which supports it. Programs which are logically correct, i.e., they implement the intended algorithms, may not function correctly if their assumed timing characteristics of the software or if the expressible timing characteristics cannot be verified before run time. For distributed systems in particular, the software must be tailored to a myriad of implementation parameters, e.g., communication bandwidth, thus rendering subsequent modifications hazardous. Our research investigates the basic problems in automating the design and maintenance of hard real-time software. After examining the limitations of the traditional approach to real-time software design via process-based models, we shall provide a graph-based computation model which is more suitable for expressing the computation requirements of the real-time environment. This model is an extension of CONSORT (Control Structure Optimized for Real-Time), an experimental software design system which has been implemented to generate process control application programs from block diagram schemata. While our graph-based model is abstract, it can serve as a useful intermediate representation between textual requirements specifications and target application programs. Using the graph-based model, the complexity of the relevant resource allocation problems for meeting stringent timing constraints is investigated.