Bilatu
2-tik 1-2 emaitza erakusten
Re-use of tests and arguments for assesing dependable mixed-critically systems
(Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2017)
The safety assessment of mixed-criticality systems (MCS) is a challenging activity due to system heterogeneity, design constraints and increasing complexity. The foundation for MCSs is the integrated architecture paradigm, ...
Simulation-based Metamorphic Testing of Cyber-Physical Systems
(Mondragon Unibertsitatea. Goi Eskola Politeknikoa, 2022)
Cyber-Physical Systems (CPSs) are heterogeneous systems in which software components and physical processes interact with each other. These systems have strict requirements that are difficult to verify, resulting in very ...