Mostra el registre d'ítem simple

dc.contributor.authorCarrasco, Juan A.
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica
dc.date.accessioned2013-08-01T10:26:18Z
dc.date.available2013-11-26T13:11:44Z
dc.date.created1991
dc.date.issued1991
dc.identifier.citationCarrasco, 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.urihttp://hdl.handle.net/2117/20063
dc.description.abstractA 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.extent5 p.
dc.language.isoeng
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://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.lcshFault-tolerant computing
dc.titleHierarchical object-oriented modeling of fault-tolerant computer systems
dc.typeConference report
dc.subject.lemacTolerància als errors (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat
dc.rights.accessOpen Access
local.identifier.drac2345979
dc.description.versionPostprint (published version)
local.citation.authorCarrasco, J.
local.citation.contributor5th IEEE Annual European Computer Conf.
local.citation.publicationNameProc. 5th IEEE Annual European Computer Conf.
local.citation.startingPage452
local.citation.endingPage456


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple