A modeling methodology for hierarchical control system and its aplication
Autor(a) principal: | |
---|---|
Data de Publicação: | 2005 |
Outros Autores: | , |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Journal of the Brazilian Computer Society |
Texto Completo: | http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002005000100006 |
Resumo: | Current and future computerized systems and infrastructures are going to be based on the layering of different systems, designed at different times, with different technologies and components and difficult to integrate. Control systems and resource management systems are increasingly employed in such large and heterogeneous environment as a parallel infrastructure to allow an efficient, dependable and scalable usage of the system components. System complexity comes out to be a paramount challenge to solve from a number of different viewpoints, including dependability modeling and evaluation. Key directions to deal with system complexity are abstraction and hierarchical structuring of the system functionalities. This paper addresses the issue of an efficient dependability evaluation by a model-based approach of hierarchical control and resource management systems. We exploited the characteristics of this specific, but important, class of systems and derived a modeling methodology that is not only directed to build models in a compositional way, but it also includes some capabilities to reduce their solution complexity. The modeling methodology and the resolution technique are then applied to a case study consisting of a resource management system developed in the context of the ongoing European project CAUTION++. The results obtained are useful to understand the impact of several system component factors on the dependability of the overall system instance. |
id |
UFRGS-28_cbf800cc981e21ba92b15a356e12b214 |
---|---|
oai_identifier_str |
oai:scielo:S0104-65002005000100006 |
network_acronym_str |
UFRGS-28 |
network_name_str |
Journal of the Brazilian Computer Society |
repository_id_str |
|
spelling |
A modeling methodology for hierarchical control system and its aplicationModeling MethodologyQuality of ServiceModular/Hierarchical ModelingPetri NetsValidationControl Systems/InfrastructuresCurrent and future computerized systems and infrastructures are going to be based on the layering of different systems, designed at different times, with different technologies and components and difficult to integrate. Control systems and resource management systems are increasingly employed in such large and heterogeneous environment as a parallel infrastructure to allow an efficient, dependable and scalable usage of the system components. System complexity comes out to be a paramount challenge to solve from a number of different viewpoints, including dependability modeling and evaluation. Key directions to deal with system complexity are abstraction and hierarchical structuring of the system functionalities. This paper addresses the issue of an efficient dependability evaluation by a model-based approach of hierarchical control and resource management systems. We exploited the characteristics of this specific, but important, class of systems and derived a modeling methodology that is not only directed to build models in a compositional way, but it also includes some capabilities to reduce their solution complexity. The modeling methodology and the resolution technique are then applied to a case study consisting of a resource management system developed in the context of the ongoing European project CAUTION++. The results obtained are useful to understand the impact of several system component factors on the dependability of the overall system instance.Sociedade Brasileira de Computação2005-04-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002005000100006Journal of the Brazilian Computer Society v.10 n.3 2005reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1007/BF03192366info:eu-repo/semantics/openAccessLollini,PaoloBondavalli,AndreaDi Giandomenico,Felicitaeng2010-05-21T00:00:00Zoai:scielo:S0104-65002005000100006Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:2010-05-21T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false |
dc.title.none.fl_str_mv |
A modeling methodology for hierarchical control system and its aplication |
title |
A modeling methodology for hierarchical control system and its aplication |
spellingShingle |
A modeling methodology for hierarchical control system and its aplication Lollini,Paolo Modeling Methodology Quality of Service Modular/Hierarchical Modeling Petri Nets Validation Control Systems/Infrastructures |
title_short |
A modeling methodology for hierarchical control system and its aplication |
title_full |
A modeling methodology for hierarchical control system and its aplication |
title_fullStr |
A modeling methodology for hierarchical control system and its aplication |
title_full_unstemmed |
A modeling methodology for hierarchical control system and its aplication |
title_sort |
A modeling methodology for hierarchical control system and its aplication |
author |
Lollini,Paolo |
author_facet |
Lollini,Paolo Bondavalli,Andrea Di Giandomenico,Felicita |
author_role |
author |
author2 |
Bondavalli,Andrea Di Giandomenico,Felicita |
author2_role |
author author |
dc.contributor.author.fl_str_mv |
Lollini,Paolo Bondavalli,Andrea Di Giandomenico,Felicita |
dc.subject.por.fl_str_mv |
Modeling Methodology Quality of Service Modular/Hierarchical Modeling Petri Nets Validation Control Systems/Infrastructures |
topic |
Modeling Methodology Quality of Service Modular/Hierarchical Modeling Petri Nets Validation Control Systems/Infrastructures |
description |
Current and future computerized systems and infrastructures are going to be based on the layering of different systems, designed at different times, with different technologies and components and difficult to integrate. Control systems and resource management systems are increasingly employed in such large and heterogeneous environment as a parallel infrastructure to allow an efficient, dependable and scalable usage of the system components. System complexity comes out to be a paramount challenge to solve from a number of different viewpoints, including dependability modeling and evaluation. Key directions to deal with system complexity are abstraction and hierarchical structuring of the system functionalities. This paper addresses the issue of an efficient dependability evaluation by a model-based approach of hierarchical control and resource management systems. We exploited the characteristics of this specific, but important, class of systems and derived a modeling methodology that is not only directed to build models in a compositional way, but it also includes some capabilities to reduce their solution complexity. The modeling methodology and the resolution technique are then applied to a case study consisting of a resource management system developed in the context of the ongoing European project CAUTION++. The results obtained are useful to understand the impact of several system component factors on the dependability of the overall system instance. |
publishDate |
2005 |
dc.date.none.fl_str_mv |
2005-04-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002005000100006 |
url |
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002005000100006 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
10.1007/BF03192366 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
text/html |
dc.publisher.none.fl_str_mv |
Sociedade Brasileira de Computação |
publisher.none.fl_str_mv |
Sociedade Brasileira de Computação |
dc.source.none.fl_str_mv |
Journal of the Brazilian Computer Society v.10 n.3 2005 reponame:Journal of the Brazilian Computer Society instname:Sociedade Brasileira de Computação (SBC) instacron:UFRGS |
instname_str |
Sociedade Brasileira de Computação (SBC) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Journal of the Brazilian Computer Society |
collection |
Journal of the Brazilian Computer Society |
repository.name.fl_str_mv |
Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC) |
repository.mail.fl_str_mv |
jbcs@icmc.sc.usp.br |
_version_ |
1754734669888225280 |