Dependability Modelling in a Prototype Development Framework

Authors:
S. Metge;A. Browne
Affiliations:
-;-
Venue:
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Year:
1995

Citing 5
Cited 0

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
Communicating sequential processes

Communicating sequential processes
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems

IEEE Transactions on Computers
Transputers in Real-Time Control

Transputers in Real-Time Control
Automating the Development of Distributed Control Software

IEEE Parallel & Distributed Technology: Systems & Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: The Development Framework provides a highly automatic translation from a specification to an implementation. The specification is in a popular, graphical control engineering notation typically representing a system with stringent reliability requirements and hard real time constraints. An interface has been constructed between the Development Framework and the commercially available dependability modelling tool, SURF-2. This tool is designed to support an evaluation based design approach. Multiple design solutions can be compared to assess the implications of design decisions on the dependability of the system under development. The software demonstration will show how the interface between the Development Framework and SURF-2 is used to model the inclusion of selected fault tolerant mechanisms in the system under development.