Abstract
To ensure interoperability and the correct end-to-end behavior of heterogenous distributed systems, it is important to conduct integration tests that verify the interactions with the environment and between the system components in key scenarios. The automation of such integration tests requires that test components are also distributed, with local testers deployed close to the system components, coordinated by a central tester. In such a test architecture, it is important to maximize the autonomy of the local testers to minimize the communication overhead and maximize the fault detection capability. A test scenario is called locally observable and locally controllable, if conformance errors can be detected locally and test inputs can be decided locally, respectively, by the local testers, without the need for exchanging coordination messages between the test components during test execution (i.e., without any communication overhead). For test scenarios specified by means of UML sequence diagrams that don’t exhibit those properties, we present in this paper an approach with tool support to automatically find coordination messages that, added to the given scenario, make it locally controllable and locally observable. © Springer Nature Switzerland AG 2019.

Abstract

Abstract
The field of automated learning has been steadily growing in robotic tasks. This phenomenon is supported by the evolution of computational resources and new reinforcement learning algorithms. Researchers have drawn their attentions to methods that are easy to implement and tune, while achieving state-of-the-art performance. This trend also affects the world of robotic soccer, where new papers delve systematically into the optimization of basic skills. However, when learning higher-level strategies, there is space for improvement on two fronts. First, the simulation environment should allow the agent to abstract from low-level details. Second, the existing methods to train this kind of behaviors are still scarce. This paper contributes with innovative problem-solving methods, specifically in the rewards field. To test alternative approaches, an extended version of the RoboCup's official Soccer Server simulator was used. The results have confirmed the importance of the proposed reward components and their relationship with the episodes' initial conditions.

Abstract

Abstract
Nowadays, Lean Manufacturing, Industry 4.0, and Sustainability are important concerns for the companies and in a general way for the society, principally, the influence of the two production philosophies, Lean Manufacturing and Industry 4.0, in the three main pillars of sustainability: economic, environmental, and social. According to the literature review done in this work, these relations are not well known and are dispersed by different sustainability's criteria. To address this gap, this research proposes a structural equation model, with six hypotheses, to quantitatively measure the effects of Lean Manufacturing and Industry 4.0, in Sustainability. To statistically validate such hypotheses, we collected 252 valid questionnaires from industrial companies of Iberian Peninsula (Portugal and Spain). Results show that: (1) it is not conclusive that Lean Manufacturing is correlated with any of the sustainability pillars; and (2) Industry 4.0 shows a strong correlation with the three sustainability pillars. These results can contribute as an important decision support for the industrial companies and its stakeholders, even because not all the results are in line with other opinions and studies.

Abstract