Synthesis and simulation of reprogrammable control units from hierarchical specifications
Autor(a) principal: | |
---|---|
Data de Publicação: | 2000 |
Outros Autores: | , |
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 |