Dependability modelling in a prototype development framework

Author

Bass, J.M. ; Metge, S. ; Browne, A. ; Croll, P.R. ; Fleming, P.J.

Author_Institution

Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK

fYear

1995

fDate

27-30 June 1995

Firstpage

131

Lastpage

136

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.<>

Keywords

control engineering; control system analysis computing; control systems; fault tolerant computing; formal specification; real-time systems; Development Framework; SURF-2; dependability modelling; dependability modelling tool; evaluation based design approach; fault tolerant mechanisms; graphical control engineering notation; hard real time constraints; highly automatic translation; prototype development framework; software demonstration; specification; stringent reliability requirements; Application software; Automatic control; Computational modeling; Control engineering; Control systems; Design engineering; Prototypes; Real time systems; Software engineering; Time factors;

fLanguage

English

Publisher

ieee

Conference_Titel

Fault-Tolerant Computing, 1995. FTCS-25. Digest of Papers., Twenty-Fifth International Symposium on

Conference_Location

Pasadena, CA, USA

Print_ISBN

0-8186-7079-7

Type

conf

DOI

10.1109/FTCS.1995.466990

Filename

466990