Olga Fengler, Wolfgang Fengler, Thorsten Hummel
Verification Method for Modelling Cooperating Processes with Coloured Sequence Diagrams


Abstract:
The design of complex distributed embedded systems often is a great challenge due to the 
numerousness and the large size of parallel real-time operating components. In this 
research paper the problems of proofing the correctness of such systems are discussed. 
As approach the use of well-known Petri net verification methods for modelling formalisms 
like Coloured Dynamic Sequence Diagrams is suggested. The extension of the time-related 
verification method for Coloured Petri Nets, derived from Coloured Sequence Diagrams for 
modelling of embedded real-time systems, is shown. A definition of Coloured Time Interval 
Petri Nets is given, and finally, a verification method for time-related aspects is 
presented. A verification reference example demonstrates the applicability.

Key Words:
Modelling, Verification, Embedded Systems, Coloured Sequence Diagram, Interval Petri nets. 


in: 
The 23rd IASTED International Conference on MODELLING, IDENTIFICATION, AND CONTROL
~MIC 2004~
February 23-25, 2004
Grindelwald, Switzerland