Periodic Reporting for period 2 - PropRT (Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems)

The advanced development of embedded computing devices, accessible networks, and sensor devices has triggered the emergence of complex cyber-physical systems (CPS). A cyber-physical system continuously monitors and affects the physical environment which also interactively...