Sökning: "Johan Lidén Eddeland"
Hittade 2 avhandlingar innehållade orden Johan Lidén Eddeland.
1. Falsification of Signal-Based Specifications for Cyber-Physical Systems
Sammanfattning : In the development of software for modern Cyber-Physical Systems, testing is an integral part that is rightfully given a lot of attention. Testing is done on many different abstraction levels, and especially for large-scale industrial systems, it can be difficult to know when the testing should conclude and the software can be considered correct enough for making its way into production. LÄS MER
2. On Falsification of Large-Scale Cyber-Physical Systems
Sammanfattning : In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-loop system is an approach for finding potential faults and increasing quality of developed products. Testing is done on many different abstraction levels, and for large-scale industrial systems, there are several challenges. LÄS MER