Modelagem de requisitos de software de tempo-real usando SysML e MARTE
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFU |
Texto Completo: | https://repositorio.ufu.br/handle/123456789/12540 https://doi.org/10.14393/ufu.di.2013.218 |
Resumo: | The specication, analysis and design of real-time systems (RTS) are activities that are highly dependent on an eective understanding of the application domain and on the completeness of the representation of their primordial requirements. The use of modelbased approaches for the development of RTS systems tend to contribute to minimizing the complexity of the system development process. The UML has been strongly used in recent years for modeling real-time software. However, UML alone does not represent with completeness important characteristics of these systems, such as timing requirements. UML is a language that has several extensions capabilities enabling the creation of specic proles. This work will explore the use of UML proles SysML and MARTE to modeling software requirements of RTS for the control of road trac. The main objective is to demonstrate the application of SysML with MARTE stereotypes, which enables the modeling, representation, classication, documentation and, also, for dened criteria of traceability of real-time software requirements. The proposed approach was shown to be relevant in the context of the specication, analysis, classication and modeling requirements for real-time systems. The SysML Requirements diagram shows explicitly the various types of relationships between dierent requirements, increasing the spectrum of understanding and dening the requirements of a real-time system. The MARTE prole complemented the precision of scenario with functional non annotations well formed, in general timing requirements. The concepts of SysML and MARTE, articulated in the SysML Requirements diagram are highly complementary covering many of the purposes of specifying requirements for real-time systems. |
id |
UFU_4b7683000bb9d73bc471cf25b7273615 |
---|---|
oai_identifier_str |
oai:repositorio.ufu.br:123456789/12540 |
network_acronym_str |
UFU |
network_name_str |
Repositório Institucional da UFU |
repository_id_str |
|
spelling |
Modelagem de requisitos de software de tempo-real usando SysML e MARTEDesenvolvimento de softwareEngenharia de requisitosModelagem de softwareSysmlMarteSoftware - DesenvolvimentoEngenharia de requisitosSysML (Linguagem de modelagem de sistemas)Software developmentRequirements engineeringSoftware modelingCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOThe specication, analysis and design of real-time systems (RTS) are activities that are highly dependent on an eective understanding of the application domain and on the completeness of the representation of their primordial requirements. The use of modelbased approaches for the development of RTS systems tend to contribute to minimizing the complexity of the system development process. The UML has been strongly used in recent years for modeling real-time software. However, UML alone does not represent with completeness important characteristics of these systems, such as timing requirements. UML is a language that has several extensions capabilities enabling the creation of specic proles. This work will explore the use of UML proles SysML and MARTE to modeling software requirements of RTS for the control of road trac. The main objective is to demonstrate the application of SysML with MARTE stereotypes, which enables the modeling, representation, classication, documentation and, also, for dened criteria of traceability of real-time software requirements. The proposed approach was shown to be relevant in the context of the specication, analysis, classication and modeling requirements for real-time systems. The SysML Requirements diagram shows explicitly the various types of relationships between dierent requirements, increasing the spectrum of understanding and dening the requirements of a real-time system. The MARTE prole complemented the precision of scenario with functional non annotations well formed, in general timing requirements. The concepts of SysML and MARTE, articulated in the SysML Requirements diagram are highly complementary covering many of the purposes of specifying requirements for real-time systems.Mestre em Ciência da ComputaçãoA especicação, análise e design de sistemas de tempo-real são atividades altamente dependentes de uma efetiva compreensão do domínio de aplicação e descrevem, em grande parte, a representação de seus diferentes requisitos. A utilização de abordagens dirigidas a modelos, para o desenvolvimento de sistemas de tempo-real, têm ganhado força em diversos campos do desenvolvimento de software e tende a contribuir para minimizar a complexidade inerente ao desenvolvimento destes sistemas. A UML têm sido utilizada intensamente nos últimos anos para modelagem de requisitos de tempo-real. No entanto, a UML por si só não consegue representar completamente as diversas características pertinentes a estes sistemas. Uma das grandes vantagens da UML é a sua ampla capacidade de extensão permitindo a criação de proles especícos. Assim, este projeto irá explorar o uso dos proles SysML e MARTE para modelagem de requisitos de sistemas de tempo-real para um sistema de controle de tráfego. O objetivo principal é utilizar os proles SysML e MARTE da UML para modelagem, representação, classicação, documenta ção e, ainda, para denir critérios de rastreabilidade de requisitos de softwares de tempo-real. A abordagem proposta mostrou-se relevante no contexto da especicação, análise, classicação e modelagem de requisitos para sistemas de tempo-real. O diagrama de requisitos da SysML mostra explicitamente os vários tipos de relacionamentos entre diferentes requisitos, aumentando o espectro de compreensão e denição dos requisitos de um sistema de tempo-real. O prole MARTE complementou a precisão do cenário com anotações não-funcionais bem formadas, em geral para requisitos temporais. Os conceitos de SysML e MARTE, articulados no diagrama Requisitos da SysML são altamente complementares cobrindo muitos dos propósitos necessários a especicação de requisitos para sistemas de tempo-real.Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFUSoares, Michel dos Santoshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4745139J8Julia, Stéphanehttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4796960H1Gimenes, Itana Maria de Souzahttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4786911J6Ribeiro, Fabíola Gonçalves Coelho2016-06-22T18:32:27Z2013-06-042016-06-22T18:32:27Z2013-04-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfRIBEIRO, Fabíola Gonçalves Coelho. Modelagem de requisitos de software de tempo-real usando SysML e MARTE. 2013. 138 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2013. DOI https://doi.org/10.14393/ufu.di.2013.218https://repositorio.ufu.br/handle/123456789/12540https://doi.org/10.14393/ufu.di.2013.218porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFUinstname:Universidade Federal de Uberlândia (UFU)instacron:UFU2022-09-12T16:27:53Zoai:repositorio.ufu.br:123456789/12540Repositório InstitucionalONGhttp://repositorio.ufu.br/oai/requestdiinf@dirbi.ufu.bropendoar:2022-09-12T16:27:53Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU)false |
dc.title.none.fl_str_mv |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE |
title |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE |
spellingShingle |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE Ribeiro, Fabíola Gonçalves Coelho Desenvolvimento de software Engenharia de requisitos Modelagem de software Sysml Marte Software - Desenvolvimento Engenharia de requisitos SysML (Linguagem de modelagem de sistemas) Software development Requirements engineering Software modeling CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
title_short |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE |
title_full |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE |
title_fullStr |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE |
title_full_unstemmed |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE |
title_sort |
Modelagem de requisitos de software de tempo-real usando SysML e MARTE |
author |
Ribeiro, Fabíola Gonçalves Coelho |
author_facet |
Ribeiro, Fabíola Gonçalves Coelho |
author_role |
author |
dc.contributor.none.fl_str_mv |
Soares, Michel dos Santos http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4745139J8 Julia, Stéphane http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4796960H1 Gimenes, Itana Maria de Souza http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4786911J6 |
dc.contributor.author.fl_str_mv |
Ribeiro, Fabíola Gonçalves Coelho |
dc.subject.por.fl_str_mv |
Desenvolvimento de software Engenharia de requisitos Modelagem de software Sysml Marte Software - Desenvolvimento Engenharia de requisitos SysML (Linguagem de modelagem de sistemas) Software development Requirements engineering Software modeling CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
topic |
Desenvolvimento de software Engenharia de requisitos Modelagem de software Sysml Marte Software - Desenvolvimento Engenharia de requisitos SysML (Linguagem de modelagem de sistemas) Software development Requirements engineering Software modeling CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
description |
The specication, analysis and design of real-time systems (RTS) are activities that are highly dependent on an eective understanding of the application domain and on the completeness of the representation of their primordial requirements. The use of modelbased approaches for the development of RTS systems tend to contribute to minimizing the complexity of the system development process. The UML has been strongly used in recent years for modeling real-time software. However, UML alone does not represent with completeness important characteristics of these systems, such as timing requirements. UML is a language that has several extensions capabilities enabling the creation of specic proles. This work will explore the use of UML proles SysML and MARTE to modeling software requirements of RTS for the control of road trac. The main objective is to demonstrate the application of SysML with MARTE stereotypes, which enables the modeling, representation, classication, documentation and, also, for dened criteria of traceability of real-time software requirements. The proposed approach was shown to be relevant in the context of the specication, analysis, classication and modeling requirements for real-time systems. The SysML Requirements diagram shows explicitly the various types of relationships between dierent requirements, increasing the spectrum of understanding and dening the requirements of a real-time system. The MARTE prole complemented the precision of scenario with functional non annotations well formed, in general timing requirements. The concepts of SysML and MARTE, articulated in the SysML Requirements diagram are highly complementary covering many of the purposes of specifying requirements for real-time systems. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-06-04 2013-04-08 2016-06-22T18:32:27Z 2016-06-22T18:32:27Z |
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 |
RIBEIRO, Fabíola Gonçalves Coelho. Modelagem de requisitos de software de tempo-real usando SysML e MARTE. 2013. 138 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2013. DOI https://doi.org/10.14393/ufu.di.2013.218 https://repositorio.ufu.br/handle/123456789/12540 https://doi.org/10.14393/ufu.di.2013.218 |
identifier_str_mv |
RIBEIRO, Fabíola Gonçalves Coelho. Modelagem de requisitos de software de tempo-real usando SysML e MARTE. 2013. 138 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2013. DOI https://doi.org/10.14393/ufu.di.2013.218 |
url |
https://repositorio.ufu.br/handle/123456789/12540 https://doi.org/10.14393/ufu.di.2013.218 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal de Uberlândia BR Programa de Pós-graduação em Ciência da Computação Ciências Exatas e da Terra UFU |
publisher.none.fl_str_mv |
Universidade Federal de Uberlândia BR Programa de Pós-graduação em Ciência da Computação Ciências Exatas e da Terra UFU |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFU instname:Universidade Federal de Uberlândia (UFU) instacron:UFU |
instname_str |
Universidade Federal de Uberlândia (UFU) |
instacron_str |
UFU |
institution |
UFU |
reponame_str |
Repositório Institucional da UFU |
collection |
Repositório Institucional da UFU |
repository.name.fl_str_mv |
Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU) |
repository.mail.fl_str_mv |
diinf@dirbi.ufu.br |
_version_ |
1805569688154931200 |