Scalable Component-based Model Revision of Cyber-Physical Systems with Separation of Concerns

Abstract:

As part of our CPS project, we have focused on the problem of model repair for cyber-physical systems. This work involves identifying constraints caused due to physical components during revision. We consider four types of constraints cyber-cyber, cyber-physical, physical-cyber and  physical-physical. Based on the complexity limitations caused by these constraints we are developing efficient heuristics to mitigate the cost of model repair. We have also focused on extending revision to code level. In particular, we have focused on the problem of repairing a given C program to remove deadlocks and livelocks. We are also developing algorithms for repairing programs in SystemC to add fault-tolerance. As part of the current activities, we have developed algorithms and tools for analysis of faults in these programs. The results from this work show that the cost of fault-impact analysis is comparable with that of fault-free analysis.