Using mappings to prove timing properties
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Predictive deadline multi-processing
ACM SIGOPS Operating Systems Review
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
High availability in a real-time system
ACM SIGOPS Operating Systems Review
EOS: an object-oriented operating system for embedded real-time applications
CSC '93 Proceedings of the 1993 ACM conference on Computer science
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
Automated Meta-Control for Adaptable Real-Time Software
Real-Time Systems
A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis
IEEE Transactions on Parallel and Distributed Systems
EMERALDS: a small-memory real-time microkernel
Proceedings of the seventeenth ACM symposium on Operating systems principles
IEEE Transactions on Parallel and Distributed Systems
EMERALDS: A Small-Memory Real-Time Microkernel
IEEE Transactions on Software Engineering
High availability in a real-time system
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Constrained-Latency Storage Access
Computer
Issues in Building Dynamic Real-Time Systems
IEEE Software
Compiler Support for Object-Oriented Real-Time Software
IEEE Software
Resource Reclaiming in Multiprocessor Real-Time Systems
IEEE Transactions on Parallel and Distributed Systems
A New Fault-Tolerant Technique for Improving the Schedulability in Multiprocessor Real-time Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Efficient overloading techniques for primary-backup scheduling in real-time systems
Journal of Parallel and Distributed Computing
Real-Time Systems
Adaptive Resource Management in Peer-to-Peer Middleware
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Using mappings to prove timing properties
Distributed Computing
An adaptive scheme for fault-tolerant scheduling of soft real-time tasks in multiprocessor systems
Journal of Parallel and Distributed Computing
Engineering Real-Time Robotics Software Systems Using CLEOPATRA
Integrated Computer-Aided Engineering
Real-time Task Scheduling Using Extended Overloading Technique for Multiprocessor Systems
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
IEICE - Transactions on Information and Systems
Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Dynamic scheduling of distributed method invocations
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
SParK: safety partition kernel for integrated real-time systems
From active data management to event-based systems and more
Fault-tolerant scheduling in homogeneous real-time systems
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Next generation real-time systems will require greater flexibility and predictability than is commonly found in today's systems. These future systems include the space station, integrated vision/robotics/AI systems, collections of humans/robots coordinating to achieve common objectives (usually in hazardous environments such as undersea exploration or chemical plants), and various command and control applications. The Spring kernel is a research oriented kernel designed to form the basis of a flexible, hard real-time operating system for such applications. Our approach challenges several basic assumptions upon which most current real-time operating systems are built and subsequently advocates a new paradigm based on the notion of predictability and a method for on-line dynamic guarantees of deadlines. The Spring kernel is being implemented on a network of (68020 based) multiprocessors called SpringNet.