Dependability modelling in a prototype development framework

Autor:	Peter J. Fleming, A.R. Browne, S. Metge, P.R. Croll, Julian M. Bass
Rok vydání:	2002
Předmět:	Software Computer science business.industry Interface (Java) Control system Reliability (computer networking) Formal specification Systems engineering Dependability Fault tolerance business Notation
Zdroj:	FTCS Scopus-Elsevier
DOI:	10.1109/ftcs.1995.466990
Popis:	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. >
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0f22a50946b6096dd81dcb0c0c17c80 https://doi.org/10.1109/ftcs.1995.466990 Zobrazit plný text záznamu