PPgSC/UFRN PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO ADMINISTRAÇÃO DO CCET Téléphone/Extension: (84)3342-2225/115 https://posgraduacao.ufrn.br/ppgsc

Banca de DEFESA: EDUARDO ALEXANDRE FERREIRA SILVA

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
DISCENTE : EDUARDO ALEXANDRE FERREIRA SILVA
DATA : 17/12/2018
HORA: 09:00
LOCAL: B321 - IMD
TÍTULO:

Mission-driven Software-intensive System-of-Systems Architecture Design


PALAVRAS-CHAVES:

Systems-of-systems

Missions

Software Architecture

Model to model

Modeling Methodology

Validation and Verication


PÁGINAS: 211
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software
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 specification, validation and verification of SoS architectural models. Specifying, validating and verifying architectural models for SoS are difficult tasks compared to usual systems, the inner complexity of this kind of systems relies especially 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 configuration 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 first moment we dene a formal mission model, then we generate the structural definition for the architecture using model transformation. Later, as the architect specify the behavioral aspects of the system, using this architecture, we can generate concrete architectures that will be verified and validated using simulation-based approaches. The verification uses statistical model checking to verify whether the properties are satisfied, within a degree of confidence. 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 identification of unpredicted emergent behaviors. A toolset that integrates existing tools and implements the whole process is also presented.

 

MEMBROS DA BANCA:
Interno - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA
Interno - 1213777 - THAIS VASCONCELOS BATISTA
Externo à Instituição - ABDELHAK-DJAMEL SERIAI
Externo à Instituição - ELISA YUMI NAKAGAWA - USP
Externo à Instituição - FLAVIO OQUENDO - UBS
Externo à Instituição - KHALIL DRIRA - UFTMiP
Notícia cadastrada em: 16/12/2018 20:19
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa04-producao.info.ufrn.br.sigaa04-producao