Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

A solution for estimates in software development projects

The Corporate world is becoming more and more competitive. This leads organisations to adapt to this reality, by adopting more efficient processes, which result in a decrease in cost as well as an increase of product quality. One of these processes consists in making proposals to clients, which necessarily include a cost estimation of the project. This estimation is the main focus of this project. In particular, one of the goals is to evaluate which estimation models fit the Altran Portugal software factory the most, the organization where the fieldwork of this thesis will be carried out. There is no broad agreement about which is the type of estimation model more suitable to be used in software projects. Concerning contexts where there is plenty of objective information available to be used as input to an estimation model, model-based methods usually yield better results than the expert judgment. However, what happens more frequently is not having this volume and quality of information, which has a negative impact in the model-based methods performance, favouring the usage of expert judgement. In practice, most organisations use expert judgment, making themselves dependent on the expert. A common problem found is that the performance of the expert’s estimation depends on his previous experience with identical projects. This means that when new types of projects arrive, the estimation will have an unpredictable accuracy. Moreover, different experts will make different estimates, based on their individual experience. As a result, the company will not directly attain a continuous growing knowledge about how the estimate should be carried. Estimation models depend on the input information collected from previous projects, the size of the project database and the resources available. Altran currently does not store the input information from previous projects in a systematic way. It has a small project database and a team of experts. Our work is targeted to companies that operate in similar contexts. We start by gathering information from the organisation in order to identify which estimation approaches can be applied considering the organization’s context. A gap analysis is used to understand what type of information the company would have to collect so that other approaches would become available. Based on our assessment, in our opinion, expert judgment is the most adequate approach for Altran Portugal, in the current context. We analysed past development and evolution projects from Altran Portugal and assessed their estimates. This resulted in the identification of common estimation deviations, errors, and patterns, which lead to the proposal of metrics to help estimators produce estimates leveraging past projects quantitative and qualitative information in a convenient way. This dissertation aims to contribute to more realistic estimates, by identifying shortcomings in the current estimation process and supporting the self-improvement of the process, by gathering as much relevant information as possible from each finished project.

A CMMI-compliant requirements management and development process

Requirements Engineering has been acknowledged an essential discipline for Software Quality. Poorly-defined processes for eliciting, analyzing, specifying and validating requirements can lead to unclear issues or misunderstandings on business needs and project’s scope. These typically result in customers’ non-satisfaction with either the products’ quality or the increase of the project’s budget and duration. Maturity models allow an organization to measure the quality of its processes and improve them according to an evolutionary path based on levels. The Capability Maturity Model Integration (CMMI) addresses the aforementioned Requirements Engineering issues. CMMI defines a set of best practices for process improvement that are divided into several process areas. Requirements Management and Requirements Development are the process areas concerned with Requirements Engineering maturity. Altran Portugal is a consulting company concerned with the quality of its software. In 2012, the Solution Center department has developed and applied successfully a set of processes aligned with CMMI-DEV v1.3, what granted them a Level 2 maturity certification. For 2015, they defined an organizational goal of addressing CMMI-DEV maturity level 3. This MSc dissertation is part of this organization effort. In particular, it is concerned with the required process areas that address the activities of Requirements Engineering. Our main goal is to contribute for the development of Altran’s internal engineering processes to conform to the guidelines of the Requirements Development process area. Throughout this dissertation, we started with an evaluation method based on CMMI and conducted a compliance assessment of Altran’s current processes. This allowed demonstrating their alignment with the CMMI Requirements Management process area and to highlight the improvements needed to conform to the Requirements Development process area. Based on the study of alternative solutions for the gaps found, we proposed a new Requirements Management and Development process that was later validated using three different approaches. The main contribution of this dissertation is the new process developed for Altran Portugal. However, given that studies on these topics are not abundant in the literature, we also expect to contribute with useful evidences to the existing body of knowledge with a survey on CMMI and requirements engineering trends. Most importantly, we hope that the implementation of the proposed processes’ improvements will minimize the risks of mishandled requirements, increasing Altran’s performance and taking them one step further to the desired maturity level.

Learning facial-expression models with crowdsourcing

The computational power is increasing day by day. Despite that, there are some tasks that are still difficult or even impossible for a computer to perform. For example, while identifying a facial expression is easy for a human, for a computer it is an area in development. To tackle this and similar issues, crowdsourcing has grown as a way to use human computation in a large scale. Crowdsourcing is a novel approach to collect labels in a fast and cheap manner, by sourcing the labels from the crowds. However, these labels lack reliability since annotators are not guaranteed to have any expertise in the field. This fact has led to a new research area where we must create or adapt annotation models to handle these weaklylabeled data. Current techniques explore the annotators’ expertise and the task difficulty as variables that influences labels’ correction. Other specific aspects are also considered by noisy-labels analysis techniques. The main contribution of this thesis is the process to collect reliable crowdsourcing labels for a facial expressions dataset. This process consists in two steps: first, we design our crowdsourcing tasks to collect annotators labels; next, we infer the true label from the collected labels by applying state-of-art crowdsourcing algorithms. At the same time, a facial expression dataset is created, containing 40.000 images and respective labels. At the end, we publish the resulting dataset.

Real-time collaborative editing of OutSystems DSL models

Real-time collaborative editing systems are common nowadays, and their advantages are widely recognized. Examples of such systems include Google Docs, ShareLaTeX, among others. This thesis aims to adopt this paradigm in a software development environment. The OutSystems visual language lends itself very appropriate to this kind of collaboration, since the visual code enables a natural flow of knowledge between developers regarding the developed code. Furthermore, communication and coordination are simplified. This proposal explores the field of collaboration on a very structured and rigid model, where collaboration is made through the copy-modify-merge paradigm, in which a developer gets its own private copy from the shared repository, modifies it in isolation and later uploads his changes to be merged with modifications concurrently produced by other developers. To this end, we designed and implemented an extension to the OutSystems Platform, in order to enable real-time collaborative editing. The solution guarantees consistency among the artefacts distributed across several developers working on the same project. We believe that it is possible to achieve a much more intense collaboration over the same models with a low negative impact on the individual productivity of each developer.

Support in decision-making under uncertainty: a project risk assessment tool development and supplementary advances

A foremost dispute that persists on the contemporary world’s agenda is change. The on-going social/technological/economic changes create a competitive and challenging environment for companies to endure. To benefit from these changes, world economies partially depend on emerging Small and Medium Enterprises (SMEs) and their adaptability skills, and subsequently the development of an integrated capability to innovate has become the prime strategy for most of SMEs to subsist and grow. However, innovation and change are always somewhat bonded to an inherent risk development, which subsequently brings on the necessity of a revision of risk management approaches in innovative processes, whose importance SMEs tend to disregard. Additionally, little efforts have been made to improve and create empirical models, metrics and tools to assist SMEs managing latent risks in their innovative projects. This work seeks to present and discuss a solution to support SMEs in engaging on systematic risk management practices, which consists on an integrated risk assessment and response support web-based tool - Spotrisk® - designed for SMEs. On the other hand, an inherent subjectivity is linked with risk management and identification processes, due to uncertainty trait of its nature, for each individual perceives situations according to his own idiosyncrasy, which brings complications in normalizing risk profiles and procedures. This essay aims to bring insights concerning the support in decision-making processes under uncertainty, by addressing issues related with the risk behavior character among individuals. To address such issues, subjects of neuroscience or psychology are explored and models to identify such character are proposed, as well as models to improve presented tool. This work attempts to go beyond the restrictive aim of endeavoring on technical improvement dissertation, and in embraces an exploratory conceptualization concerning micro, small and medium businesses’ traits regarding risk characters and project risk assessment tools.

Use of Poisson spatiotemporal regression models for the Brazilian Amazon Forest: malaria count data

INTRODUCTION: Malaria is a serious problem in the Brazilian Amazon region, and the detection of possible risk factors could be of great interest for public health authorities. The objective of this article was to investigate the association between environmental variables and the yearly registers of malaria in the Amazon region using Bayesian spatiotemporal methods. METHODS: We used Poisson spatiotemporal regression models to analyze the Brazilian Amazon forest malaria count for the period from 1999 to 2008. In this study, we included some covariates that could be important in the yearly prediction of malaria, such as deforestation rate. We obtained the inferences using a Bayesian approach and Markov Chain Monte Carlo (MCMC) methods to simulate samples for the joint posterior distribution of interest. The discrimination of different models was also discussed. RESULTS: The model proposed here suggests that deforestation rate, the number of inhabitants per km², and the human development index (HDI) are important in the prediction of malaria cases. CONCLUSIONS: It is possible to conclude that human development, population growth, deforestation, and their associated ecological alterations are conducive to increasing malaria risk. We conclude that the use of Poisson regression models that capture the spatial and temporal effects under the Bayesian paradigm is a good strategy for modeling malaria counts.

Development of an experimental setup for metal cutting research

Analytical, numerical and experimental models have been developed over time to try to characterize and understand the metal cutting process by chip removal. A true knowledge of the cutting process by chip removal is required by the increasing production, by the quality requirements of the product and by the reduced production time, in the industries in which it is employed. In this thesis an experimental setup is developed to evaluate the forces and the temperature distribution in the tool according to the orthogonal cutting model conditions, in order to evaluate its performance and its possible adoption in future works. The experimental setup is developed in a CNC lathe and uses an orthogonal cutting configuration, in which thin discs fixed onto a mandrel are cut by the cutting insert. In this experimental setup, the forces are measured by a piezoelectric dynamometer while temperatures are measured by thermocouples placed juxtaposed to the side face of the cutting insert. Three different solutions are implemented and evaluated for the thermocouples attachment in the cutting insert: thermocouples embedded in thermal paste, thermocouples embedded in copper plate and thermocouples brazed in the cutting insert. From the tests performed in the experimental setup it is concluded that the adopted forces measurement technique shows a good performance. Regarding to the adopted temperatures measurement techniques, only the thermocouples brazed in the cutting insert solution shows a good performance for temperature measurement. The remaining solutions show contact problems between the thermocouple and the side face of the cutting insert, especially when the vibration phenomenon intensifies during the cut. It is concluded that the experimental setup does not present a sufficiently robust and reliable performance, and that it can only be used in future work after making improvements in the assembly of the thermocouples.

Contribution to drug discovery and development for tauopathies using yeast as a model

This work aimed to contribute to drug discovery and development (DDD) for tauopathies, while expanding our knowledge on this group of neurodegenerative disorders, including Alzheimer’s disease (AD). Using yeast, a recognized model for neurodegeneration studies, useful models were produced for the study of tau interaction with beta-amyloid (Aβ), both AD hallmark proteins. The characterization of these models suggests that these proteins co-localize and that Aβ1-42, which is toxic to yeast, is involved in tau40 phosphorylation (Ser396/404) via the GSK-3β yeast orthologue, whereas tau seems to facilitate Aβ1-42 oligomerization. The mapping of tau’s interactome in yeast, achieved with a tau toxicity enhancer screen using the yeast deletion collection, provided a novel framework, composed of 31 genes, to identify new mechanisms associated with tau pathology, as well as to identify new drug targets or biomarkers. This genomic screen also allowed to select the yeast strain mir1Δ-tau40 for development of a new GPSD2TM drug discovery screening system. A library of unique 138 marine bacteria extracts, obtained from the Mid-Atlantic Ridge hydrothermal vents, was screened with mir1Δ-tau40. Three extracts were identified as suppressors of tau toxicity and constitute good starting points for DDD programs. mir1Δ strain was sensitive to tau toxicity, relating tau pathology with mitochondrial function. SLC25A3, the human homologue of MIR1, codes for the mitochondrial phosphate carrier protein (PiC). Resorting to iRNA, SLC25A3 expression was silenced in human neuroglioma cells, as a first step towards the engineering of a neural model for replicating the results obtained in yeast. This model is essential to understand the mechanisms of tau toxicity at the mitochondrial level and to validate PiC as a relevant drug target. The set of DDD tools here presented will foster the development of innovative and efficacious therapies, urgently needed to cope with tau-related disorders of high human and social-economic impact.

The role of arl13b in cilia length regulation and in zebrafish development

RESUMO: Arl13b é uma importante proteína ciliar, presente em cílios primários e cílios móveis. Ratinhos mutantes para Arl13b têm comprimento dos cílios reduzido e defeitos nos B-túbulos dos cílios. Como consequência destes fenótipos, deficiências na Arl13b originam, em modelos animais, várias doenças congénitas, incluindo problemas no estabelecimento do eixo esquerda-direita, malformações cerebrais e deformações corporais. Nos seres humanos, deficiências na Arl13b levam a uma doença crónica congénita chamada Síndrome de Joubert. Por outro lado, a sobreexpressão de Arl13b origina cílios mais longos, no entanto existe uma ausência da caracterização dos fenótipos celulares e durante o desenvolvimento embrionário. Neste trabalho, quisemos explorar o efeito da sobre-expressão de Arl13b em embriões de peixezebra. Descobrimos que, ao nível ciliar, a sobre-expressão de Arl13b nas células aumenta o comprimento ciliar em cílios primários e móveis, no entanto, a esses cílios falta adequada acetilação da alfa-tubulina no citoesqueleto feito por microtúbulos. Os nossos resultados mostraram que esse efeito é específico de Arl13b sobre-expressão e quando se manipularam as enzimas responsáveis pela acetilação (Mec17) e pela de-acetilação (HDAC6) encontrámos uma sinergia potencial com ambas. Testámos ainda, que o aumento no comprimento ciliar não estava causalmente relacionado com a falta de acetilação, ou seja, os cílios com menos acetilação não eram necessariamente os mais longos. Também mostrámos que a sobre-expressão de Arl13b é capaz de restaurar o comprimento dos cílios em mutantes com cílios curtos e como isso pode ser explorado para um futuro potencial papel terapêutico para Arl13b. Em seguida, foi avaliado o impacto do aumento da quantidade de Arl13b no desenvolvimento embrionário do peixe-zebra. Observou-se que a sobre-expressão de Arl13b apresentava fenótipos muito fracos, quando comparados com a perda de função dos mutantes de Arl13b. Focados no inesperado fenótipo leve no estabelecimento do eixo esquerda-direita abordámos a questão através do estabelecimento de uma colaboração com matemáticos, descobrimos que os cílios mais longos que potencialmente têm a capacidade de movimentar mais fluido são atenuados por amplitudes de batimento menores, e, como resultado, estes longos cílios não prejudicam o movimento do fluido e consequentemente não afetam o estabelecimento dos padrões de esquerda-direita. Sugerimos assim que a Arl13b é um regulador chave, do comprimento ciliar. Descobrimos uma nova interação com as enzimas de acetilação/de-acetilação e levantamos novas hipóteses quanto aos mecanismos moleculares da função da Arl13b. Propomos um novo modelo para o mecanismo molecular da Arl13b na regulação do comprimento dos cílios onde podemos integrar os nossos resultados com os relatados na literatura. Este trabalho adiciona mais conhecimento para o mecanismo de ação da Arl13b e, portanto, fornece uma importante contribuição para o campo da investigação em cílios.---------------------------------------------------------------------------------------------------------------------- ABSTRACT: Arl13b is an important ciliary protein, present in primary and motile cilia. arl13b-/- mouse mutants have reduced cilia length and cilia B-tubule defects. As a consequence of these phenotypes, Arl13b loss of function animal models suffer from several congenital disorders including left-right problems, brain malformations and body deformations. In humans Arl13b depletion leads to a congenital chronic disease called Joubert Syndrome. On the other hand, overexpressing Arl13b leads to longer cilia but the characterization of the cellular and developmental phenotypes was missing. In this work we explore the effect of Arl13b overexpression in zebrafish embryos. We found that, at the ciliary level, Arl13b overexpression from 1 cell stage produces longer primary and motile cilia, but these cilia lack proper alpha tubulin acetylation of their microtubule cytoskeleton. Our results showed that this effect is specific from Arl13b overexpression and when we manipulated the enzymes responsible for acetylation, Mec17, and de-acetylation, HDAC6, we found a potential synergy of both mec17 knockdown and HDAC6 activity with Arl13b overexpression. We tested that the ciliary increase in length was not causally related to the lack of acetylation, meaning the more de-acetylated cilia were not necessarily the longer ones. We also showed that Arl13b overexpression is able to restore cilia length in short cilia mutants and how that may be explored to a potential future therapeutic role for Arl13b. Next, we evaluated the impact of increasing the amount of Arl13b in zebrafish embryonic development. We observed that Arl13b overexpression presented very mild phenotypes when compared to the loss of function mutants. We focused on the unexpected left-right mild phenotype and by establishing a mathematical modeling collaboration, we found out that the longer cilia generated force was attenuated by smaller beating amplitudes, and as a result, these long cilia were not impairing the cilia generated flow and the establishment of left-right patterning. We suggest that Arl13b is one key cilia length regulator. We disclosed a novel interaction with the acetylation / de-acetylation enzymes and raised new hypothesis as to the mechanisms of Arl13b function. We propose a new model for the Arl13b molecular mechanism of cilia length regulation where we integrate our findings with those reported in the literature. This work adds more knowledge to the Arl13b mechanism of action and therefore provides an important contribution to the cilia research field.

Conceptual-physical bridging – From BPMN models to physical implementations on kettle

Developing and implementing data-oriented workflows for data migration processes are complex tasks involving several problems related to the integration of data coming from different schemas. Usually, they involve very specific requirements - every process is almost unique. Having a way to abstract their representation will help us to better understand and validate them with business users, which is a crucial step for requirements validation. In this demo we present an approach that provides a way to enrich incrementally conceptual models in order to support an automatic way for producing their correspondent physical implementation. In this demo we will show how B2K (Business to Kettle) system works transforming BPMN 2.0 conceptual models into Kettle data-integration executable processes, approaching the most relevant aspects related to model design and enrichment, model to system transformation, and system execution.

Automatic generation of ETL physical systems from BPMN conceptual models

ETL conceptual modeling is a very important activity in any data warehousing system project implementation. Owning a high-level system representation allowing for a clear identification of the main parts of a data warehousing system is clearly a great advantage, especially in early stages of design and development. However, the effort to model conceptually an ETL system rarely is properly rewarded. Translating ETL conceptual models directly into something that saves work and time on the concrete implementation of the system process it would be, in fact, a great help. In this paper we present and discuss a hybrid approach to this problem, combining the simplicity of interpretation and power of expression of BPMN on ETL systems conceptualization with the use of ETL patterns to produce automatically an ETL skeleton, a first prototype system, which has the ability to be executed in a commercial ETL tool like Kettle.

Development of an integral viscoelastic flow solver in OpenFOAM®

The usual high cost of commercial codes, and some technical limitations, clearly limits the employment of numerical modelling tools in both industry and academia. Consequently, the number of companies that use numerical code is limited and there a lot of effort put on the development and maintenance of in-house academic based codes. Having in mind the potential of using numerical modelling tools as a design aid, of both products and processes, different research teams have been contributing to the development of open source codes/libraries. In this framework, any individual can take advantage of the available code capabilities and/or implement additional features based on his specific needs. These type of codes are usually developed by large communities, which provide improvements and new features in their specific fields of research, thus increasing significantly the code development process. Among others, OpenFOAM® multi-physics computational library, developed by a very large and dynamic community, nowadays comprises several features usually only available in their commercial counterparts; e.g. dynamic meshes, large diversity of complex physical models, parallelization, multiphase models, to name just a few. This computational library is developed in C++ and makes use of most of all language capabilities to facilitate the implementation of new functionalities. Concerning the field of computational rheology, OpenFOAM® solvers were recently developed to deal with the most relevant differential viscoelastic rheological models, and stabilization techniques are currently being verified. This work describes the implementation of a new solver in OpenFOAM® library, able to cope with integral viscoelastic models based on the deformation field method. The implemented solver is verified through the comparison of the predicted results with analytical solutions, results published in the literature and by using the Method of Manufactured Solutions.

Measuring university-to-work success: development of a new scale

Purpose – The purpose of this paper is to develop a subjective multidimensional measure of early career success during university-to-work transition. Design/methodology/approach – The construct of university-to-work success (UWS) was defined in terms of intrinsic and extrinsic career outcomes, and a three-stage study was conducted to create a new scale. Findings – A preliminary set of items was developed and tested by judges. Results showed the items had good content validity. Factor analyses indicated a four-factor structure and a second-order model with subscales to assess: career insertion and satisfaction, confidence in career future, income and financial independence, and adaptation to work. Third, the authors sought to confirm the hypothesized model examining the comparative fit of the scale and two alternative models. Results showed that fits for both the first- and second-order models were acceptable. Research limitations/implications – The proposed model has sound psychometric qualities, although the validated version of the scale was not able to incorporate all constructs envisaged by the initial theoretical model. Results indicated some direction for further refinement. Practical implications – The scale could be used as a tool for self-assessment or as an outcome measure to assess the efficacy of university-to-work programs in applied settings. Originality/value – This study provides a useful single measure to assess early career success during the university-to-work transition, and might facilitate testing of causal models which could help identify factors relevant for successful transition.

Development of a methodology to incorporate risk and uncertainty in electricity power planning

Dissertação de mestrado em Engenharia Industrial