Buscar
Mostrando ítems 1-2 de 2
Artículo
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
(IEEE Computer Society, 2022)
Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing complexity of these systems, combined with the un certainty in their interactions with the ...
Artículo
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
(Elsevier, 2021)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial environments, but this popularity has been accompanied by serious security challenges. A CPS is a ...