Poster abstract: methods and tools for verification of cyber-physical systems

As chip technology scales, it is becoming possible to integrate multiple cores on a single chip which communicate using a network-on-chip (NoC) paradigm. One CPS application area that can leverage this is in automotive electronic systems which often require more than 50 electronic control units (ECUs) to operate everything from the entertainment system to the anti-lock breaks. Currently, each ECU is statically tied to specific sensors and actuators which means that processing power of each ECU cannot be shared, and when an ECU fails, it causes a malfunction in the corresponding sensor/actuator. With an NoC approach, it makes the mapping between ECUs and sensors/actuators flexible allowing for a sharing of processing power and enabling fault tolerance by having spare units.