Abstract

Abstract

Abstract
Business Process Testing is the act of validating that end-to-end transactions through enterprise systems continue to work correctly as the underlying packaged applications evolve. End-to-end automatic business process validation can be a challenging task, but an important way to check that business rules continue to work properly and that problems are detected and corrected as soon as possible. This paper presents the design of a test automation platform, ETAP-Pro, to test end-to-end business processes that aims to overcome some challenges in validating business processes.

Abstract
User centred design approaches typically focus understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The sketch design of a device is enhanced into a specification that is then analysed using formal techniques, thus providing a systematic approach to checking plausibility and consistency during early design stages. Once analysed, a further prototype is constructed using an executable form of the specification, providing the next candidate for evaluation with potential users. The technique is illustrated through an example based on a pill dispenser.

Abstract
This work deals with the design of a smart balancing system for e-mobility applications. Low-cost bi-directional DC/DC converters, based on cell-to-cell shared energy transfer configuration, are used to connect battery cells to the balancing bus, which also includes a supercapacitor bank. This system can be seen as a hybrid battery management system (HBMS), since, in addition to traditional BMS features, it also enables hybridization of batteries and supercapacitors. A convex optimization problem is formulated to control the HBMS, focusing on the minimization of energy losses, while considering safety and balancing constraints. Simulation results demonstrate that, in comparison with state-of-the-art BMS solutions, the proposed HBMS reduces energy losses in up to 15%.

Abstract
In the current manufacturing world, the role of maintenance has been receiving increasingly more attention while companies understand that maintenance, when well performed, can be a strategic factor to achieve the corporate goals. The latest trends of maintenance leans towards the predictive approach, exemplified by the Prognosis and Health Management (PHM) and the Condition-based Maintenance (CBM) techniques. The implementation of such approaches demands a well structured architecture and can be boosted through the use of emergent ICT technologies, namely Internet of Things (IoT), cloud computing, advanced data analytics and augmented reality. Therefore, this paper describes the architecture of an intelligent and predictive maintenance system, aligned with Industry 4.0 principles, that considers advanced and online analysis of the collected data for the earlier detection of the occurrence of possible machine failures, and supports technicians during the maintenance interventions by providing a guided intelligent decision support.