1. Universidade Federal do Rio Grande do Norte
2. BDTD - Biblioteca Digital de Teses e Dissertações
3. Programa de Pós-Graduação em Sistemas e Computação
4. PPGSC - Doutorado em Sistemas e Computação

Título:	Mission-driven software-intensive system-of-systems architecture design
Autor(es):	Silva, Eduardo Alexandre Ferreira
Orientador:	Batista, Thais Vasconcelos
Palavras-chave:	Systems-of-systems;Missions;Software architecture;Model to model;Modeling methodology;Validation and verification
Data do documento:	17-Dez-2018
Referência:	SILVA, Eduardo Alexandre Ferreira. Mission-driven software-intensive system-of-systems architecture design. 2018. 216f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2018.
Resumo:	Missions represent a key concern in the development of systems-of-systems (SoS) since they can be related to both capabilities of constituent systems and interactions among these systems that contribute to the accomplishment of global goals of the SoS. For this reason, mission models are promising starting points to the SoS development process and they can be used as a basis for the speci cation, validation and veri cation of SoS architectural models. Specifying, validating and verifying architectural models for SoS are di cult tasks compared to usual systems, the inner complexity of this kind of systems relies specially on the emergent behaviors, i.e. features that emerge from the cooperation between the constituent parts of the SoS that often cannot be accurately predicted. This work is concerned with such a synergetic relationship between mission and architectural models, giving a special attention to the emergent behavior that arise for a given con guration of the SoS. We propose a development process for architectural modeling of SoS, centered in the so-called mission models. In this proposal, the mission model is used to both derive, validate/verify architectures of SoS. In a rst moment we de ne a formal mission model, then we generate the structural de nition for the architecture using model transformation. Later, the architect speci es the behavioral aspects of the system. Using this architecture, we can generate concrete architectures that will be veri ed and validated using simulation-based approaches. The veri cation uses statistical model checking to verify whether the properties are satis ed, within a degree of con dence. The validation is aimed to emergent behaviors and missions, but can be extended to any aspect of the mission model. The simulation also allows the identi cation of unpredicted emergent behaviors. A toolset that integrates existing tools and implements the whole process is also presented.
URI:	https://repositorio.ufrn.br/jspui/handle/123456789/26626
Aparece nas coleções:	PPGSC - Doutorado em Sistemas e Computação

Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.