Listar por tema "Hardware"

Mostrando ítems 1-3 de 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 ...
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker

Illarramendi, Miren; Etxeberria, Leire; Larrinaga, Felix; Sagardui, Goiuria (IEEE, 2020)

Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
How to Quantify the Security Level of Embedded Systems? A Taxonomy of Security Metrics

Garitano, Iñaki (IEEE, 2020)

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 ...