Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?

Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique is expensive because complex mathematical models are used to model the physi...

Celý popis

Podrobná bibliografie

Vydáno v:	2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) s. 549 - 553
Hlavní autoři:	Valle, Pablo, Arrieta, Aitor
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.03.2022
Témata:	Adaptation models Analytical models Costs Debugging Location awareness Simulink Models Software algorithms Software packages
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!