Synthesis and simulation of reprogrammable control units from hierarchical specifications

Detalhes bibliográficos
Autor(a) principal: Rocha, António Manuel Adrego da
Data de Publicação: 2000
Outros Autores: Sklyarov, Valery, Ferrari, António
Tipo de documento: Artigo
Idioma: eng
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/18531
Resumo: Finite state machines (FSM) have been a topic of great importance in the last five decades and have been used ti specify and implement control units. Due to the increasing complexity of control units and since the FSM model does not explicitly support hierarchy and concurrency, new state-based models with hieararchical and concurrent constructions were proposed in order to overcome the limitations of conventional FSM model and allowing the specification of complex control units in a top-down manner. (...)
id RCAP_61a86d146dfb89e2f5d5654e23360f9f
oai_identifier_str oai:proa.ua.pt:article/18531
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 Synthesis and simulation of reprogrammable control units from hierarchical specificationsFinite state machines (FSM) have been a topic of great importance in the last five decades and have been used ti specify and implement control units. Due to the increasing complexity of control units and since the FSM model does not explicitly support hierarchy and concurrency, new state-based models with hieararchical and concurrent constructions were proposed in order to overcome the limitations of conventional FSM model and allowing the specification of complex control units in a top-down manner. (...)As máquinas finitas de estados (FSM) têm sido usadas para especificar e implementar unidades de controlo e têm sido um assunto de grande importância nas últimas cinco décadas. Devido ao aumento da complexidade das unidades de controlo e uma vez que o modelo FSM não permite descrições hierárquicas e concorrentes, novos modelos formais que suportam hierarquia e concorrência têm sido propostos com o objectivo de ultrapassar as limitações do modelo FSM e que permitem a especificação de unidades de controlo complexas usando uma metodologia de decomposição hierarquizada.(...)UA Editora2000-01-01T00:00:00Zdoctoral thesisdoctoral thesisinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://proa.ua.pt/index.php/revdeti/article/view/18531oai:proa.ua.pt:article/18531Eletrónica e Telecomunicações; Vol 2 No 7 (2000); 928-929Eletrónica e Telecomunicações; vol. 2 n.º 7 (2000); 928-9292182-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:RCAAPenghttps://proa.ua.pt/index.php/revdeti/article/view/18531https://proa.ua.pt/index.php/revdeti/article/view/18531/13380https://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessRocha, António Manuel Adrego daSklyarov, ValeryFerrari, António2022-09-26T11:00:28Zoai:proa.ua.pt:article/18531Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T16:08:36.333064Repositó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 Synthesis and simulation of reprogrammable control units from hierarchical specifications
title Synthesis and simulation of reprogrammable control units from hierarchical specifications
spellingShingle Synthesis and simulation of reprogrammable control units from hierarchical specifications
Rocha, António Manuel Adrego da
title_short Synthesis and simulation of reprogrammable control units from hierarchical specifications
title_full Synthesis and simulation of reprogrammable control units from hierarchical specifications
title_fullStr Synthesis and simulation of reprogrammable control units from hierarchical specifications
title_full_unstemmed Synthesis and simulation of reprogrammable control units from hierarchical specifications
title_sort Synthesis and simulation of reprogrammable control units from hierarchical specifications
author Rocha, António Manuel Adrego da
author_facet Rocha, António Manuel Adrego da
Sklyarov, Valery
Ferrari, António
author_role author
author2 Sklyarov, Valery
Ferrari, António
author2_role author
author
dc.contributor.author.fl_str_mv Rocha, António Manuel Adrego da
Sklyarov, Valery
Ferrari, António
description Finite state machines (FSM) have been a topic of great importance in the last five decades and have been used ti specify and implement control units. Due to the increasing complexity of control units and since the FSM model does not explicitly support hierarchy and concurrency, new state-based models with hieararchical and concurrent constructions were proposed in order to overcome the limitations of conventional FSM model and allowing the specification of complex control units in a top-down manner. (...)
publishDate 2000
dc.date.none.fl_str_mv 2000-01-01T00:00:00Z
dc.type.driver.fl_str_mv doctoral thesis
doctoral thesis
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 https://proa.ua.pt/index.php/revdeti/article/view/18531
oai:proa.ua.pt:article/18531
url https://proa.ua.pt/index.php/revdeti/article/view/18531
identifier_str_mv oai:proa.ua.pt:article/18531
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv https://proa.ua.pt/index.php/revdeti/article/view/18531
https://proa.ua.pt/index.php/revdeti/article/view/18531/13380
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 2 No 7 (2000); 928-929
Eletrónica e Telecomunicações; vol. 2 n.º 7 (2000); 928-929
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_ 1799130543645786112

Registros relacionados