Please use this identifier to cite or link to this item:
Title: Mission-driven software-intensive system-of-systems architecture design
Authors: Silva, Eduardo Alexandre Ferreira
Keywords: Systems-of-systems;Missions;Software architecture;Model to model;Modeling methodology;Validation and verification
Issue Date: 17-Dec-2018
Citation: 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.
Portuguese Abstract: 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.
Appears in Collections:PPGSC - Doutorado em Sistemas e Computação

Files in This Item:
File Description SizeFormat 
Mission-drivensoftware-intensive_Silva_2018.pdf3,63 MBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.