Search
Now showing items 1-2 of 2
Automated Testing of a Commercial Cyber-Physical System Development Tool Chain
(2019-11-14)
Rigorous validation of commercial cyber-physical system (CPS) tool chains (e.g., MATLAB/Simulink) through automated testing is of utmost importance since tool-chain generated artifacts are often deployed in safety-critical ...
CYBER-PHYSICAL SYSTEMS: FROM SPECIFICATION INFERENCE TO DESIGN ANALYSIS
(2018-05-02)
Due to the high degree of uncertainty and complexity, design and analysis of cyber-physical systems (CPS) are very challenging tasks. The challenge arises immediately in the early CPS development cycle, which is the stage ...