Browsing Kongresuak-Ingeniaritza by Author "Ali, Shaukat"
Now showing items 1-3 of 3
-
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, ...