Description

Testing and Verification of Cyber-Physical Systems (CPS) is a challenging problem. The challenge arises as a result of the complex interactions between the components of these systems: the digital control,

Testing and Verification of Cyber-Physical Systems (CPS) is a challenging problem. The challenge arises as a result of the complex interactions between the components of these systems: the digital control, and the physical environment. Furthermore, the software complexity that governs the high-level control logic in these systems is increasing day by day. As a result, in recent years, both the academic community and the industry have been heavily invested in developing tools and methodologies for the development of safety-critical systems.

Reuse Permissions
  • 3.61 MB application/pdf

    Download count: 0

    Details

    Contributors
    Date Created
    • 2017
    Resource Type
  • Text
  • Collections this item is in
    Note
    • Doctoral Dissertation Computer Science 2017

    Machine-readable links