Search

Розмір пояснювальної записки – 91 аркушів, містить 7 ілюстрацій, 5 таблиць, 2 додатки. Актуальність теми. У роботі розглянуто проблему в області інженерії програмного забезпечення із використанням методології компонентної розробки. Показано основні особливості існуючих рішень проблеми, їх переваги та недоліки. Виявлено потребу в наданні повноцінної специфікації та метричного опису компонентів програмного забезпечення, які багатократно використовуються. Мета дослідження. Основною метою є розробка методу метричного забезпечення компонентів, які багатократно використовуються, для подальшого застосування їх при створенні програмного забезпечення шляхом застосування орієнтованої на пошук інженерії програмного забезпечення та рекомендаційних систем. Об’єкт дослідження: процеси створення та супроводу програмного забезпечення. Предмет дослідження: методи та засоби застосування компонентів, які багатократно використовуються при створенні програмного забезпечення шляхом використання орієнтованої на пошук інженерії програмного забезпечення та рекомендаційних систем. Для реалізації поставленої мети сформульовані наступні завдання: – з’ясування стану досліджень відносно застосування метрик при створенні програмного забезпечення шляхом використання орієнтованої на пошук інженерії програмного забезпечення та рекомендаційних систем; – аналіз існуючих рішень; – створення методу та структури щодо збереження метрик, характеризуючи компоненти програмного забезпечення у залежності від їх типу; – створення засобу щодо реалізації; – перевірка прийнятих рішень. Наукова новизна результатів магістерської дисертації полягає в тому, що запропоновано метричний опис компонентів програмного забезпечення, що багатократно використовуються, задля подальшої оптимізації підбору, використовуючи рекомендаційні системи та програмну інженерію, що орієнтована на пошук. Результат досягнутий шляхом надання специфікації компонентів програмного забезпечення, що багатократно використовуються. Практичне значення отриманих результатів полягає в тому, що наданий метричний опис компонентів програмного забезпечення, що багатократно використовуються, забезпечує покращення складання вимог до архітектури застосунків, а також надає основу для роботи рекомендаційних систем та орієнтованої на пошук інженерії програмного забезпечення. Також представлено архітектуру прототипу рекомендаційної системи, що спрощує пошук компонентів. Дана система може бути використана при проектуванні застосунків за методом компонентної розробки. Зв’язок з науковими програмами, планами, темами. Робота виконувалась на кафедрі інформатики та програмної інженерії Національного технічного університету України "Київський політехнічний інститут імені Ігоря Сікорського". Апробація. Наукові положення дисертації пройшли апробацію на Другій Всеукраїнській науково-практичній конференції молодих вчених та студентів «Інженерія програмного забезпечення і передові інформаційні технології» (SoftTech-2022 весна) – м. Київ. Публікації. Наукові положення дисертації опубліковані в: 1) Панасюк С.І. Метричний опис компонентів багатократного використання програмного забезпечення інформаційних систем // Матеріали другої всеукраїнської науково-практичної конференції молодих вчених та студентів «Інженерія програмного забезпечення і передові інформаційні технології» (SoftTech-2022 весна) – м. Київ: НТУУ «КПІ ім. Ігоря Сікорського», 10 червня 2022 р. 2) Панасюк С.І. Метричний опис компонентів програмного забезпечення // III Міжнародна науково-практична конференція “MODERN RESEARCH IN WORLD SCIENCE”, 12-14 червня 2022 р. Explanatory note size – 91 pages, contains 7 illustrations, 5 tables, 2 applications. Topicality. Examines the problem in the field of software engineering while using the methodology of component development. The main features of existing solutions to the problem, their advantages and disadvantages are shown. The need to provide a full specification and metric analysis of reusable software components has been identified. The aim of the study. The main target is to develop a method of metric support of reusable components for further application in software development through the use of search-based software engineering and recommendation systems. Object of research: processes of software creation and maintenance. Subject of research: methods and means of application of reusable components in the creation of software through the use of search-based software engineering and recommendation systems. To achieve this goal, the following tasks were formulated: – Finding out the state of research on the use of metrics in software development through the use of search engineered software and recommendation systems; – analysis of existing solutions; – creating a method and structure for preserving metrics, characterizing the components; – software depending on their type; – creating a tool for implementation; – verification of decisions. The scientific novelty of the results of the master's dissertation is to provide a metric description of reusable software components to further optimize the selection, using recommendation systems and search-based software engineering. The results are achieved by providing a specification of reusable software components. The practical value of the obtained results is that the metric description of reusable software components results in requirements improvements for application architecture, as well as a basis for the operation of recommendation systems and search-oriented software engineering. The prototype architecture of the recommendation system is also presented, which simplifies the search of the components. This system can be used in the design of applications by the method of component development. Relationship with working with scientific programs, plans, topics. Work was performed at the Department of Informatics and Software Engineering of the National Technical University of Ukraine «Kyiv Polytechnic Institute. Igor Sikorsky». Approbation. The scientific provisions of the dissertation were tested at the Second All-Ukrainian scientific-practical conference of young scientists and students "Software Engineering and Advanced Information Technologies" (SoftTech-2022 spring) - Kyiv. Publications. The scientific provisions of the dissertation published in: 1. Panasiuk S.I. Metric description of components of repeated use of information systems software // Proceedings of the second all-Ukrainian scientific-practical conference of young scientists and students "Software Engineering and Advanced Information Technologies" (SoftTech-2022 spring) - Kyiv: NTUU "KPI them. Igor Sikorsky ", June 10, 2022 2. Panasiuk S.I. Metric description of software components // III International scientific-practical conference “MODERN RESEARCH IN WORLD SCIENCE”, 12-14 June, 2022.

Objective: To assess the influence of practitioners’ expertise in code inspection of software components. Method: Subjects' expertise was determined based on their independently assessed academic record. Inspection outcome was represented by the diversity of defects found at two levels of abstraction. Results: Statistically significant correlations between expertise and inspection outcomes were found in several cases. Conclusion: The effect of expertise is observable in the inspection outcome and thus can be usedfor software quality management purposes.

El desarrollo de software se caracteriza por ser un proceso complejo, requiere de inversión de tiempo, conocimiento de herramientas tecnológicas para su elaboración, su depuración y su despliegue. Sin embargo, con el paso de los años, se han desarrollado avances tecnológicos y metodológicos, que reducen considerablemente esta complejidad, convirtiendo dicha actividad en un proceso más intuitivo, controlable y rápido. La reutilización aparece como una alternativa para desarrollar aplicaciones y sistemas de una manera más eficiente y rápida. La idea es reutilizar elementos y componentes en lugar de tener que desarrollarlos desde un principio. A estas unidades se les conoce como componentes software reutilizables. La biblioteca o repositorio de componentes reutilizables es el corazón del desarrollo de software basado en componentes, permite catalogar, organizar, descubrir y reutilizar estos componentes. En este trabajo se desarrolló e implementó un repositorio de componentes de software reutilizables que apoye los procesos de desarrollo de aplicaciones web y la formación de estudiantes en el programa de Ingeniería de Sistemas de la Universidad Francisco de Paula Santander (Cúcuta, Colombia) llamada Colossal, permitiendo a los estudiantes y profesores buscar, compartir y reutilizar los componentes disponibles en el repositorio y usarlos en sus proyectos. Para evaluar el repositorio de componentes y verificar que cumple con su propósito se realizó un estudio cuantitativo descriptivo donde se evalúa el nivel de aceptación de la herramienta tecnológica, como resultado se obtuvo que la mayoría (94%) de los estudiantes y profesores respondió de manera positiva y se evidenció una buena aceptación del funcionamiento y uso del mismo. Software development is a complex process that requires time investment and knowledge of technological tools for its elaboration, debugging and deployment. However, over the years, technological and methodological advances have been developed, which considerably reduce this complexity, making this activity a more intuitive, controllable and fast process. Reuse appears as an alternative to develop applications and systems more efficiently and quickly. The idea is to reuse elements and components instead of having to develop them from scratch. These units are known as reusable software components. The library or repository of reusable components is the heart of component-based software development, allowing these components to be catalogued, organised, discovered and reused. In this work, a reusable software component repository was developed and implemented to support the web application development processes and the training of students in the Systems Engineering program of the Universidad Francisco de Paula Santander (Cúcuta, Colombia) called Colossal, allowing students and professors to search, share and reuse the components available in the library and use them in their projects. In order to evaluate the component repository and verify that it fulfills its purpose, a quantitative descriptive study was carried out to evaluate the level of acceptance of the technological tool. As a result, it was obtained that the majority (94%) of students and professors responded positively and a high acceptance of the operation and use of the tool was evidenced.

Робота присвячена покращенню якості та швидкості підбору компонентів при розробці та проектуванні застосунків із використання компонентної розробки. Для впровадження даної задачі надано класифікацію та метричний опис компонентів програмного забезпечення, що багатократно використовуються. Дане рішення надасть розробникам можливість позбавитись від необхідності шукати компоненти через пошукові системи та форуми, обираючи компоненті, які радять інші інженери. The work is devoted to improving the quality and speed of component selection in the development and design of applications for the use of component development. To implement this task, a classification and metric description of reusable software components is provided. This solution will give developers the opportunity to get rid of the need to search for components through search engines and forums, choosing components that are advised by other engineers.

With an increased demand for customization, a better quality of products, and available variability in machines, enforcing machine developers to rethink how PLC-software is structured and developed. It demands the PLC-software to be adaptable, flexible, and modular. Current PLC-software uses global variables for interaction between its program organization units (POUs). Global variables increase tight coupling and reduce adaptability, flexibility, and modularity. A new architectural concept, the PLC-Service bus, was suggested to address this issue. To reduce coupling, POUs and software components of the PLC communicate via a service bus. This concept leads to two problems. There are no standard models to describe these interactions clearly, and there is no implementation of the PLC-Service bus to develop PLC-software based on message interaction patterns (MIPs). This paper uses the capping station from the VDMA R+A OPC UA Demonstrator as a running example. With an Event-driven process chain model (EPC), we describe the interactions between various software components of the capping station to identify MIPs. Based on these MIPs, we implement the PLC-software of the capping station with IEC 61499. Accepted version

Актуальність обраної теми дослідження зумовлена необхідністю дослідження та вдосконалення моніторингу забруднення атмосферного повітря з метою застосування набутих знань на практиці. Метою роботи є вдосконалення системи моніторингу та підвищення її доступності для клієнта. В магістерській дисертації “Інформаційно-вимірювальна система віддаленого моніторинг стану атмосферного повітря” були розглянуті та досліджені проблеми контролю екологічного стану атмосферного повітря, розроблена фізична модель та програмне забезпечення системи віддаленого моніторингу, обґрунтований вибір моделі взаємодії датчика з бездротовою мережею та створений стартап проєкт. Робота складається з анотації, переліку умовних скорочень, вступу, п’яти розділів, висновків, списку використаних джерел з 16 найменувань та 1 додаток. Містить 54 рисунків та 37 таблиць. Загальний обсяг магістерської дисертації 135 сторінок. The relevance of the chosen research topic is due to the need to study and improve the monitoring of air pollution in order to apply the acquired knowledge in practice. The aim of the work is to improve the monitoring system and increase its accessibility for the client. In the master's dissertation "Information-measuring system for remote monitoring of atmospheric air" the problems of control of ecological condition of atmospheric air were considered and researched, the physical model and software of remote monitoring system were developed, the choice of model of sensor interaction with wireless network was substantiated. The work consists of an annotation, a list of abbreviations, an introduction, five chapters, conclusions, a list of sources used with 16 titles and 1 appendix. Contains 54 figures and 37 tables. The total volume of the master's dissertation is 135 pages.

Context: Application of component based software engineering methods to heterogeneous computing (HC) enables different software configurations to realize the same function with different non–functional properties (NFP). Finding the best software configuration with respect to multiple NFPs is a non–trivial task. Objective: We propose a Software Component Allocation Framework (SCAF) with the goal to acquire a (sub–) optimal software configuration with respect to multiple NFPs, thus providing performance prediction of a software configuration in its early design phase. We focus on the software configuration optimization for the average energy consumption and average execution time. Method: We validated SCAF through its instantiation on a real–world demonstrator and a simulation. Firstly, we verified the correctness of our model through comparing the performance prediction of six software configurations to the actual performance, obtained through extensive measurements with a confidence interval of 95%. Secondly, to demonstrate how SCAF scales up, we performed software configuration optimization on 55 generated use–cases (with solution spaces ranging from 1030 to 3070) and benchmark the results against best performing random configurations. Results: The performance of a configuration as predicted by our framework matched the configuration implemented and measured on a real–world platform. Furthermore, by applying the genetic algorithm and simulated annealing to the weight function given in SCAF, we obtain sub–optimal software configurations differing in performance at most 7% and 13% from the optimal configuration (respectfully). Conclusion: SCAF is capable of correctly describing a HC platform and reliably predict the performance of software configuration in the early design phase. Automated in the form of an Eclipse plugin, SCAF allows software architects to model architectural constraints and preferences, acting as a multi–criterion software architecture decision support system. In addition to said, we also point out several interesting research directions, to further investigate and improve our approach.

Orientador: Claudia Bauer Medeiros Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação Resumo: A Web está evoluindo de um espaço para publicação/consumo de documentos para um ambiente para trabalho colaborativo, onde o conteúdo digital pode viajar e ser replicado, adaptado, decomposto, fundido e transformado. Designamos esta perspectiva por Fluid Web. Esta visão requer uma reformulação geral da abordagem típica orientada a docu­mentos que permeia o gerenciamento de conteúdo na Web. Esta tese apresenta nossa solução para a Fluid Web, que permite nos deslocarmos de uma perspectiva orientada a documentos para outra orientada a conteúdo, onde "conteúdo" pode ser qualquer objeto digital. A solução é baseada em dois eixos: (i) uma unidade auto-descritiva que encap­sula qualquer tipo de artefato de conteúdo - o Componente de Conteúdo Digital (Digital Content Component - DCC); e (ii) uma infraestrutura para a Fluid Web que permite o gerenciamento e distribuição de DCCs na Web, cujo objetivo é dar suporte à colaboração na Web. Concebidos para serem reusados e adaptados, os DCCs encapsulam dados e software usando uma única estrutura, permitindo deste modo composição homogênea e proces­samento de qualquer conteúdo digital, seja este executável ou não. Estas propriedades são exploradas pela nossa infraestrutura para a Fluid Web, que engloba mecanismos de descoberta e de anotação de DCCs em múltiplos níveis, gerenciamento de configurações e controle de versões. Nosso trabalho explora padrões de Web Semântica e ontologias ta­xonômicas, que servem como uma ponte semântica, unificando vocabulários para gerenci­amento de DCCs e facilitando as tarefas de descrição/indexação/descoberta de conteúdo. Os DCCs e sua infraestrura foram implementados e são ilustrados por meio de exemplos práticos, para aplicações científicas. As principais contribuições desta tese são: o modelo de Digital Content Component; o projeto da infraestrutura para a Fluid Web baseada em DCCs, com suporte para armaze­namento baseado em repositórios, compartilhamento, controle de versões e gerenciamento de configurações distribuídas; um algoritmo para a descoberta de conteúdo digital que explora a semântica associada aos DCCs; e a validação prática dos principais conceitos desta pesquisa, com a implementação de protótipos Abstract: The Web is evolving from a space for publicationj consumption of documents to an en­vironment for collaborative work, where digital content can traveI and be replicated, adapted, decomposed, fusioned and transformed. We call this the Fluid Web perspective. This view requires a thorough revision of the typical document-oriented approach that permeates content management on the Web. This thesis presents our solution for the Fluid Web, which allows moving from the document-oriented to a content-oriented pers­pective, where "content" can be any digital object. The solution is based on two axes: a self-descriptive unit to encapsulate any kind of content artifact - the Digital Content Component (DCC); and a Fluid Web infrastructure that provides management and de­ployment of DCCs through the Web, and whose goal is to support collaboration on the Web. Designed to be reused and adapted, DCCs encapsulate data and software using a single structure, thus allowing homogeneous composition and processing of any digital content, be it executable or noto These properties are exploited by our Fluid Web infrastructure, which supports DCC multilevel annotation and discovery mechanisms, configuration ma­nagement and version controI. Our work extensively explores Semantic Web standards and taxonomic ontologies, which serve as a semantic bridge, unifying DCC management vo­cabularies and improving DCC descriptionjindexingjdiscovery. DCCs and infrastructure have been implemented and are illustrated by means of examples, for scientific applicati­ons. The main contributions of this thesis are: the model of Digital Content Component; the design of the Fluid Web infrastructure based on DCCs, with support for repository­based storage, distributed sharing, version control and configuration management; an algorithm for digital content discovery that explores DCe semantics; and a practical validation of the main concepts in this research through implementation of prototypes Doutorado Banco de Dados Mestre em Ciência da Computação

Orientador: Mauricio Ferreira Magalhães Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação Resumo: Em sistemas multimídia distribuídos existe uma diversidade de dispositivos de hardware, sistemas operacionais e tecnologias de comunicação. Para tratar os requisitos destas aplicações, os componentes do sistema precisam interagir entre eles considerando os aspectos de QoS de cada um dos elementos envolvidos. Neste contexto, esta tese apresenta o Cosmos ? um framework baseado em componentes proposto para dar suporte à configuração e gerenciamento de recursos em sistemas multimídia. Como prova de conceito do Cosmos, o framework definido foi usado no projeto do middleware AdapTV ? um middleware para sistemas de televisão digital interativa. O projeto do AdapTV explora os principais componentes dos modelos que foram definidos no Cosmos: o modelo de descrição de aplicações de forma independente de linguagens; o modelo de interconexão, que trata as questões de comunicação entre componentes heterogêneos usando diferentes tecnologias de comunicação; e o modelo de gerenciamento de QoS, que permite o monitoramento e a adaptação do sistema. Estes modelos foram explorados na implementação de um protótipo do middleware AdapTV e de uma aplicação distribuída que realiza a captura, transmissão e apresentação de um fluxo de vídeo. Para dar suporte à reusabilidade, o modelo explora o conceito de propriedades para estabelecer acordos de configuração (estáticos e dinâmicos) envolvendo negociações entre os requisitos dos componentes e as características da plataforma Abstract: Distributed multimedia applications involve a diversity of hardware devices, operating systems and communication technologies. In order to fulfill the requirements of such applications, their constituting components need to interact with each other, as well as to consider QoS issues related to devices and transmission media. In such a context, this thesis presents the Cosmos component-based framework for configuration and management of resources of open, distributed multimedia systems. As a proof of concept, the framework was used in the design of the AdapTV middleware ? a middleware for interactive television which explores the major components of the Cosmos, including: the model to describe and represent applications independently of language aspects; the interconnection model that allows communication between components in heterogeneous and distributed multimedia environments; and the QoS management model that provides support for adaptation in the middleware player, triggered by QoS and user requirements changes. These models have been explored in the implementation of a prototype, which includes the AdapTV middleware and a distributed application example that captures, transmits and presents a video flow. In order to provide a generic and reusable approach, and to establish configuration agreements among component requirements and platform features, the framework explores the concept of properties Doutorado Engenharia de Computação Doutor em Engenharia Elétrica

Orientador: Cecilia Mary Fischer Rubira Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação Resumo: Mecanismos de tratamento de exceções foram concebidos com o intuito de facilitar o gerenciamento da complexidade de sistemas de software tolerantes a falhas. Eles promovem uma separação textual explícita entre o código normal e o código que lida com situações anormais, afim de dar suporte a construção de programas que são mais concisos fáceis de evoluir e confáveis. Diversas linguagens de programação modernas e a maioria dos modelos de componentes implementam mecanismos de tratamento de exceções. Apesar de seus muitos benefícios, tratamento de exceções pode ser a fonte de diversas falhas de projeto se usado de maneira indisciplinada. Estudos recentes mostram que desenvolvedores de sistemas de grande escala baseados em infra-estruturas de componentes têm hábitos, no tocante ao uso de tratamento de exceções, que tornam suas aplicações vulneráveis a falhas e difíceis de se manter. Componentes de software criam novos desafios com os quais mecanismos de tratamento de exceções tradicionais não lidam, o que aumenta a probabilidade de que problemas ocorram. Alguns exemplos são indisponibilidade de código fonte e incompatibilidades arquiteturais. Neste trabalho propomos duas técnicas complementares centradas em tratamento de exceções para a construção de sistemas tolerantes a falhas baseados em componentes. Ambas têm ênfase na estrutura do sistema como um meio para se reduzir o impacto de mecanismos de tolerância a falhas em sua complexidade total e o número de falhas de projeto decorrentes dessa complexidade. A primeira é uma abordagem para o projeto arquitetural dos mecanismos de recuperação de erros de um sistema. Ela trata do problema de verificar se uma arquitetura de software satisfaz certas propriedades relativas ao fluxo de exceções entre componentes arquiteturais, por exemplo, se todas as exceções lançadas no nível arquitetural são tratadas. A abordagem proposta lança de diversas ferramentas existentes para automatizar ao máximo esse processo. A segunda consiste em aplicar programação orientada a aspectos (AOP) afim de melhorar a modularização de código de tratamento de exceções. Conduzimos um estudo aprofundado com o objetivo de melhorar o entendimento geral sobre o efeitos de AOP no código de tratamento de exceções e identificar as situações onde seu uso é vantajoso e onde não é Abstract: Exception handling mechanisms were conceived as a means to help managing the complexity of fault-tolerant software. They promote an explicit textual separation between normal code and the code that deals with abnormal situations, in order to support the construction of programs that are more concise, evolvable, and reliable. Several mainstream programming languages and most of the existing component models implement exception handling mechanisms. In spite of its many bene?ts, exception handling can be a source of many design faults if used in an ad hoc fashion. Recent studies show that developers of large-scale software systems based on component infrastructures have habits concerning the use of exception handling that make applications vulnerable to faults and hard to maintain. Software components introduce new challenges which are not addressed by traditional exception handling mechanisms and increase the chances of problems occurring. Examples include unavailability of source code and architectural mismatches. In this work, we propose two complementary techniques centered on exception handling for the construction of fault-tolerant component-based systems. Both of them emphasize system structure as a means to reduce the impactof fault tolerance mechanisms on the overall complexity of a software system and the number of design faults that stem from complexity. The ?rst one is an approach for the architectural design of a system?s error handling capabilities. It addresses the problem of verifying whether a software architecture satis?es certain properties of interest pertaining the ?ow of exceptions between architectural components, e.g., if all the exceptions signaled at the architectural level are eventually handled. The proposed approach is based on a set of existing tools that automate this process as much as possible. The second one consists in applying aspect-oriented programming (AOP) to better modularize exception handling code. We have conducted a through study aimed at improving our understanding of the efects of AOP on exception handling code and identifying the situations where its use is advantageous and the ones where it is not Doutorado Doutor em Ciência da Computação

Orientador: Cecilia Mary Fischer Rubira Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação Resumo: O uso de Linhas de Produto de Software é uma prática comum entre as empresas de software, tendo como objetivo promover o desenvolvimento de um conjunto de produtos de software relacionados através da reutilização de um núcleo comum de ativos de software. Dentre estas empresas, podemos mencionar a Motorola, cujo ambiente de desenvolvimento em que múltiplas linhas de produto são mantidas em paralelo serviu de motivação para este trabalho. Na prática, a complexidade de alguns tipos de negócios apoiados por linhas de produto implica em mudanças na forma como a adoção da abordagem é sugerida pela literatura. Em particular na Motorola, as linhas de produto são baseadas em componentes e a arquitetura da linha de produto possui diversos pontos de variação, onde variantes de componentes representando diversas alternativas de projeto podem ser escolhidas. Além disso, várias linhas de produto são mantidas em paralelo e os componentes e suas variantes podem ser compartilhados entre elas. Neste contexto, a evolução de componentes é uma tarefa complexa, pois a inclusão de novas características nas variantes dos componentes pode impactar não somente a arquitetura e os ativos de uma única linha de produto, mas também das diversas linhas que as utilizam. A principal contribuição deste trabalho é a documentação de uma família de padrões de evolução de componentes compartilhados por múltiplas linhas de produto de software. Além desta família de padrões, também é apresentado um processo para auxiliar na análise do padrão de evolução a ser adotado para implementar uma determinada requisição de mudança Abstract: The Software Product Line approach is becoming widely used by software companies, whose goal is to promote the development of a set of related software products through the reuse of a common core of software assets. Among these companies, we can mention Motorola, whose development environment where multiple software product lines are maintained in parallel served as the motivation for this work. In practice, the complexity of some types of businesses supported by product lines involves changes in how the adoption of the approach is suggested by the literature. At Motorola, the product lines are based on components and the product line architecture has many variation points, where variants of components representing various design alternatives can be chosen. In addition, several product lines are maintained in parallel and the components and their variants can be shared among them. In this context, the evolution of components is a complex task, because the inclusion of new features in variants of the components can impact not only the architecture and assets in a single product line but also on many products lines that are using them. The main contribution of this work is the documentation of a family of component evolution patterns that are shared between multiple software product lines. Besides that, a process to assist in analyzing the evolution pattern to be taken to implement a specific change request is presented Mestrado Engenharia de Software Mestre em Ciência da Computação

Software products in the market are changing due to changes in business processes, technology, or new requirements from the customers. Maintainability of legacy systems has always been an inspiring task for the software companies. In order to determine whether the software requires maintainability by reverse engineering or by forward engineering approach, a system assessment was done from diverse perspectives: quality, business value, type of errors, etc. In this research, the changes required in the existing software components of the legacy system were identified using a supervised learning approach. New interfaces for the software components were redesigned according to the new requirements and/or type of errors. Software maintainability was measured by applying a machine learning technique, i.e., Na&iuml, ve Bayes classifier. The dataset was designed based on the observations such as component state, successful or error type in the component, line of code of error that exists in the component, component business value, and changes required for the component or not. The results generated by the Waikato Environment for Knowledge Analysis (WEKA) software confirm the effectiveness of the introduced methodology with an accuracy of 97.18%.

The software architecture of PLC-software has a direct influence on its adaptability, modularity, and flexibility. The software component (Program organization unit, POU) is the smallest unit of PLC-software that is responsible for providing certain machine functionality in an overall production system. The way these software components interact with each other has a significant role in the overall PLC-software architecture. To address current market demands, software components need to be atomic, modular, and loosely coupled. PLC-Service busbased architecture enables such PLC-software. We are using this architecture as a basis. In this paper, we are evaluating available messaging interaction patterns from the enterprise IT domain. Our evaluation is based on requirements defined by the PLC-Service bus architecture. Therewith, we identified a list of interaction patterns that can be used to design interactions between software components in a PLC-Service bus environment. We use a reference production cell as a running example. To evaluate our findings, we first explain what the PLC-Service bus concept would look like for our running example. Later, we used four practical process scenarios from our running example to evaluate the applicability of identified messaging integration patterns for the PLC-Service bus.

[EN] Modern industries require constant adaptation to new trends. Thus, they seek greater flexibility and agility to cope with disruptions, as well as to solve needs or meet the demand for growth. Therefore, smart industrial applications require a lot of flexibility to be able to react more quickly to continuous market changes, offer more personalized products, increase operational efficiency, and achieve optimum operating points that integrate the entire value chain of a process. This requires the capture of new data that are subsequently processed at different levels of the hierarchy of automation processes, with requirements and technologies according to each level. The result is a new challenge related to the addition of new functionalities in the processes and the interoperability between them. This paper proposes a distributed computational component-based framework that integrates communication, computation, and storage resources and real-time capabilities through container technology, microservices, and the publish/subscribe paradigm, as well as contributing to the development and implementation of industrial automation applications by bridging the gap between generic architectures and physical realizations. The main idea is to enable plug-and-play software components, from predefined components with their interrelationships, to achieve industrial applications without losing or degrading the robustness from previous developments. This paper presents the process of design and implementation with the proposed framework through the implementation of a complex pH control process, ranging from the simulation part to its scaling and implementation to an industrial level, showing the plug-and-play assembly from a definition of components with their relationships to the implementation process with the respective technologies involved. The effectiveness of the proposed framework was experimentally verified in a real production process, showing that the results scaled to an industrial scale comply with the simulated design process. A qualitative comparison with traditional industrial implementations, based on the implementation requirements, was carried out. The implementation was developed in the beverage production plant "Punta Delicia", located in Colima, Mexico. Finally, the results showed that the platform provided a high-fidelity design, analysis, and testing environment for cyber information flow and their effect on the physical operation of the pH control., This work has been supported by for research cooperation between Universidad de Colima (Mexico), Universidad Autonoma de Occidente (Colombia), Universitat Politecnica de Valencia (Spain) and the juice production plant Punta Delicia located in Colima, Mexico.

Ambient intelligence aims to provide to human users applications and services that are personalized and adapted to the current situation. The ambient environment which surrounds the human consists of a set of connected objects and software components that are bricks used for the construction of applications by composition. The availability of these components can vary dynamically, in case of mobility for example. In addition, their appearance or disappearance is usually unanticipated. Moreover, in these dynamic and open environments, the user needs are not stable nor always well defined. To build these applications and provide the user with "the right applications at the right time", our team explores an original approach called "opportunistic software composition": the idea is to build applications on the fly by assembling software components present in the environment at the time, without relying on explicit user needs or predefined applications models. Here, it is the availability of the components that triggers opportunistically the on-the-fly building of applications. It is controlled by an intelligent system, called opportunistic composition engine, which decides on the "right" compositions to be made without user input. In such a way, the applications "emerge" dynamically from the ambient environment. Thus, emerging applications can be unexpected or unknown to the user. At the center of the system, the latter must be informed of these applications. On the first hand, she/he must be able to control them, i.e., accept or reject them, and if she/he has the required skills, modify them or eventually build applications herself/himself by assembling software components present in the ambient environment. However, in the control tasks, the user must be assisted as well as possible. On the other hand, in order for the opportunistic composition engine to build relevant assemblies in the absence of explicit needs, it must receive information from the user. In this thesis, we propose an approach based on Model Driven Engineering (MDE) in order to put the user "at the center of the loop". The objective is to present the emerging applications to the user, to assist him in his interventions and to extract useful feedback data to provide to the "intelligent" composition engine. Our solution is based on a metamodel for assembling software components, on different domain-specific languages (DSL) that support application descriptions, and on a graphical editor for editing applications and capturing user feedback. Different methods for model transformations are used to generate structural and semantic application descriptions for different users, from the applications models build by the intelligent engine. In addition, the descriptions can be easily adjusted to a particular human, by changing or adapting the DSL and the model transformations to the user's profile. Unlike the traditional use of MDE where tools and techniques are used by engineers to develop software and generate code, the focus in our approach is on the end users. The entire solution has been implemented and works coupled with the engine. That is to say, our solution is able to intercept the applications models built by the engine, to transform them into presentable models that can be understood and modified by the user, and finally to capture the user feedback and give it back to the engine to update its knowledge., L'intelligence ambiante vise à offrir à un utilisateur humain des applications et des services personnalisés et adaptés à la situation courante. L'environnement ambiant, dans lequel cet humain est plongé, est composé d'un ensemble d'objets connectés et de composants logiciels qui sont des briques de base pour la construction d'applications par composition. La disponibilité de ces composants peut varier dynamiquement, en cas de mobilité par exemple. Ceux-ci peuvent apparaître ou disparaître de manière non anticipée. De plus, dans ces environnements dynamiques et ouverts, le besoin de l'utilisateur humain n'est pas stable ni toujours bien défini. Pour construire des applications dans un tel contexte, et fournir à l'utilisateur "les bonnes applications au bon moment", notre équipe explore une approche originale appelée "composition logicielle opportuniste" : l'idée est de construire des applications à la volée par assemblage de composants logiciels présents dans l'environnement sur le moment, sans se baser sur des besoins explicites ni sur des schémas de construction prédéfinis. C'est l'opportunité qui déclenche la construction des applications à la volée. Elle est contrôlée par un système intelligent, appelé moteur de composition opportuniste, qui doit décider des "bonnes" compositions à effectuer sans contribution explicite de l'utilisateur. Ainsi, les applications "émergent" dynamiquement. Les applications émergentes peuvent être imprévues ou inconnues de l'utilisateur. Au centre du système, ce dernier doit être en informé. Il doit pouvoir les contrôler, c'est-à-dire les accepter ou les rejeter, et s'il a les compétences requises, les modifier ou même construire lui-même des applications en assemblant des composants logiciels présents dans l'environnement ambiant. Dans les tâches de contrôle, l'utilisateur doit être assisté au mieux. D'autre part, pour que le moteur de composition opportuniste construise des assemblages pertinents en l'absence de besoins explicites, il doit recevoir des informations de l'utilisateur. Ceci ne doit cependant pas entraîner, pour l'utilisateur, une surcharge d'information ou d'opérations à effectuer. Dans cette thèse, nous proposons une approche basée sur l'ingénierie dirigée par les modèles (IDM) afin de mettre l'utilisateur "au centre de la boucle". Il s'agit de lui présenter les applications émergentes, de l'assister dans son contrôle et d'extraire des données de feedback utiles à fournir au moteur de composition "intelligent". Notre solution repose sur un métamodèle d'assemblage de composants logiciels, des langages spécifiques à un domaine (DSL) qui supportent la description des applications, un éditeur graphique qui permet d'éditer les applications et de capturer le feedback de l'utilisateur. Différentes transformations de modèle permettent l'interfaçage avec le moteur de composition et la génération de différentes formes de descriptions structurelles et sémantiques des applications pour des utilisateurs différents. En outre, les descriptions peuvent être facilement ajustées à un humain particulier, en changeant ou en adaptant les DSL et les transformations de modèle au profil de l'utilisateur. Dans notre approche, contrairement à l'utilisation classique de l'IDM où les outils et les techniques sont utilisés par les ingénieurs pour développer des logiciels et générer du code, le focus est sur les utilisateurs finaux qui prennent la place des ingénieurs. L'ensemble de la solution a été implémentée et fonctionne de manière couplée avec le moteur de composition opportuniste : notre solution prend en entrée les applications proposées par le moteur, les transforme en des modèles présentables, compréhensibles et modifiables par l'utilisateur, et enfin capture le feedback de l'utilisateur pour le transmettre au moteur pour mettre à jour sa connaissance.

National audience

International audience; Dependency solving is a hard (NP-complete) problem in all non-trivial component models due to either mutually incompatible versions of the same packages or explicitly declared package conflicts. As such, software upgrade planning needs to rely on highly specialized dependency solvers, lest falling into pitfalls such as incompleteness-a combination of package versions that satisfy dependency constraints does exist, but the package manager is unable to find it. In this paper we look back at proposals from dependency solving research dating back a few years. Specifically, we review the idea of treating dependency solving as a separate concern in package manager implementations, relying on generic dependency solvers based on tried and tested techniques such as SAT solving, PBO, MILP, etc. By conducting a census of dependency solving capabilities in state-of-the-art package managers we conclude that some proposals are starting to take off (e.g., SAT-based dependency solving) while-with few exceptions-others have not (e.g., out-sourcing dependency solving to reusable components). We reflect on why that has been the case and look at novel challenges for dependency solving that have emerged since.

HPC Shelfis a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification onHPC Shelf. Certification is aimed at providing higher confidence that components of parallel computing systems ofHPC Shelfbehave as expected according to one or more requirements expressed in their contracts. To this end, new abstractions are introduced, starting with certifier components. They are designed to inspect other components and verify them for different types of functional, non-functional and behavioral requirements. The certification framework is naturally based on parallel computing techniques to speed up verification tasks., NORTE-01-0145- FEDER-000037.

Submitted by Ana Rebelo (amsr@isep.ipp.pt) on 2021-03-25T15:28:29Z No. of bitstreams: 1 DM_ThorStruck_2020_MEEC.pdf: 13052353 bytes, checksum: 333c53b1ab58c5072a37e6b565292dca (MD5) Approved for entry into archive by Ana Rebelo (amsr@isep.ipp.pt) on 2021-03-25T15:29:12Z (GMT) No. of bitstreams: 1 DM_ThorStruck_2020_MEEC.pdf: 13052353 bytes, checksum: 333c53b1ab58c5072a37e6b565292dca (MD5) Made available in DSpace on 2021-03-25T15:29:13Z (GMT). No. of bitstreams: 1 DM_ThorStruck_2020_MEEC.pdf: 13052353 bytes, checksum: 333c53b1ab58c5072a37e6b565292dca (MD5) Previous issue date: 2020

How flexible and adaptive a production system can be, unquestionably depends on its software architecture and the level of modularity, flexibility, and adaptability of its software components. Programmable Logic Controllers (PLCs) are responsible for the functionalities of machines in the production system. Therefore PLC-software architecture and its software components play a vital role in a flexible, modular, and adaptive production system. In the current scenario, PLC software components use global variables to interact with each other to deliver certain machine functionality. Having global variables in PLC-software, increase hidden dependencies, reduces flexibility thus results in a less modular and less adaptable production system.In this paper, we are evaluating a service bus concept for modular and adaptable PLC-software that controls modular machines and production cells. As a result, a list of requirements for realizing such a concept is proposed. Refereed/Peer-reviewed (VLID)5483216 Accepted version