Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
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
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Distributed Scheduling of Tasks with Deadlines and Resource Requirements
IEEE Transactions on Computers
Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations
IEEE Transactions on Software Engineering
HARTS: A Distributed Real-Time Architecture
Computer - Special issue on real-time systems
Building Flexible Real-Time Systems Using the Flex Language
Computer - Special issue on real-time systems
Stack-based scheduling for realtime processes
Real-Time Systems
Runtime monitoring of timing constraints in distributed real-time systems
Real-Time Systems - Special issue on responsive computer systems
Improved algorithms for synchronizing computer network clocks
IEEE/ACM Transactions on Networking (TON)
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Scheduling in distributed soft real-time systems with autonomous components
Scheduling in distributed soft real-time systems with autonomous components
Strategic directions in real-time and embedded systems
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Mechanisms for detecting and handling timing errors
Communications of the ACM
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems
IEEE Transactions on Software Engineering
Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems
IEEE Transactions on Computers
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Resource Management Middleware for Dynamic, DependableReal-Time Systems
Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
The Spring Kernel: A New Paradigm for Real-Time Systems
IEEE Software
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
TOMAL-a high-level programming language for microprocessor process control applications
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
Probabilistic performance guarantee for real-time tasks with varying computation times
RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
A Dynamic Real-time Benchmark for Assessment of QoS and Resource Management Technology
RTAS '99 Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium
The Specification and Schedulability Analysis of Real-Time Systems using ACSR
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Operating system extensions for dynamic real-time applications
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Bounding completion times of jobs with arbitrary release times and variable execution times
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
A resource allocation model for QoS management
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
On adaptive resource allocation for complex real-time applications
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
A Dynamic Quality of Service Middleware Agent for Mediating Application Resource Usage
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Specification and Modeling of Dynamic, Distributed Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Statistical Rate Monotonic Scheduling
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Large-Grain, ynamic Control System Architectures
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Best-effort decision-making for real-time scheduling
Best-effort decision-making for real-time scheduling
Scheduling dependent real-time activities
Scheduling dependent real-time activities
Modeling and analysis of complex, dynamic real-time systems
Modeling and analysis of complex, dynamic real-time systems
IEEE Transactions on Computers
Journal of Systems and Software
DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems
IEEE Transactions on Computers
Journal of Parallel and Distributed Computing
Fast, Best-Effort Real-Time Scheduling Algorithms
IEEE Transactions on Computers
Proactive QoS negotiation in asynchronous real-time distributed systems
Journal of Systems and Software - Special issue: Performance modeling and analysis of computer systems and networks
Efficiently tolerating failures in asynchronous real-time distributed systems
Journal of Systems Architecture: the EUROMICRO Journal
Middleware support for internetware: a service perspective
Proceedings of the Second Asia-Pacific Symposium on Internetware
Distributed real-time computing with harness
PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Hi-index | 0.01 |
This paper presents an architectural framework and algorithms for engineering dynamic real-time distributed systems using commercial off-the-shelf technologies. In the proposed architecture, a real-time system application is developed in a general-purpose programming language. Further, the architectural-level description of the system such as composition and interconnections of application software and hardware, and the operational requirements of the system such as timeliness and survivability are specified in a system description language. The specification of the system is automatically translated into an intermediate representation (IR) that models the system in a platform-independent manner. The IR is augmented with dynamic measurements of the system by a language runtime system to produce a dynamic system model. The dynamic model is used by resource management middleware strategies to perform resource management that achieves the timeliness and survivability requirements. The middleware techniques achieve the timeliness and survivability requirements through runtime monitoring and failure detection, diagnosis, and dynamic resource allocation. We present two classes of algorithms驴predictive and availability-based驴for performing resource allocation. To validate the viability of the approach, we use a real-time benchmark application that functionally approximates dynamic real-time command and control systems. The benchmark is specified in the system description language and the effectiveness of the architecture in achieving its design goals is examined through a set of experiments. The experimental characterizations illustrate that the middleware is able to achieve the desired timeliness requirements during a number of load situations. Furthermore, the results indicate that availability-based allocation algorithms perform resource allocation less frequently, whereas the predictive algorithms give a better steady state performance for the application.