dc.contributor | Soares, Michel dos Santos | |
dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4745139J8 | |
dc.contributor | Julia, Stéphane | |
dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4796960H1 | |
dc.contributor | Gimenes, Itana Maria de Souza | |
dc.contributor | http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4786911J6 | |
dc.creator | Ribeiro, Fabíola Gonçalves Coelho | |
dc.date | 2016-06-22T18:32:27Z | |
dc.date | 2013-06-04 | |
dc.date | 2016-06-22T18:32:27Z | |
dc.date | 2013-04-08 | |
dc.date.accessioned | 2023-09-28T21:02:54Z | |
dc.date.available | 2023-09-28T21:02:54Z | |
dc.identifier | 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 | |
dc.identifier | https://repositorio.ufu.br/handle/123456789/12540 | |
dc.identifier | https://doi.org/10.14393/ufu.di.2013.218 | |
dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/9063102 | |
dc.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. | |
dc.description | Mestre em Ciência da Computação | |
dc.description | A 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. | |
dc.format | application/pdf | |
dc.format | application/pdf | |
dc.language | por | |
dc.publisher | Universidade Federal de Uberlândia | |
dc.publisher | BR | |
dc.publisher | Programa de Pós-graduação em Ciência da Computação | |
dc.publisher | Ciências Exatas e da Terra | |
dc.publisher | UFU | |
dc.rights | Acesso Aberto | |
dc.subject | Desenvolvimento de software | |
dc.subject | Engenharia de requisitos | |
dc.subject | Modelagem de software | |
dc.subject | Sysml | |
dc.subject | Marte | |
dc.subject | Software - Desenvolvimento | |
dc.subject | Engenharia de requisitos | |
dc.subject | SysML (Linguagem de modelagem de sistemas) | |
dc.subject | Software development | |
dc.subject | Requirements engineering | |
dc.subject | Software modeling | |
dc.subject | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | |
dc.title | Modelagem de requisitos de software de tempo-real usando SysML e MARTE | |
dc.type | Dissertação | |