Journal ArticleDOI
A distributed real-time operating system
Reads0
Chats0
TLDR
Two versions of the HARTS operating system, which is based on Software Components Group's pSOS uniprocessor kernel, are presented and three tools to evaluate the performance and fault tolerance dependability of HARTS hardware and software are described.Abstract:
Two versions of the HARTS operating system, which is based on Software Components Group's pSOS uniprocessor kernel, are presented. In one version, pSOS services are enhanced to provide interprocessor communication and a distributed naming service. In the second version, real-time fault-tolerant communication, including reliable broadcasting, clock synchronization, and group communication are added to the HARTS operating system. Three tools to evaluate the performance and fault tolerance dependability of HARTS hardware and software-a synthetic-workload generator, a monitor, and a fault injector-are described. The generator produces a synthetic workload, the monitor collects the performance data, and the fault injector simulates faulty behavior for further study. Together these tools create a facility that lets the user perform a wide range of experiments. The tools are independent, so they are equally effective separately or together, depending on the requirements. >read more
Citations
More filters
Proceedings ArticleDOI
DOCTOR: an integrated software fault injection environment for distributed real-time systems
TL;DR: An integrated software fault injection environment (DOCTOR) which is capable of generating synthetic workloads under which system dependability is evaluated, injecting various types of faults with different options, and collecting performance and dependability data is presented.
Journal ArticleDOI
Verifying feature models using OWL
TL;DR: A general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement the verification approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies.
Journal ArticleDOI
Fundamental issues in testing distributed real-time systems
TL;DR: This paper examines the fundamental problems that one faces when testing a distributed, hard real-time system and identifies six such fundamental problems: Organization, Observability, Reproducibility, Host/Target Approach, Environment Simulation, and Representativity.
Proceedings ArticleDOI
EMERALDS: a small-memory real-time microkernel
TL;DR: With these new schemes, the overheads of various OS services are reduced 20-40% without compromising any OS functionality.
Proceedings ArticleDOI
Virtual instrumentation: a survey of standards and their interrelation
TL;DR: The ever increasing scale of integration of processing power with instrumentation has opened ways to extend and transform the functionality of instruments in software, i.e. create a virtual instrument, which requires a multi-level definition.
References
More filters
Journal ArticleDOI
Implementing remote procedure calls
TL;DR: The overall structure of the RPC mechanism, the facilities for binding RPC clients, the transport level communication protocol, and some performance measurements are described, including some optimizations used to achieve high performance and to minimize the load on server machines that have many clients.
Book
Implementing remote procedure calls
TL;DR: Remote Procedure Call (RPC) as mentioned in this paper is a high level language for providing communication across a network between programs written in a high-level language, which is similar to the one used in this paper.
Journal ArticleDOI
Virtual cut-through: A new computer communication switching technique
Parviz Kermani,Leonard Kleinrock +1 more
TL;DR: The analysis shows that cut-through switching is superior (and at worst identical) to message switching with respect to the above three performance measures.
Journal ArticleDOI
The x-Kernel: an architecture for implementing network protocols
TL;DR: The authors' experience implementing and evaluation several protocols in the x-Kernel shows that this architecture is general enough to accommodate a wide range of protocols, yet efficient enough to perform competitively with less-structured operating systems.
Journal ArticleDOI
Addressing, routing, and broadcasting in hexagonal mesh multiprocessors
TL;DR: An elegant, distributed routing scheme is developed for wrapped H-meshes so that each node in an H-mesh can compute shortest paths from itself to any other node with a straightforward algorithm of O(1) using the addresses of the source-destination pair only, independent of the network's size.