Simulation of hybrid systems from natural language requirements
Ano de defesa: | 2016 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | eng |
Instituição de defesa: |
Universidade Federal de Pernambuco
|
Programa de Pós-Graduação: |
Programa de Pos Graduacao em Ciencias Contabeis
|
Departamento: |
Não Informado pela instituição
|
País: |
Brasil
|
Palavras-chave em Português: | |
Link de acesso: | https://repositorio.ufpe.br/handle/123456789/24525 |
Resumo: | Despite technological advances in the industry of systems development, testing is still the most commonly used verification method to ensure reliability. Model-based testing (MBT) techniques are principally employed for the purpose of generating test cases from specification models. Contributing to this branch of research an MBT strategy for creating test cases from controlled natural language (CNL) requirements was created, called NATural Language Requirements to TEST Cases (NAT2TEST). The NAT2TEST strategy deals with data-flow reactive systems, a class of embedded systems whose the main feature is to have the inputs and outputs always available as signals. However, there is a demand from the industry to to apply the strategy in the context of hybrid systems. These systems are a fusion of continuous dynamical and discrete dynamical systems, that is, they combine dynamical characteristics from both continuous and discrete worlds. Hybrid systems have received much attention in the last years. The main contribution of this work is to extend the NAT2TEST strategy to deal with hybrid systems. Using the new proposed approach, it is possible to write the requirements of a hybrid system, whose semantics is characterised based on the case grammar theory. Then, a formal representation of the system is built considering a model of hybrid data-flow reactive systems. Finally, to analyse the system behaviour via simulation, a modelling environment for simulation of hybrid systems was used, called Acumen. Thereby, a specification model in Acumen is generated and simulated in this environment. The characteristics of the new approach are exemplified using two examples, one belonging to the electronic field, the DC-DC Boost Converter (BC), and the other belonging to the automotive domain, the Adaptive Cruise Control (ACC). |
id |
UFPE_007aa846cc73719d6f074bbabe4155da |
---|---|
oai_identifier_str |
oai:repositorio.ufpe.br:123456789/24525 |
network_acronym_str |
UFPE |
network_name_str |
Repositório Institucional da UFPE |
repository_id_str |
|
spelling |
OLIVEIRA, Bruno Medeiros dehttp://lattes.cnpq.br/2183580151493396http://lattes.cnpq.br/3977760354511853SAMPAIO, Augusto Cezar AlvesCARVALHO, Gustavo Henrique Porto de2018-05-02T22:01:48Z2018-05-02T22:01:48Z2016-09-05https://repositorio.ufpe.br/handle/123456789/24525Despite technological advances in the industry of systems development, testing is still the most commonly used verification method to ensure reliability. Model-based testing (MBT) techniques are principally employed for the purpose of generating test cases from specification models. Contributing to this branch of research an MBT strategy for creating test cases from controlled natural language (CNL) requirements was created, called NATural Language Requirements to TEST Cases (NAT2TEST). The NAT2TEST strategy deals with data-flow reactive systems, a class of embedded systems whose the main feature is to have the inputs and outputs always available as signals. However, there is a demand from the industry to to apply the strategy in the context of hybrid systems. These systems are a fusion of continuous dynamical and discrete dynamical systems, that is, they combine dynamical characteristics from both continuous and discrete worlds. Hybrid systems have received much attention in the last years. The main contribution of this work is to extend the NAT2TEST strategy to deal with hybrid systems. Using the new proposed approach, it is possible to write the requirements of a hybrid system, whose semantics is characterised based on the case grammar theory. Then, a formal representation of the system is built considering a model of hybrid data-flow reactive systems. Finally, to analyse the system behaviour via simulation, a modelling environment for simulation of hybrid systems was used, called Acumen. Thereby, a specification model in Acumen is generated and simulated in this environment. The characteristics of the new approach are exemplified using two examples, one belonging to the electronic field, the DC-DC Boost Converter (BC), and the other belonging to the automotive domain, the Adaptive Cruise Control (ACC).CAPESApesar dos avanços tecnológicos na indústria de desenvolvimento de sistemas, testes ainda é o método de verificação mais comumente usado para garantir confiabilidade. Técnicas de testes baseadas em modelo (MBT) são empregadas principalmente com a finalidade de geração de casos de testes a patir de modelos da especificação do sistema. Contribuindo para este ramo de pesquisa, foi criada uma estratégia MBT para a criação de casos de teste a partir de uma linguagem natural controlada (CNL), chamada de NAT2TEST. A estratégia NAT2TEST lida com sistemas reativos de fluxo de dados (DFRS), uma classe de sistemas embarcados cuja principal característica é a de terem as entradas e saídas sempre disponíveis como sinais. No entanto, há uma demanda oriunda da indústria para a utilização da estratégia no contexto de sistemas híbridos. Estes sistemas são uma fusão entre comportamentos dinâmicos e discretos, isto é, que combinam características dinâmicas de ambos os mundos, contínuo e discreto. Os sistemas híbridos têm recebido muita atenção nos últimos anos. A principal contribuição deste trabalho é estender a estratégia NAT2TEST para lidar com sistemas híbridos. Utilizando a abordagem proposta, é possível escrever os requisitos de um sistema híbrido, cuja semântica é caracterizada através da teoria de gramática de casos. Em seguida, uma representação formal do sistema é construída considerando um modelo DFRS para sistemas híbridos. Finalmente, para analisar o comportamento do sistema, por meio de simulação, um ambiente de modelagem e simulação de sistemas híbridos foi usado, chamado Acumen. Com isso, a estratégia proposta gera um modelo da especificação em Acumen e esse modelo é simulado no ambiente. As características da nova abordagem foram exemplificadas usando dois exemplos, um pertencente ao o campo eletrônico, o DC-DC Boost Converter (BC), e a outra pertencente ao domínio automobilístico, o Adaptive Cruise Control (ACC).engUniversidade Federal de PernambucoPrograma de Pos Graduacao em Ciencias ContabeisUFPEBrasilAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessEngenharia de softwareEngenharia de requisitosSistemas híbridosSimulation of hybrid systems from natural language requirementsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesismestradoreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILDISSERTAÇÃO Bruno Medeiros de Oliveira.pdf.jpgDISSERTAÇÃO Bruno Medeiros de Oliveira.pdf.jpgGenerated Thumbnailimage/jpeg1282https://repositorio.ufpe.br/bitstream/123456789/24525/5/DISSERTA%c3%87%c3%83O%20Bruno%20Medeiros%20de%20Oliveira.pdf.jpg37d3b121dabda5690f5c04ba32492aadMD55ORIGINALDISSERTAÇÃO Bruno Medeiros de Oliveira.pdfDISSERTAÇÃO Bruno Medeiros de Oliveira.pdfapplication/pdf1530584https://repositorio.ufpe.br/bitstream/123456789/24525/1/DISSERTA%c3%87%c3%83O%20Bruno%20Medeiros%20de%20Oliveira.pdf5c2fbe267a4bd37066d8a8510e517cb9MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-82311https://repositorio.ufpe.br/bitstream/123456789/24525/2/license.txt4b8a02c7f2818eaf00dcf2260dd5eb08MD52TEXTDISSERTAÇÃO Bruno Medeiros de Oliveira.pdf.txtDISSERTAÇÃO Bruno Medeiros de Oliveira.pdf.txtExtracted texttext/plain157798https://repositorio.ufpe.br/bitstream/123456789/24525/3/DISSERTA%c3%87%c3%83O%20Bruno%20Medeiros%20de%20Oliveira.pdf.txt0a6d446e276bea578a131b86af8063a1MD53CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8811https://repositorio.ufpe.br/bitstream/123456789/24525/4/license_rdfe39d27027a6cc9cb039ad269a5db8e34MD54123456789/245252019-10-25 23:52:21.131oai:repositorio.ufpe.br:123456789/24525TGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKClRvZG8gZGVwb3NpdGFudGUgZGUgbWF0ZXJpYWwgbm8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgKFJJKSBkZXZlIGNvbmNlZGVyLCDDoCBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkZSBQZXJuYW1idWNvIChVRlBFKSwgdW1hIExpY2Vuw6dhIGRlIERpc3RyaWJ1acOnw6NvIE7Do28gRXhjbHVzaXZhIHBhcmEgbWFudGVyIGUgdG9ybmFyIGFjZXNzw612ZWlzIG9zIHNldXMgZG9jdW1lbnRvcywgZW0gZm9ybWF0byBkaWdpdGFsLCBuZXN0ZSByZXBvc2l0w7NyaW8uCgpDb20gYSBjb25jZXNzw6NvIGRlc3RhIGxpY2Vuw6dhIG7Do28gZXhjbHVzaXZhLCBvIGRlcG9zaXRhbnRlIG1hbnTDqW0gdG9kb3Mgb3MgZGlyZWl0b3MgZGUgYXV0b3IuCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwoKTGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKCkFvIGNvbmNvcmRhciBjb20gZXN0YSBsaWNlbsOnYSBlIGFjZWl0w6EtbGEsIHZvY8OqIChhdXRvciBvdSBkZXRlbnRvciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMpOgoKYSkgRGVjbGFyYSBxdWUgY29uaGVjZSBhIHBvbMOtdGljYSBkZSBjb3B5cmlnaHQgZGEgZWRpdG9yYSBkbyBzZXUgZG9jdW1lbnRvOwpiKSBEZWNsYXJhIHF1ZSBjb25oZWNlIGUgYWNlaXRhIGFzIERpcmV0cml6ZXMgcGFyYSBvIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGUEU7CmMpIENvbmNlZGUgw6AgVUZQRSBvIGRpcmVpdG8gbsOjbyBleGNsdXNpdm8gZGUgYXJxdWl2YXIsIHJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhIHNlZ3VpciksIGNvbXVuaWNhciBlL291IGRpc3RyaWJ1aXIsIG5vIFJJLCBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vL2Fic3RyYWN0KSBlbSBmb3JtYXRvIGRpZ2l0YWwgb3UgcG9yIG91dHJvIG1laW87CmQpIERlY2xhcmEgcXVlIGF1dG9yaXphIGEgVUZQRSBhIGFycXVpdmFyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXN0ZSBkb2N1bWVudG8gZSBjb252ZXJ0w6otbG8sIHNlbSBhbHRlcmFyIG8gc2V1IGNvbnRlw7pkbywgcGFyYSBxdWFscXVlciBmb3JtYXRvIGRlIGZpY2hlaXJvLCBtZWlvIG91IHN1cG9ydGUsIHBhcmEgZWZlaXRvcyBkZSBzZWd1cmFuw6dhLCBwcmVzZXJ2YcOnw6NvIChiYWNrdXApIGUgYWNlc3NvOwplKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBzdWJtZXRpZG8gw6kgbyBzZXUgdHJhYmFsaG8gb3JpZ2luYWwgZSBxdWUgZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBhIHRlcmNlaXJvcyBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2Ugb3MgZGlyZWl0b3MgZGUgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlOwpmKSBEZWNsYXJhIHF1ZSwgbm8gY2FzbyBkbyBkb2N1bWVudG8gc3VibWV0aWRvIGNvbnRlciBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zIGRpcmVpdG9zIGRlCmF1dG9yLCBvYnRldmUgYSBhdXRvcml6YcOnw6NvIGlycmVzdHJpdGEgZG8gcmVzcGVjdGl2byBkZXRlbnRvciBkZXNzZXMgZGlyZWl0b3MgcGFyYSBjZWRlciDDoApVRlBFIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgTGljZW7Dp2EgZSBhdXRvcml6YXIgYSB1bml2ZXJzaWRhZGUgYSB1dGlsaXrDoS1sb3MgbGVnYWxtZW50ZS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBlc3NlIG1hdGVyaWFsIGN1am9zIGRpcmVpdG9zIHPDo28gZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRvIGRvY3VtZW50byBlbnRyZWd1ZTsKZykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8gcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVRlBFLMKgZGVjbGFyYSBxdWUgY3VtcHJpdSBxdWFpc3F1ZXIgb2JyaWdhw6fDtWVzIGV4aWdpZGFzIHBlbG8gcmVzcGVjdGl2byBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUEUgaWRlbnRpZmljYXLDoSBjbGFyYW1lbnRlIG8ocykgbm9tZShzKSBkbyhzKSBhdXRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8gZW50cmVndWUgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBwYXJhIGFsw6ltIGRvIHByZXZpc3RvIG5hIGFsw61uZWEgYykuCg==Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-26T02:52:21Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false |
dc.title.pt_BR.fl_str_mv |
Simulation of hybrid systems from natural language requirements |
title |
Simulation of hybrid systems from natural language requirements |
spellingShingle |
Simulation of hybrid systems from natural language requirements OLIVEIRA, Bruno Medeiros de Engenharia de software Engenharia de requisitos Sistemas híbridos |
title_short |
Simulation of hybrid systems from natural language requirements |
title_full |
Simulation of hybrid systems from natural language requirements |
title_fullStr |
Simulation of hybrid systems from natural language requirements |
title_full_unstemmed |
Simulation of hybrid systems from natural language requirements |
title_sort |
Simulation of hybrid systems from natural language requirements |
author |
OLIVEIRA, Bruno Medeiros de |
author_facet |
OLIVEIRA, Bruno Medeiros de |
author_role |
author |
dc.contributor.authorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/2183580151493396 |
dc.contributor.advisorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/3977760354511853 |
dc.contributor.author.fl_str_mv |
OLIVEIRA, Bruno Medeiros de |
dc.contributor.advisor1.fl_str_mv |
SAMPAIO, Augusto Cezar Alves |
dc.contributor.advisor-co1.fl_str_mv |
CARVALHO, Gustavo Henrique Porto de |
contributor_str_mv |
SAMPAIO, Augusto Cezar Alves CARVALHO, Gustavo Henrique Porto de |
dc.subject.por.fl_str_mv |
Engenharia de software Engenharia de requisitos Sistemas híbridos |
topic |
Engenharia de software Engenharia de requisitos Sistemas híbridos |
description |
Despite technological advances in the industry of systems development, testing is still the most commonly used verification method to ensure reliability. Model-based testing (MBT) techniques are principally employed for the purpose of generating test cases from specification models. Contributing to this branch of research an MBT strategy for creating test cases from controlled natural language (CNL) requirements was created, called NATural Language Requirements to TEST Cases (NAT2TEST). The NAT2TEST strategy deals with data-flow reactive systems, a class of embedded systems whose the main feature is to have the inputs and outputs always available as signals. However, there is a demand from the industry to to apply the strategy in the context of hybrid systems. These systems are a fusion of continuous dynamical and discrete dynamical systems, that is, they combine dynamical characteristics from both continuous and discrete worlds. Hybrid systems have received much attention in the last years. The main contribution of this work is to extend the NAT2TEST strategy to deal with hybrid systems. Using the new proposed approach, it is possible to write the requirements of a hybrid system, whose semantics is characterised based on the case grammar theory. Then, a formal representation of the system is built considering a model of hybrid data-flow reactive systems. Finally, to analyse the system behaviour via simulation, a modelling environment for simulation of hybrid systems was used, called Acumen. Thereby, a specification model in Acumen is generated and simulated in this environment. The characteristics of the new approach are exemplified using two examples, one belonging to the electronic field, the DC-DC Boost Converter (BC), and the other belonging to the automotive domain, the Adaptive Cruise Control (ACC). |
publishDate |
2016 |
dc.date.issued.fl_str_mv |
2016-09-05 |
dc.date.accessioned.fl_str_mv |
2018-05-02T22:01:48Z |
dc.date.available.fl_str_mv |
2018-05-02T22:01:48Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufpe.br/handle/123456789/24525 |
url |
https://repositorio.ufpe.br/handle/123456789/24525 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
Attribution-NonCommercial-NoDerivs 3.0 Brazil http://creativecommons.org/licenses/by-nc-nd/3.0/br/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Attribution-NonCommercial-NoDerivs 3.0 Brazil http://creativecommons.org/licenses/by-nc-nd/3.0/br/ |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Pernambuco |
dc.publisher.program.fl_str_mv |
Programa de Pos Graduacao em Ciencias Contabeis |
dc.publisher.initials.fl_str_mv |
UFPE |
dc.publisher.country.fl_str_mv |
Brasil |
publisher.none.fl_str_mv |
Universidade Federal de Pernambuco |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFPE instname:Universidade Federal de Pernambuco (UFPE) instacron:UFPE |
instname_str |
Universidade Federal de Pernambuco (UFPE) |
instacron_str |
UFPE |
institution |
UFPE |
reponame_str |
Repositório Institucional da UFPE |
collection |
Repositório Institucional da UFPE |
bitstream.url.fl_str_mv |
https://repositorio.ufpe.br/bitstream/123456789/24525/5/DISSERTA%c3%87%c3%83O%20Bruno%20Medeiros%20de%20Oliveira.pdf.jpg https://repositorio.ufpe.br/bitstream/123456789/24525/1/DISSERTA%c3%87%c3%83O%20Bruno%20Medeiros%20de%20Oliveira.pdf https://repositorio.ufpe.br/bitstream/123456789/24525/2/license.txt https://repositorio.ufpe.br/bitstream/123456789/24525/3/DISSERTA%c3%87%c3%83O%20Bruno%20Medeiros%20de%20Oliveira.pdf.txt https://repositorio.ufpe.br/bitstream/123456789/24525/4/license_rdf |
bitstream.checksum.fl_str_mv |
37d3b121dabda5690f5c04ba32492aad 5c2fbe267a4bd37066d8a8510e517cb9 4b8a02c7f2818eaf00dcf2260dd5eb08 0a6d446e276bea578a131b86af8063a1 e39d27027a6cc9cb039ad269a5db8e34 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE) |
repository.mail.fl_str_mv |
attena@ufpe.br |
_version_ |
1797782243237691392 |