Listar por autor "Ali, Shaukat"
Mostrando ítems 1-4 de 4
-
Automating Test Oracle Generation in DevOps for Industrial Elevators
Ibabe Arrieta, Aitor; OTAEGI GURRUTXAGA, MAIALEN; Sagardui, Goiuria (IEEE, 2022)Orona is a world-renowned elevators developer. During elevators' lives, their software continues to evolve, e.g., due to hardware obsolescence, requirements changes, vulnerabilities, and bug corrections. Such continuous ... -
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ... -
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)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, ... -
Uncertainty-aware Robustness Assessment of Industrial Elevator Systems
Arrieta, Aitor (ACM, 2022)Industrial elevator systems are commonly used software systems in our daily lives, which operate in uncertain environments such as unpredictable passenger traffic, uncertain passenger attributes and behaviors, and hardware ...
