System-level modeling in the ADEPT environment of a distributed computer system for real-time applications

Authors:
Affiliations:
Venue:
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Year:
1995

Citing 0
Cited 8

Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection

IEEE Transactions on Computers
Performance and dependability evaluation of scalable massively parallel computer systems with conjoint simulation

ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on Web-based modeling and simulation
Hierarchical Simulation Approach to Accurate Fault Modeling for System Dependability Evaluation

IEEE Transactions on Software Engineering
Teraflops Supercomputer: Architecture and Validation of the Fault Tolerance Mechanisms

IEEE Transactions on Computers
Validation-Based Development of Dependable Systems

IEEE Micro
Assessing Error Detection Coverage by Simulated Fault Injection

EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models

SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Experimental evaluation

FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing

Quantified Score

Hi-index	0.01

Visualization

Abstract

Abstract: The design of complex systems in safety-critical applications requires an integrated design and assessment environment. The paper presents the ADEPT environment for designing dependable systems from concept to implementation. An application of ADEPT to modeling a distributed computer system used in real-time embedded train control applications is described. Results from a performance analysis of the distributed computer system model are illustrated. Dependability results are also presented for a second example application.