6 research outputs found
A study of the relationship between the performance and dependability of a fault-tolerant computer
This thesis studies the relationship by creating a tool (FTAPE) that integrates a high stress workload generator with fault injection and by using the tool to evaluate system performance under error conditions. The workloads are comprised of processes which are formed from atomic components that represent CPU, memory, and I/O activity. The fault injector is software-implemented and is capable of injecting any memory addressable location, including special registers and caches. This tool has been used to study a Tandem Integrity S2 Computer. Workloads with varying numbers of processes and varying compositions of CPU, memory, and I/O activity are first characterized in terms of performance. Then faults are injected into these workloads. The results show that as the number of concurrent processes increases, the mean fault latency initially increases due to increased contention for the CPU. However, for even higher numbers of processes (less than 3 processes), the mean latency decreases because long latency faults are paged out before they can be activated
Center For Distributed Interactive Simulation Testing: Volume I Technical Proposal
Proposal for creating a Center for distributed interactive simulation testing which would provide facilities and capabilities for conducting conformance, interoperability and performance testing for the evolving Department of Defense-sponsored Military Standard for Distributed Interactive Simulation
Extended Abstracts: PMCCS3: Third International Workshop on Performability Modeling of Computer and Communication Systems
Coordinated Science Laboratory was formerly known as Control Systems LaboratoryThe pages of the front matter that are missing from the PDF were blank
Entwurfsbegleitende Leistungsanalyse für SDL-basiertes Design multimedialer Internet-Transportsysteme
Neben der funktionalen Korrektheit von komplexen Kommunikationssystemen spielt
eine ausreichende Performance dieser Systeme eine immer wichtigere Rolle.
Dabei ist es notwendig, Performance-Aspekte bereits in frühen Entwurfsphasen und nicht
erst nach der Implementierung der Systeme zu berücksichtigen.
Die vorliegende Arbeit präsentiert eine Methodik zur entwurfsbegleitenden,
modellgestützten Leistungsanalyse von Kommunikationsprotokollen,
die mit Hilfe der Sprache SDL formal spezifiziert wurden.
Die vorgestellte Methodik verwendet dazu Beschreibungsmechanismen, Verfahren und Werkzeuge,
die bereits im Entwurfsprozeß dieser Systeme verwendet werden.
Für die wichtigsten Implementierungsansätze von Kommunikationsprotokollen werden
Performance-Bausteine vorgestellt und deren Verwendung erläutert.
Die Tragfähigkeit der entwickelten Methodik wird durch eine große Fallstudie im
Kontext von Reservierungsprotokollen zur Unterstützung von
Multimedia-Anwendungen im Internet demonstriert.
Dabei werden nicht nur die informellen Angaben der vorhandenen RFCs in
formale SDL-Beschreibungen umgesetzt, sondern auch als existent vorausgesetzte
Ressource-Management-Funktionen entwickelt und analysiert. Die vorliegende Arbeit
schließt so die bisher bestehende Lücke im SDL-basierten Entwurfsprozeß verteilter
reaktiver Systeme und ermöglicht die modellgestützte Betrachtung von Performance-Aspekten
in den frühen Phasen des Entwurfsprozesses