The software of elevators requires maintenance over several years to deal with new functionality, correction of bugs or legislation changes. To automatically validate this software, test oracles are necessary. A typical ...

Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ...

Embedded Systems (ES) development has been historically focused on functionality rather than security, and today it still applies in many sectors and applications. However, there is an increasing number of security threats ...

This paper presents a partial-power processing architecture intended for an on-board charger. This module is integrated into a Battery Energy Storage System (BESS). This model allows us to easily control the charge-discharge ...

This paper presents the analysis and study of different partial-power processing architectures based on the Cuk converter. Thus, the non-isolated topologies analyzed have been considered operative as voltage source converter ...

The trend towards industrialization and digitalization has led more and more companies to deploy robots in their manufacturing facilities. In the field of collaborative robotics, the KUKA LBR iiwa is one of the benchmark ...

Programmable Logic Controllers (PLCs) are the core unit of the production system, which frequently need to implement new processes to address customer needs. These changes must be fully tested to ensure the reliability of ...