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
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
The SGML handbook
How to Integrate Precedence Constraints and Shared Resources in Real-Time Scheduling
IEEE Transactions on Computers
Runtime monitoring of timing constraints in distributed real-time systems
Real-Time Systems - Special issue on responsive computer systems
WindView: a tool for understanding real-time embedded software through system vizualization
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Checking timing constraints in distributed object-oriented programs
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
A modular approach to programming distributed real-time systems
Journal of Parallel and Distributed Computing - Special issue on object-oriented real-time systems
Exploring Expect
Foundations of Real-Time Computing: Scheduling and Resource Management
Foundations of Real-Time Computing: Scheduling and Resource Management
BRISK: A Portable and Flexible Distributed Instrumentation System
IPPS '99/SPDP '99 Proceedings of the 13th International Symposium on Parallel Processing and the 10th Symposium on Parallel and Distributed Processing
A Fast Adaptive Layout Algorithm for Undirected Graphs
GD '94 Proceedings of the DIMACS International Workshop on Graph Drawing
An On-Line Performance Visualization Technology
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
Specification and Modeling of Dynamic, Distributed Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
An Engineering Approach to Decomposing End-to-End Delays on a Distributed Real-Time System
WPDRTS '96 Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
A Compiler-Based Approach to Design and Engineering of Complex Real-Time Systems
ICDCS '99 Proceedings of the 19th IEEE International Conference on Distributed Computing Systems
Kawa: compiling dynamic languages to the Java VM
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
An anatomy of guile, the interface to Tcl/Tk
TCLTK '98 Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3
| Hi-index | 0.00 |
Emerging parallel or distributed, heterogeneous real-time computer systems with many disparate constraints and requirements would benefit from a unifying and comprehensive systems engineering support in the design, testing and deployment phases, which interfaces with a human at a very high level and efficiently handles the system complexity. We present an approach to integration of (1) a compiler- and Constraint Logic Programming-based approach to design and engineering of real-time systems, and (2) an on-line performance analysis and visualization technology. An example distributed real-time system is used to help describe the integrated approach. Details are presented about how the involved technologies are used to help system developers and users achieve better system performance through on-line repair and reconfiguration.