Abstract
The Brazilian oil industry is facing a period of significant techno-economic challenges to meet the increase in reserves and production in ultra-deep waters. The subsea production system is an essential technological frontier to ensure the technical and economic viability of oil fields. Thus, the use of digital technologies fits in with these goals and already shows promising results, which stimulate companies in the development of digitalization. For this, the main aim of this chapter is to investigate the role of digital transformation to the subsea productive system of the Brazilian oil industry. By using the analytical and theoretical framework of innovation system, the author explores the relevance, capacity, and strategy developed for the use of digital transformation into subsea production system activities. It was possible to identify the critical features of techno-economic development and conclude that despite the existing capacity, coordination, interactions, and funding are issues to be promoted and improved.

Abstract
Despite documentation being considered the primary challenge to agile methods in safety-critical software systems development [1], agile would be of particular interest to improve changeability while providing efficiency and effectiveness to all the phases of software development. In this work, we created mechanisms for automating document processing and management to improve the efficiency and effectiveness of documentation activities of safety-critical software systems development, most concretely in the aerospace domain. The implemented tools were co-designed and validated iteratively in the concrete industrial context of Critical Software (CSW) projects, within a wider research work towards continuous certification [3]. We interviewed Critical Software professionals to validate our solution, collected feedback on the implemented tools and got insights for future work. The tools were also the target of synthetic tests that allowed us to conclude that document automation is possible in the critical-safety software development industry and carries several benefits. The developed tools are not yet qualified in compliance with the DO-330 standard (Tools Qualification).

Abstract

Abstract
Often referred to as 'the mathematics of dynamical, state-based systems', Coalgebra claims to provide a compositional and uniform framework to specify, analyse and reason about state and behaviour in computing. This paper addresses this claim by discussing why Coalgebra matters for the design of models and logics for computational phenomena. To a great extent, in this domain one is interested in properties that are preserved along the system's evolution, the so-called 'business rules' or system's invariants, as well as in liveness requirements, stating that e.g. some desirable outcome will be eventually produced. Both classes are examples of modal assertions, i.e. properties that are to be interpreted across a transition system capturing the system's dynamics. The relevance of modal reasoning in computing is witnessed by the fact that most university syllabi in the area include some incursion into modal logic, in particular in its temporal variants. The novelty is that, as it happens with the notions of transition, behaviour, or observational equivalence, modalities in Coalgebra acquire a shape. That is, they become parametric on whatever type of behaviour, and corresponding coinduction scheme, seems appropriate for addressing the problem at hand. In this context, the paper revisits Coalgebra from a computational perspective, focussing on three topics central to software design: how systems are modelled, how models are composed, and finally, how properties of their behaviours can be expressed and verified.

Abstract
Parkinson's disease (PD) is a neurodegenerative disorder that impairs people's mobility. Due to its erratic nature and complexity, the progression of the disease differs from person to person, making it difficult to keep track of the patient's progress. These factors, together with the limited number of annual clinical appointments, create the need to have a tool that can help patients and healthcare professionals better manage Parkinson's outside of the clinical environment. PDapp strives to address this need combining mHealth features with the capabilities of the iHandU appcessory, a novel and seamless wearable device designed to measure wrist rigidity, bradykinesia (slow movement), and tremor, thus enabling continuous effective follow-up, while connecting patients and clinicians remotely. The PDapp system is comprised of a mobile application where patients can manage their medication, self-perform various symptom tests, and maintain clinicians informed of relevant events; a specialized web dashboard for clinicians to monitor all their patient's history and recent events; and a cloud database that exhibits existing data in real-time. The first prototype integrates all these components and provides a promising proof-of-concept that, with a few additions, can be a system that brings value to Parkinson's management. This application design and functionalities were developed jointly with clinicians, addressing their problems and needs. The collected feedback was very positive stating that its usability and simplicity is completely suitable for patients to use. PDapp will introduce a complete and innovative methodology to follow-up PD patient's disease progression and support clinicians during appointments and patients at home, guiding medication adjustment for better disease management. This system is intended as one more step to the PD mHealth ecosystem, improving follow-up and disease therapy yet reducing clinicians' workload.

Abstract
Collaborative robots are being increasingly used by manufacturing companies due to their potential to help companies cope with market volatility. Before introducing this technology, companies face the decision phase where they determine the investment feasibility. Decision models for cobot adoption can assist decision-makers in this task, but they require previous identification of decision criteria. Since existing literature overlooked this issue, this study aims to provide a list of decision criteria that can be considered in the cobot adoption decision process. These criteria were identified by a literature review of the benefits, advantages, and disadvantages of cobot adoption. Results show that flexibility, competitiveness, ergonomics, quality, safety, space, mobility, ease of programming, technical features, human-robot collaboration, and productivity are important aspects to consider when deciding whether to invest in cobots. The findings of this study provide a better understanding of the decision process for cobot adoption by listing decision criteria along with some indicators, which is an important input for the design of a decision-making process.