Synthesis of software architectures for systems-of-systems: an automated method by constraint solving (2017)
- Authors:
- Autor USP: MARGARIDO, MILENA GUESSI - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: ARQUITETURA DE SOFTWARE; ENGENHARIA DE SOFTWARE; CIÊNCIA DA COMPUTAÇÃO
- Keywords: Architectural description; Descrição arquitetural; Sistemas-de-sistemas; Software architecture; SoS; SoS; Systems-of-systems
- Language: Inglês
- Abstract: Sistemas-de-sistemas (SoS) englobam sistemas diversos e independentes que cooperam entre si para executar uma ação combinada que supera suas competências individuais. Em paralelo, descrições arquiteturais são artefatos que expressam arquiteturas de software, desempenhando no contexto de SoS um importante papel na promoção da interoperabilidade entre constituintes ao facilitar a comunicação entre interessados e apoiar atividades de inspeção e análise desde o início de seu ciclo de vida. O principal problema abordado nessa tese consiste na falta de descrições arquiteturais adequadas para SoS que estão sendo desenvolvidos sem um devido cuidado à sua arquitetura de software. Uma vez que os sistemas constituintes não são necessariamente conhecidos em tempo de projeto devido à natureza evolucionária dos SoS, a descrição arquitetural precisa definir em tempo de projeto quais coalisões entre sistemas constituintes são possíveis em tempo de execução. Como muitos desses sistemas são desenvolvidos para o domínio crítico de segurança, medidas adicionais precisam ser adotadas para garantir a correção e completude da descrição arquitetural. Visando tratar esse problema, esse projeto de doutorado emprega SosADL, uma linguagem formal criada especialmente para o domínio de SoS que permite expressar arquiteturas de software como associações dinâmicas entre sistemas independentes em que as interações devem ser mediadas para desempenhar uma ação conjunta. Em particular, é proposto um novométodo formal, denominado Ark, para sistematizar os passos necessários na síntese de arquiteturas concretas aderentes a essa descrição. Para isso, o método cria um modelo formal intermediário, denominado TASoS, que expressa a arquitetura do SoS em termos de um problema de satisfatibilidade de restrições, possibilitando desse modo a verificação automática de um conjunto inicial de propriedades. O resultado obtido por essa análise pode ser utilizado em refinamentos e revisões subsequentes da descrição arquitetural. Uma ferramenta de apoio denominada SoSy também foi desenvolvida para automatizar a geração de modelos intermediários e arquiteturas concretas, ocultando o uso de solucionadores de restrições no projeto e desenvolvimento de SoS. O método e sua ferramenta foram aplicados em um modelo de SoS para monitoramento de rios em áreas urbanas em que a viabilidade de arquiteturas abstratas foi investigada. Ao formalizar e automatizar os passos necessários para a síntese arquitetural de SoS, é possível adotar métodos formais no projeto arquitetural de SoS, que são necessários para alcançar níveis maiores de confiabilidade.
- Imprenta:
- Publisher place: São Carlos
- Date published: 2017
- Data da defesa: 27.09.2017
-
ABNT
MARGARIDO, Milena Guessi. Synthesis of software architectures for systems-of-systems: an automated method by constraint solving. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06022018-105449/. Acesso em: 03 out. 2024. -
APA
Margarido, M. G. (2017). Synthesis of software architectures for systems-of-systems: an automated method by constraint solving (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06022018-105449/ -
NLM
Margarido MG. Synthesis of software architectures for systems-of-systems: an automated method by constraint solving [Internet]. 2017 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06022018-105449/ -
Vancouver
Margarido MG. Synthesis of software architectures for systems-of-systems: an automated method by constraint solving [Internet]. 2017 ;[citado 2024 out. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06022018-105449/ - Subsídios para a representação de arquiteturas de referência de sistemas embarcados
- Expanding telemonitoring in a virtual world: a case study of the expansion of a heart failure telemonitoring program during the COVID-19 pandemic
- Smartphone applications for informal caregivers of chronically ill patients: a scoping review
- Ark: a constraint-based method for architectural synthesis of smart systems
- Architectural description of systems-of-information systems
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
