Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Embedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to master programming paradigms in all related languages. So, a defect may occur if differences in systems'...

Full description

Bibliographic Details
Main Authors: Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
Format: Article
Language:English
Published: Hindawi Limited 2014-01-01
Series:Journal of Applied Mathematics
Online Access:http://dx.doi.org/10.1155/2014/943094
id doaj-bb6b980c2c064f28a5d0d49fca9e786a
record_format Article
spelling doaj-bb6b980c2c064f28a5d0d49fca9e786a2020-11-24T23:49:55ZengHindawi LimitedJournal of Applied Mathematics1110-757X1687-00422014-01-01201410.1155/2014/943094943094Modeling a Heterogeneous Embedded System in Coloured Petri NetsHuafeng Zhang0Hehua Zhang1Ming Gu2Jiaguang Sun3School of Computer Science, TNList, Tsinghua University, Beijing 100084, ChinaSchool of Software, TNList, Tsinghua University, Beijing 100084, ChinaSchool of Software, TNList, Tsinghua University, Beijing 100084, ChinaSchool of Software, TNList, Tsinghua University, Beijing 100084, ChinaEmbedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to master programming paradigms in all related languages. So, a defect may occur if differences in systems' behaviors are ignored. In this paper, a heterogeneous system which is composed of two subsystems is introduced and we point out a potential defect in this system caused by an interface mismatch. Then, a state based approach is applied to verify our analysis of the system.http://dx.doi.org/10.1155/2014/943094
collection DOAJ
language English
format Article
sources DOAJ
author Huafeng Zhang
Hehua Zhang
Ming Gu
Jiaguang Sun
spellingShingle Huafeng Zhang
Hehua Zhang
Ming Gu
Jiaguang Sun
Modeling a Heterogeneous Embedded System in Coloured Petri Nets
Journal of Applied Mathematics
author_facet Huafeng Zhang
Hehua Zhang
Ming Gu
Jiaguang Sun
author_sort Huafeng Zhang
title Modeling a Heterogeneous Embedded System in Coloured Petri Nets
title_short Modeling a Heterogeneous Embedded System in Coloured Petri Nets
title_full Modeling a Heterogeneous Embedded System in Coloured Petri Nets
title_fullStr Modeling a Heterogeneous Embedded System in Coloured Petri Nets
title_full_unstemmed Modeling a Heterogeneous Embedded System in Coloured Petri Nets
title_sort modeling a heterogeneous embedded system in coloured petri nets
publisher Hindawi Limited
series Journal of Applied Mathematics
issn 1110-757X
1687-0042
publishDate 2014-01-01
description Embedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to master programming paradigms in all related languages. So, a defect may occur if differences in systems' behaviors are ignored. In this paper, a heterogeneous system which is composed of two subsystems is introduced and we point out a potential defect in this system caused by an interface mismatch. Then, a state based approach is applied to verify our analysis of the system.
url http://dx.doi.org/10.1155/2014/943094
work_keys_str_mv AT huafengzhang modelingaheterogeneousembeddedsystemincolouredpetrinets
AT hehuazhang modelingaheterogeneousembeddedsystemincolouredpetrinets
AT minggu modelingaheterogeneousembeddedsystemincolouredpetrinets
AT jiaguangsun modelingaheterogeneousembeddedsystemincolouredpetrinets
_version_ 1725480867339436032

Similar Items