Modeling a Heterogeneous Embedded System in Coloured Petri Nets

[摘要] Embedded devices are everywhere now and, unlike personalcomputers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to masterprogramming paradigms in all related languages. So, a defect may occurif differences in systems' behaviors are ignored. In this paper, a heterogeneoussystem which is composed of two subsystems is introducedand we point out a potential defect in this system caused by an interfacemismatch. Then, a state based approach is applied to verify our analysisof the system.

[学科分类] 应用数学