Specification, Optimization and Testing of Hierarchical Control Algorithms

Detalhes bibliográficos
Autor(a) principal: Melo, Andreia Barbosa de
Data de Publicação: 2001
Outros Autores: Sklyarov, Valery
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://proa.ua.pt/index.php/revdeti/article/view/18270
Resumo: This work is devoted to the specification of control algorithms, their verification, optimisation, conversion to VHDL (VHSIC Hardware Description Language) code and real-time debugging. The behaviour of control algorithms is described by HGSs (Hierarchical Graph Schemes), which is a formal graphical specification language similar to flow charts. This method supports hierarchy and parallelism and allows building control algorithms using a notation that is independent of the circuit implementation model. Within the scope of this work, a software tool, called GraphBuilder, was developed. It consists of an integrated environment for specification, experimentation and test of hierarchical specifications. (...)
id RCAP_9720c33dc90af0069133c94bf27fd9b8
oai_identifier_str oai:proa.ua.pt:article/18270
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Specification, Optimization and Testing of Hierarchical Control AlgorithmsEspecificação, optimização e teste de algoritmos de controlo hierárquicosThis work is devoted to the specification of control algorithms, their verification, optimisation, conversion to VHDL (VHSIC Hardware Description Language) code and real-time debugging. The behaviour of control algorithms is described by HGSs (Hierarchical Graph Schemes), which is a formal graphical specification language similar to flow charts. This method supports hierarchy and parallelism and allows building control algorithms using a notation that is independent of the circuit implementation model. Within the scope of this work, a software tool, called GraphBuilder, was developed. It consists of an integrated environment for specification, experimentation and test of hierarchical specifications. (...)Este trabalho incide sobre a especificação de algoritmos de controlo, a sua verificação, optimização, conversão em código VHDL sintetisável (VHSIC Hardware Description Language) e depuração. O comportamento dos algoritmos de controlo é especificado utilizando Esquemas de Grafos Hierárquicos (HGSs – Hierarchical Graph Schemes). Esta é uma linguagem gráfica formal de especificação que se baseia na utilização de nodos ligados entre si de forma semelhante a um fluxograma. Este método de especificação suporta hierarquia e permite construir algoritmos utilizando uma notação que é independente do modelo de implementação do circuito. No âmbito deste trabalho foi construída uma ferramenta de software, chamada GraphBuilder, que consiste num ambiente integrado para especificação, optimização e teste de algoritmos de controlo hierárquicos. (...)UA Editora2001-01-01T00:00:00Zmaster thesisinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://proa.ua.pt/index.php/revdeti/article/view/18270oai:proa.ua.pt:article/18270Eletrónica e Telecomunicações; Vol 3 No 3 (2001); 264-264Eletrónica e Telecomunicações; vol. 3 n.º 3 (2001); 264-2642182-97721645-0493reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAPporhttps://proa.ua.pt/index.php/revdeti/article/view/18270https://proa.ua.pt/index.php/revdeti/article/view/18270/13167https://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessMelo, Andreia Barbosa deSklyarov, Valery2022-09-26T11:00:25Zoai:proa.ua.pt:article/18270Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T16:08:33.410413Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Specification, Optimization and Testing of Hierarchical Control Algorithms
Especificação, optimização e teste de algoritmos de controlo hierárquicos
title Specification, Optimization and Testing of Hierarchical Control Algorithms
spellingShingle Specification, Optimization and Testing of Hierarchical Control Algorithms
Melo, Andreia Barbosa de
title_short Specification, Optimization and Testing of Hierarchical Control Algorithms
title_full Specification, Optimization and Testing of Hierarchical Control Algorithms
title_fullStr Specification, Optimization and Testing of Hierarchical Control Algorithms
title_full_unstemmed Specification, Optimization and Testing of Hierarchical Control Algorithms
title_sort Specification, Optimization and Testing of Hierarchical Control Algorithms
author Melo, Andreia Barbosa de
author_facet Melo, Andreia Barbosa de
Sklyarov, Valery
author_role author
author2 Sklyarov, Valery
author2_role author
dc.contributor.author.fl_str_mv Melo, Andreia Barbosa de
Sklyarov, Valery
description This work is devoted to the specification of control algorithms, their verification, optimisation, conversion to VHDL (VHSIC Hardware Description Language) code and real-time debugging. The behaviour of control algorithms is described by HGSs (Hierarchical Graph Schemes), which is a formal graphical specification language similar to flow charts. This method supports hierarchy and parallelism and allows building control algorithms using a notation that is independent of the circuit implementation model. Within the scope of this work, a software tool, called GraphBuilder, was developed. It consists of an integrated environment for specification, experimentation and test of hierarchical specifications. (...)
publishDate 2001
dc.date.none.fl_str_mv 2001-01-01T00:00:00Z
dc.type.driver.fl_str_mv master thesis
info:eu-repo/semantics/article
info:eu-repo/semantics/masterThesis
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://proa.ua.pt/index.php/revdeti/article/view/18270
oai:proa.ua.pt:article/18270
url https://proa.ua.pt/index.php/revdeti/article/view/18270
identifier_str_mv oai:proa.ua.pt:article/18270
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://proa.ua.pt/index.php/revdeti/article/view/18270
https://proa.ua.pt/index.php/revdeti/article/view/18270/13167
dc.rights.driver.fl_str_mv https://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv UA Editora
publisher.none.fl_str_mv UA Editora
dc.source.none.fl_str_mv Eletrónica e Telecomunicações; Vol 3 No 3 (2001); 264-264
Eletrónica e Telecomunicações; vol. 3 n.º 3 (2001); 264-264
2182-9772
1645-0493
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799130543011397632