Search
Now showing items 1-3 of 3
QoS-aware Metamorphic Testing: An Elevation Case Study
(IEEE, 2020)
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy customization demands and to meet quality of service requirements. Verification and validation ...
A Configurable Validation Environment for Refactored Embedded Software : an Application to the Vertical Transport Domain
(IEEE, 2017)
As systems evolve, their embedded software needs constantly to be refactored. Moreover, given the different needs of different customers, embedded systems require to be customizable. The variability of these systems is ...
DC versus AC in residential buildings: efficiency comparison
(IEEE, 2013)
DC energy solutions are gaining interest in recent years, due to improvements in power electronics. Some companies have developed solutions for the domestic implementation of DC power systems. This article analyzes the ...