|
Keywords:
|
Real-Time, CAN, Petri Nets, communications
|
|
Description:
|
This component is theoretical study offering methodology tool support for analysis of distributed system consisting of n independent processors and deterministic communication bus (CAN). In order to verify distributed RT system, application designer needs to create a model of application tasks and to interconnect this model with the communication bus model provided by this component. Finally he/she needs to define system properties to be verified (deadlock, missed deadline etc.). This component can be used either in a design phase or it can be used to verify existing implementation.
|
|
