Mostra el registre d'ítem simple
Hierarchical object-oriented modeling of fault-tolerant computer systems
dc.contributor.author | Carrasco, Juan A. |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica |
dc.date.accessioned | 2013-08-01T10:26:18Z |
dc.date.available | 2013-11-26T13:11:44Z |
dc.date.created | 1991 |
dc.date.issued | 1991 |
dc.identifier.citation | Carrasco, J. Hierarchical object-oriented modeling of fault-tolerant computer systems. A: 5th IEEE Annual European Computer Conf.. "Proc. 5th IEEE Annual European Computer Conf.". 1991, p. 452-456. |
dc.identifier.uri | http://hdl.handle.net/2117/20063 |
dc.description.abstract | A hierarchical, object-oriented modeling language for the specification of dependability models for complex fault-tolerant computer systems is overviewed. The language incorporates the hierarchical notions of cluster, operational mode and configuration and borrows from object-oriented programming the concepts of class, parameterization, and instantiation. These features together result in a highly expressive environment allowing the concise specification of sophisticated dependability models for complex systems. In addition, the language supports the declaration of symmetries that systems may exhibit at levels higher than the component level. These symmetries can be used to automatically generate lumped state-level models of significantly reduced size in relation to the state-level models which would be generated from a flat, component-level description of the system. |
dc.format.extent | 5 p. |
dc.language.iso | eng |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Estadística matemàtica |
dc.subject.lcsh | Fault-tolerant computing |
dc.title | Hierarchical object-oriented modeling of fault-tolerant computer systems |
dc.type | Conference report |
dc.subject.lemac | Tolerància als errors (Informàtica) |
dc.contributor.group | Universitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat |
dc.rights.access | Open Access |
local.identifier.drac | 2345979 |
dc.description.version | Postprint (published version) |
local.citation.author | Carrasco, J. |
local.citation.contributor | 5th IEEE Annual European Computer Conf. |
local.citation.publicationName | Proc. 5th IEEE Annual European Computer Conf. |
local.citation.startingPage | 452 |
local.citation.endingPage | 456 |