Specification, Optimization and Testing of Hierarchical Control Algorithms
Autor(a) principal: | |
---|---|
Data de Publicação: | 2001 |
Outros Autores: | |
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 |